00:13:00 | * | gokr quit (Quit: Leaving.) |
00:27:10 | * | lcm quit (Ping timeout: 252 seconds) |
00:27:44 | * | pregressive joined #nim |
00:39:36 | * | jaco60 quit (Ping timeout: 250 seconds) |
00:42:18 | bbl_ | oh dear, why haven't I read the macros module documentation before :S |
00:42:48 | bbl_ | all the missed hours figuring that stuff out |
00:48:59 | * | nsf quit (Quit: WeeChat 1.4) |
00:49:02 | * | pregressive quit (Remote host closed the connection) |
00:53:54 | * | miko__ quit (Ping timeout: 250 seconds) |
01:00:42 | ldlework | Can you cast bigger objects to smaller objects? |
01:05:26 | ldlework | look like not :( |
01:15:40 | * | lxdong_ joined #nim |
01:30:43 | * | pregressive joined #nim |
01:50:52 | * | pregressive quit (Remote host closed the connection) |
01:51:08 | * | lxdong_ quit (Ping timeout: 252 seconds) |
01:52:22 | * | zepolen quit (Remote host closed the connection) |
01:54:11 | * | lxdong joined #nim |
02:24:03 | * | FjordPrefect quit (Ping timeout: 240 seconds) |
02:37:21 | Varriount | ldlework: What are you trying to do? |
02:38:07 | Varriount | ldlework: You can, however the conversion isn't usually implicit. `int32(a64bitInteger)` will work |
02:38:14 | ldlework | Varriount: I mean structures |
02:38:34 | ldlework | say one type with one int and another type with two ints |
02:38:42 | ldlework | casting a value of the larger type to a value of the smaller type |
02:38:50 | Varriount | ldlework: You can do that too, it's easier if the structure is a reference though. |
02:44:15 | * | pregressive joined #nim |
02:45:48 | Varriount | ldlework: https://gist.github.com/Varriount/d28a1f7a4a33a8eeed0b |
02:53:29 | * | brson quit (Ping timeout: 240 seconds) |
02:59:59 | * | spt quit (Quit: Page closed) |
03:02:03 | ldlework | Varriount: my objects are not of RootObj |
03:02:11 | ldlework | no worries |
03:14:57 | * | nande joined #nim |
03:34:57 | * | dorei quit () |
03:46:34 | * | perturbation quit (Quit: Leaving) |
03:47:20 | * | vendethiel joined #nim |
03:48:08 | * | zepolen joined #nim |
03:52:52 | * | zepolen quit (Ping timeout: 250 seconds) |
04:09:38 | * | endragor joined #nim |
04:14:31 | * | vendethiel quit (Ping timeout: 255 seconds) |
04:18:54 | * | lxdong quit (Ping timeout: 252 seconds) |
04:24:29 | * | lompik quit (Ping timeout: 240 seconds) |
04:31:52 | * | vega_nsk quit (Remote host closed the connection) |
04:34:42 | * | vegansk joined #nim |
05:17:03 | * | darkf_ joined #nim |
05:19:32 | * | darkf quit (Ping timeout: 250 seconds) |
05:20:25 | * | nande quit (Read error: Connection reset by peer) |
05:22:50 | * | pregressive quit (Remote host closed the connection) |
05:24:44 | * | darkf_ quit (Ping timeout: 250 seconds) |
05:32:00 | * | darkf joined #nim |
05:37:43 | * | darkf_ joined #nim |
05:39:28 | * | darkf quit (Ping timeout: 250 seconds) |
05:47:31 | * | darkf joined #nim |
05:49:26 | * | darkf_ quit (Ping timeout: 250 seconds) |
05:49:35 | * | zepolen joined #nim |
05:52:02 | * | darkf_ joined #nim |
05:54:29 | * | zepolen quit (Ping timeout: 240 seconds) |
05:54:29 | * | darkf quit (Ping timeout: 240 seconds) |
06:00:13 | * | Varriount quit (Disconnected by services) |
06:00:13 | * | Varriount_ joined #nim |
06:02:27 | * | Varriount joined #nim |
06:06:10 | * | Varriount_ quit (Ping timeout: 244 seconds) |
06:06:13 | * | vendethiel joined #nim |
06:07:10 | * | Varriount quit (Disconnected by services) |
06:07:11 | * | Varriount_ joined #nim |
06:07:36 | * | darkf_ is now known as darkf |
06:27:59 | * | vendethiel quit (Ping timeout: 240 seconds) |
06:39:37 | * | Guest21891 quit (Quit: WeeChat 1.0.1) |
06:40:07 | * | Amun_Ra joined #nim |
06:46:21 | * | Kingsquee joined #nim |
06:47:06 | * | lxdong joined #nim |
06:51:59 | * | vendethiel joined #nim |
07:11:43 | * | gokr joined #nim |
07:12:47 | * | vendethiel quit (Ping timeout: 244 seconds) |
07:18:37 | lxdong | @gokr morning |
07:18:50 | gokr | Morning! :) |
07:19:22 | lxdong | I left a message in your facebook |
07:19:41 | gokr | Oh... |
07:20:31 | gokr | Ah |
07:21:33 | gokr | Well, making your own language... it does require a certain level of programming knowledge BUT... I think that given a reasonably simple implementation (Ni is simple) you could study it and understand how it works quite easily. |
07:21:43 | gokr | Ni is only about 1200 lines of code in total. |
07:25:49 | lxdong | whoever wants to make his own language in China ends up with failure. dramatic environment and skil differences |
07:26:43 | * | jamesp joined #nim |
07:26:45 | jamesp | hello! |
07:26:58 | jamesp | I had a question about nim performance and the gc |
07:27:12 | lxdong | new languages always come from developed country. |
07:27:32 | jamesp | Is there a way to totally shut off the gc? |
07:27:54 | jamesp | or like have a warning when it requires a trigger |
07:28:16 | lxdong | use ptr instead of ref? |
07:28:32 | * | PMunch quit (Quit: leaving) |
07:28:40 | * | PMunch joined #nim |
07:28:58 | jamesp | huh? |
07:29:41 | lxdong | in developing country, people struggle for food and water. |
07:30:33 | * | vendethiel joined #nim |
07:31:34 | * | jamesp quit (Client Quit) |
07:32:39 | gokr | Why did he leave before... we can answer. sigh. |
07:32:58 | lxdong | I wonder |
07:33:28 | r-ku | hey lxdong. i think what i wrote would be useful for you. its utf-8 string for nim. https://github.com/r-ku/nim-ustring/blob/master/ustring.nim |
07:33:47 | gokr | lxdong: What languages have you dabbled with? |
07:34:24 | lxdong | c,c++,Go,Python |
07:34:59 | gokr | r-ku: Nice stuff |
07:35:32 | gokr | lxdong: I recommend trying out Smalltalk sometime, for example Pharo. |
07:35:40 | r-ku | first positive comment. i love you gokr |
07:36:04 | gokr | r-ku: Have you had negative comments? |
07:37:02 | r-ku | nah they werent negative, just valid critique. i knew it would happen when i did string slicing incompatible w/ nim's string |
07:37:12 | r-ku | but now thats gone, its all compatible and works as one would expect |
07:38:12 | gokr | Cool |
07:40:06 | gokr | IMO any and all efforts are valuable. I spent a very large part of my spare time leading the Squeak community some years back, i taught me several things. |
07:42:54 | r-ku | http://squeak.org/ ? |
07:43:20 | lxdong | most programmers like me busy doing their jobs day and night, no time for anything else during work day. Nim is a bonus of my weekend spare time. |
07:45:27 | wuehlmaus | lxdong: your english is very good, how come? |
07:46:30 | lxdong | thank you first, maybe I was an English teacher? |
07:46:41 | wuehlmaus | ah |
07:46:42 | lxdong | teach kids ,hehe |
07:47:23 | * | Trustable joined #nim |
07:47:49 | * | endragor quit (Ping timeout: 255 seconds) |
07:51:12 | * | zepolen joined #nim |
07:51:48 | lxdong | I like English basically and I believe any language is a window of a fresh new world. I call it opens a new dimension of my world technically. |
07:52:33 | * | vendethiel quit (Ping timeout: 240 seconds) |
07:53:57 | lxdong | multi-culture benefits :) |
07:54:43 | * | reactormonk_ is now known as reactormonk |
07:55:45 | * | nsf joined #nim |
07:55:59 | * | zepolen quit (Ping timeout: 240 seconds) |
07:57:41 | * | Ven joined #nim |
07:58:32 | lxdong | I can teach you Chinese if you are interested. |
07:59:10 | * | Ven_ joined #nim |
08:02:34 | * | Ven quit (Ping timeout: 240 seconds) |
08:03:44 | gokr | r-ku: Yeah. |
08:04:29 | r-ku | cool stuff |
08:04:59 | gokr | Squeak and its descendant Pharo (pharo.org, much more polished) are very cool modern open source Smalltalks. |
08:06:06 | gokr | But I can go on and on about them, so ... pop over to #squeak or #pharo if you want more info, I am there too. |
08:06:36 | r-ku | smalltalk is not my cup of tea. kid spoiled by python talking here :) |
08:06:52 | gokr | Bah, Python is nothing compared to Smalltalk :) |
08:07:54 | gokr | But in a more serious tone - Python is of course great and very popular, but Smalltalk offers something vastly different. |
08:10:12 | r-ku | yeah i can tell from examples on wikipedia page its totally alien. lots of magic symbols |
08:11:48 | gokr | Not that alien, syntax is trivial. I used to teach Smalltalk in a few hours. |
08:12:16 | gokr | There are only 6 reserved words :) |
08:12:28 | gokr | Grammar fits on a postcard. |
08:13:04 | gokr | "magic symbols"? |
08:14:33 | lxdong | KaiFu Lee is my mental mentor who was the founding president of Google China.His book Making a World of Difference effects me a lot. |
08:15:54 | r-ku | gokr talking about snippet on https://en.wikipedia.org/wiki/Smalltalk#Syntax - looks like magic to me |
08:16:41 | gokr | It's quite easy, but I don't want to hog this channel - take it to #squeak ? |
08:30:18 | * | Sembei quit (Quit: WeeChat 1.5-dev) |
08:33:07 | * | yglukhov joined #nim |
08:33:26 | * | Arrrr joined #nim |
08:56:30 | vegansk | Hello! |
08:58:12 | vegansk | It seems that native thread local storage support is broken on Windows when gcc is used. |
08:58:32 | 7F1AAAMZO | vegansk: I looked at it and it's strange |
08:58:47 | * | 7F1AAAMZO is now known as Araq |
08:58:51 | * | zepolen joined #nim |
08:58:51 | * | zepolen quit (Remote host closed the connection) |
08:59:07 | * | zepolen joined #nim |
09:00:20 | Araq | vegansk: did you try with --stackTrace:off ? |
09:01:55 | vegansk | Araq, just did it, crashes with --stackTrace:off too |
09:02:29 | vegansk | VC++ 2003 and VC++ 2008 works with and without emulation |
09:02:44 | * | dmitry_p joined #nim |
09:05:40 | Araq | the strange thing is that I found no bug report about this |
09:05:51 | Araq | for GCC |
09:07:55 | * | coffeepot joined #nim |
09:09:09 | * | endragor joined #nim |
09:09:20 | vegansk | Araq, Visual C runtime works fine when CreateThread API is used, despite that we must use _beginthread(ex) standard API |
09:09:59 | vegansk | Maybe, mingw runtime is more sensitive to it? |
09:10:27 | Araq | _beginthread(ex) ? standard API? |
09:10:37 | Araq | never heard of it |
09:12:02 | vegansk | Araq, http://stackoverflow.com/questions/331536/windows-threading-beginthread-vs-beginthreadex-vs-createthread-c |
09:13:21 | vegansk | Araq, and more: http://www.mingw.org/wiki/Use_the_thread_library |
09:20:52 | Araq | vegansk: well please patch nim so that is uses _beginthread and see if it makes a difference |
09:23:50 | * | vendethiel joined #nim |
09:23:50 | vegansk | Araq, ok |
09:26:00 | * | lokien_ joined #nim |
09:30:07 | * | FjordPrefect joined #nim |
09:30:31 | lxdong | when I was a child, teacher asked me what do you want to be when you grow up, I said scientist. Daily grind nibbles away at our dreams, my friends and classmates were gradually assimilated into the society, having no more dreams.I feel sad for them as well as my own unfinished dream. The most talent students from Tsinghua and Peking University-the best university in China- fish for fame, deliberately immgrate, one student from Tsinghua sa |
09:31:23 | lxdong | able to immgrate to American a shame. Informations are blocked out because of the GFW,revolutionary innovations are hopeless with the nation monopoly over energy, technology, railway and so on. The reason why the most talented Chinese students immgrate makes more sense to me, they are not unpatriotic,they are just not so powerful to break the rules. China is a great place for tourism ,not for fighting for. Additionally, the more and more |
09:31:45 | * | jaco60 joined #nim |
09:31:46 | lxdong | compeled me to find a way out. |
09:39:39 | Arrrr | better join #nim-offtopic to talk about politics |
09:39:45 | * | zepolen quit (Remote host closed the connection) |
09:42:01 | * | zepolen joined #nim |
09:42:27 | * | FjordPrefect quit (Ping timeout: 248 seconds) |
09:46:48 | * | vendethiel quit (Ping timeout: 276 seconds) |
09:47:05 | lxdong | take it easy ,I'd rather call it self-rescue :) |
09:47:39 | lxdong | I feel sorry if it makes you uncomfortable. |
09:49:53 | Arrrr | No, i like your writting, i just thought i wasnt the right place. |
09:54:31 | * | FjordPrefect joined #nim |
09:57:43 | vegansk | Araq, what happends with ``writeFile`` in nimscript? The latest devel produces ``Undeclared identifier`` error on my build script |
09:59:09 | Araq | vegansk: unfortunate regression, thanks for telling me |
10:07:38 | * | vendethiel joined #nim |
10:07:46 | * | miko__ joined #nim |
10:13:19 | * | Ven_ quit (Quit: My MacBook has gone to sleep. ZZZzzz…) |
10:31:13 | * | vendethiel quit (Ping timeout: 244 seconds) |
10:41:12 | * | vendethiel joined #nim |
10:44:45 | * | zepolen quit (Remote host closed the connection) |
10:49:06 | * | zepolen joined #nim |
10:53:16 | * | lxdong quit (Quit: Page closed) |
10:55:59 | * | FjordPrefect quit (Ping timeout: 244 seconds) |
11:02:26 | * | ephja joined #nim |
11:02:36 | * | jeffc_ joined #nim |
11:02:37 | * | jeffc_ quit (Remote host closed the connection) |
11:02:44 | * | vendethiel quit (Ping timeout: 250 seconds) |
11:02:45 | * | dmitry_p quit (Quit: Leaving) |
11:03:03 | * | jeffc_ joined #nim |
11:05:17 | * | vendethiel joined #nim |
11:06:21 | * | jeffc quit (Ping timeout: 244 seconds) |
11:14:11 | * | ekarlso- quit (Ping timeout: 248 seconds) |
11:19:58 | * | Ven joined #nim |
11:26:59 | * | vendethiel quit (Ping timeout: 248 seconds) |
11:30:00 | * | lokien_ quit (Quit: Connection closed for inactivity) |
11:42:07 | * | FjordPrefect joined #nim |
11:50:39 | * | arnetheduck joined #nim |
12:01:38 | * | endragor quit (Ping timeout: 244 seconds) |
12:22:29 | * | vendethiel joined #nim |
12:25:38 | * | ekarlso- joined #nim |
12:30:52 | dom96 | Anybody created any ORMs for Nim yet? |
12:33:13 | coffeepot | I think Araq was working on one |
12:33:51 | dom96 | Found this one as well: https://github.com/nanoant/nim-orm |
12:34:04 | dom96 | Araq: Are you working on one? |
12:34:31 | Araq | I added the foundations to the db_* modules |
12:34:40 | Araq | and know how to do it |
12:34:52 | dom96 | OnO's looks pretty nice actually |
12:34:56 | Araq | but I'm not currently working on it any further |
12:35:03 | dom96 | Wondering whether I should show it off in my book |
12:35:27 | coffeepot | are there any plans on adding proper parameter support to the db_* modules, 'cos IIRC they use text substitution :( |
12:35:29 | dom96 | In any case I think it's a good idea to show the db_* modules |
12:36:03 | Araq | coffeepot: there already is some support for "Raw Rows" |
12:36:24 | coffeepot | Raw rows? |
12:37:02 | coffeepot | that sounds like it means raw data rows rather than proper parameters? |
12:39:39 | federico3 | generating that SQL at compile time <3 |
12:42:43 | * | Kingsquee quit (Quit: https://i.imgur.com/qicT3GK.gif) |
12:44:03 | * | vendethiel quit (Ping timeout: 240 seconds) |
12:48:08 | * | FjordPrefect quit (Ping timeout: 244 seconds) |
13:12:49 | * | FjordPrefect joined #nim |
13:19:08 | * | endragor joined #nim |
13:21:09 | * | lompik joined #nim |
13:24:15 | * | Arrrrr joined #nim |
13:26:13 | * | Arrrr quit (Ping timeout: 255 seconds) |
13:28:00 | * | Ven quit (Quit: My MacBook has gone to sleep. ZZZzzz…) |
13:36:34 | * | toaoMgeorge quit (Ping timeout: 240 seconds) |
13:42:43 | * | Ven joined #nim |
13:47:17 | Araq | coffeepot: it means it has no overhead and the ORM that builds on top of that should do the proper typing |
13:55:52 | coffeepot | that's promising in terms of real types (for those that aren't aware currently in db_* all data is of string type), although I was thinking more about avoiding sql injection attacks by using proper parameters. Although there is mention in the Nim manual about an SQL string type to do this, it hasn't yet been implemented. Ultimately (as I'm sure you |
13:55:52 | coffeepot | 're aware) composing an SQL string that constrains by FieldA = "x" shouldn't be doing "... WHERE FieldA = 'x'", it should be using "... WHERE FieldA = :param1" and param1 should be set up with the constraint. |
13:56:52 | Araq | hmm? sql string type exists and is used and prevents SQL injections |
13:57:11 | Araq | Nim uses ? as the parameter |
13:57:20 | Araq | ... WHERE FieldA = ? |
13:57:49 | coffeepot | right, but doesn't it just compose the parameter string into the query? |
13:58:03 | Araq | no, it quotes it properly. |
13:58:17 | Xe | how would I do parameterized "LIKE" queries in nim's sql stuff? |
13:58:29 | * | endragor quit (Ping timeout: 240 seconds) |
13:59:18 | r-ku | "quotes it properly" we know how well that works in the practice. parameters should be passed to api, not fused into sql query no matter how correctly anyone thinks they are escaped |
13:59:38 | coffeepot | yes, r-ku gets what I'm saying |
13:59:56 | coffeepot | "proper quoting" is dangerous imo |
14:01:39 | coffeepot | besides which, parameters may also have some performance improvement when you have a static query you're updating with different parameters multiple times |
14:03:21 | coffeepot | especially if you change a parameter and it means the sql string needs sending to the api again, as this can involve round trips to the server, re-tokenisation, reallocation of memory client and server side, and a loss of cached execution plans |
14:03:45 | coffeepot | it's also easier to code than proper quoting :D |
14:03:59 | * | lompik quit (Ping timeout: 240 seconds) |
14:04:23 | Araq | the proper quoting is implemented in the library ... "easier to code" doesn't apply. |
14:05:00 | coffeepot | fair enough, though I'd imagine the other points do |
14:05:47 | coffeepot | fwiw I assume db_* is more about compatibility than performance, but consider that api parameters will gain you a lot of benefits with no downsides |
14:06:27 | Araq | last time I checked it was a complete disaster for Postgres |
14:06:33 | Araq | but what do I know ... |
14:06:55 | coffeepot | to be fair I've not used postgres |
14:07:10 | Araq | (somebody added precompiled statements to the Postgres module) |
14:07:44 | Araq | r-ku: parameters ARE passed to the API and are not used into the SQL query... |
14:08:03 | r-ku | Araq if so about what quoting are we even talking about here? |
14:08:10 | * | lxdong joined #nim |
14:08:33 | Araq | r-ku: coffeepot mostly talks about the current implementation |
14:13:49 | * | darkf quit (Quit: Leaving) |
14:16:02 | gokr | Araq: Regarding malloc/free in alloc.nim - I presume one should call free too right? |
14:16:21 | Araq | gokr: not necassarily. |
14:16:46 | gokr | When we hacked that night we only did "discard" in osDeallocPages |
14:16:56 | * | zepolen quit (Remote host closed the connection) |
14:17:11 | Araq | it's fine for now. ;-) it reuses the memory internally then. |
14:17:55 | gokr | Perhaps we ... could use some other flag btw. useMalloc perhaps instead of nimArmEmbedded? |
14:20:56 | * | zepolen joined #nim |
14:22:35 | * | toaoMgeorge joined #nim |
14:22:48 | Araq | perhaps, but I don't know what useMalloc does. |
14:23:01 | Araq | however, since it doesn't work properly (yay ...) |
14:23:11 | Araq | we could redefine what it means. |
14:24:44 | * | lokien_ joined #nim |
14:25:05 | gokr | On a ... similar note - can I use a hacked alloc.nim in my ardunimo project? Is it enough to set some path? |
14:25:26 | Araq | yeah but you should create a PR instead |
14:26:03 | gokr | But... it's ... so experimental. I don't expect a PR like this to get accepted :) |
14:26:13 | Araq | include file injections are disliked here |
14:26:28 | Araq | which is what you do when messing with --path |
14:26:48 | gokr | Just curious if I could use that until a PR is accepted. |
14:28:45 | gokr | I guess Nim finds alloc.nim in some other way. |
14:31:29 | * | lompik joined #nim |
14:54:51 | * | endragor joined #nim |
14:55:23 | * | endragor quit (Remote host closed the connection) |
14:55:51 | * | endragor joined #nim |
14:59:24 | * | reactormonk quit (Quit: WeeChat 1.4) |
14:59:34 | * | reactormonk joined #nim |
15:08:01 | * | saml quit (Remote host closed the connection) |
15:13:06 | * | saml joined #nim |
15:22:09 | * | lxdong quit (Quit: Page closed) |
15:49:26 | * | zepolen quit (Remote host closed the connection) |
15:49:43 | * | endragor_ joined #nim |
15:52:55 | * | zepolen joined #nim |
15:53:06 | * | endragor quit (Ping timeout: 244 seconds) |
15:54:13 | * | endragor_ quit (Ping timeout: 252 seconds) |
15:54:13 | * | Ven_ joined #nim |
15:54:36 | * | Ven_ quit (Client Quit) |
15:56:19 | * | Ven quit (Ping timeout: 248 seconds) |
16:07:52 | * | endragor joined #nim |
16:10:48 | * | FjordPrefect quit (Quit: Leaving) |
16:12:20 | * | nsf quit (Quit: WeeChat 1.4) |
16:17:01 | * | nchambers is now known as BackupHeddwch |
16:34:14 | * | jaco60 quit (Ping timeout: 250 seconds) |
16:34:47 | * | BackupHeddwch is now known as bACKUPhEDDWCH |
16:35:20 | * | jaco60 joined #nim |
16:38:01 | * | vendethiel joined #nim |
16:54:28 | * | bACKUPhEDDWCH is now known as nchambers |
16:57:07 | * | nsf joined #nim |
17:14:16 | * | pregressive joined #nim |
17:15:16 | * | coffeepot quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) |
17:19:12 | * | yglukhov quit (Ping timeout: 276 seconds) |
17:21:33 | * | vendethiel quit (Ping timeout: 240 seconds) |
17:24:02 | * | desophos quit (Read error: Connection reset by peer) |
17:41:05 | * | pregressive quit (Remote host closed the connection) |
17:41:43 | * | pregressive joined #nim |
17:46:03 | * | pregressive quit (Ping timeout: 240 seconds) |
17:47:48 | asdf | so about concepts using more than one typevar, i thought this should work, but it doesnt typecheck: https://bpaste.net/show/87ade9e90f7a |
17:48:28 | asdf | 'Comparable' needs `(x<y) is bool` and so i defined < for (A<B), then for (B<A), and then > too for good measure |
17:48:46 | asdf | it does typecheck when i pass the same type twice, eg `foo(a,a)` |
17:58:12 | * | vendethiel joined #nim |
18:10:00 | * | lokien_ quit (Quit: Connection closed for inactivity) |
18:11:32 | def- | asdf: known bug unfortunately |
18:12:29 | def- | at least I think it might be this: https://github.com/nim-lang/Nim/issues/1385 |
18:12:35 | def- | but I have to look at it more closely |
18:13:40 | asdf | oh |
18:15:37 | * | nsf quit (Quit: WeeChat 1.4) |
18:17:08 | def- | Right now I don't even understand how it's _supposed_ to work. How would the compiler know that a should be comparable to b? How are x and y in the concept instantiated? |
18:21:55 | * | vendethiel quit (Ping timeout: 248 seconds) |
18:24:28 | asdf | yeah, me neither, not really |
18:24:36 | asdf | 's why i even tried it out :p |
18:24:40 | * | zepolen quit (Remote host closed the connection) |
18:24:44 | asdf | especially as i think nothing in nim itself uses that |
18:24:52 | asdf | (other than afair 2? instances of tests) |
18:26:11 | * | yglukhov joined #nim |
18:27:10 | asdf | i mean, for a type to be Comparable, it'd need to be able to be used in place of both x and y? |
18:37:08 | * | endragor quit (Remote host closed the connection) |
18:37:26 | ldlework | yes |
18:37:38 | ldlework | both x and y are Comparables in the proof |
18:37:53 | ldlework | so when you do (x < y) is bool |
18:37:58 | ldlework | you're proving things about y too |
18:38:56 | ldlework | Araq: what do you think |
18:39:28 | * | vendethiel joined #nim |
18:45:46 | def- | asdf: right, and there's the warning that concepts are still in development |
18:50:22 | * | jsudlow quit (Quit: HydraIRC -> http://www.hydrairc.com <- IRC with a difference) |
18:52:49 | * | brson joined #nim |
19:05:55 | * | pandada8 joined #nim |
19:10:39 | * | Matthias247 joined #nim |
19:15:26 | * | lokien quit (Ping timeout: 250 seconds) |
19:19:34 | * | lokien joined #nim |
19:25:22 | * | askatasuna joined #nim |
19:29:35 | * | xmonkee joined #nim |
19:31:06 | miko__ | I'm trying to compile some nim code not written by me. Compilation fails with "lib/pure/collections/sequtils.nim(605, 3) Error: value of type 'seq[outType]' has to be discarded". What's wrong here? |
19:32:01 | reactormonk | miko__, that means someone's invoking a proc that has a return value and is not using that return value. The compiler complains about that. |
19:32:34 | miko__ | But why is the error in sequtils.nim ? |
19:33:46 | reactormonk | miko__, maybe stdlib and compiler are out of sync? |
19:33:56 | reactormonk | or the compiler gives you the wrong error location |
19:35:43 | miko__ | No, they are both version 0.13 from the homepage. Well I try what i have to delete in order to it to go away. |
19:36:47 | * | brson quit (Ping timeout: 244 seconds) |
19:38:36 | * | brson joined #nim |
19:51:46 | * | Arrrrrr joined #nim |
19:54:08 | * | Arrrr joined #nim |
19:54:29 | * | Arrrrr quit (Ping timeout: 240 seconds) |
19:56:56 | * | Arrrrrr quit (Ping timeout: 244 seconds) |
20:00:30 | * | lokien quit (Ping timeout: 250 seconds) |
20:02:18 | * | zepolen joined #nim |
20:06:44 | * | yglukhov quit (Read error: Connection reset by peer) |
20:06:59 | * | zepolen quit (Ping timeout: 240 seconds) |
20:07:17 | * | yglukhov joined #nim |
20:08:04 | * | lokien joined #nim |
20:10:23 | * | pregressive joined #nim |
20:14:59 | * | lokien quit (Ping timeout: 240 seconds) |
20:20:04 | * | zepolen joined #nim |
20:21:38 | * | lokien joined #nim |
20:26:43 | * | Arrrr quit (Read error: Connection reset by peer) |
20:29:10 | * | xmonkee quit (Quit: Page closed) |
20:37:47 | * | brson quit (Ping timeout: 244 seconds) |
20:44:32 | * | yglukhov quit (Remote host closed the connection) |
20:46:39 | * | yglukhov joined #nim |
20:48:46 | * | pregressive quit () |
20:49:52 | * | brson joined #nim |
20:53:20 | * | pregressive joined #nim |
21:00:06 | * | yglukhov quit (Remote host closed the connection) |
21:17:45 | * | yglukhov joined #nim |
21:18:28 | * | Matthias247 quit (Quit: Matthias247) |
21:21:00 | * | Matthias247_ joined #nim |
21:21:49 | ldlework | def-: I just had a thought regarding tests and private members and all that |
21:21:57 | ldlework | what about including the test files rather than the otherway around? |
21:22:16 | * | ldlework tries |
21:23:25 | * | pregressive quit () |
21:23:40 | ldlework | it works |
21:23:51 | ldlework | neat |
21:24:52 | * | pregressive joined #nim |
21:34:23 | * | ekarlso- quit (Changing host) |
21:34:23 | * | ekarlso- joined #nim |
21:39:27 | * | nsf joined #nim |
21:54:53 | * | zepolen quit (Remote host closed the connection) |
22:08:44 | * | pregressive quit () |
22:08:48 | * | Matthias247_ quit (Quit: Matthias247_) |
22:09:50 | * | pregressive joined #nim |
22:11:42 | * | pregressive quit (Client Quit) |
22:12:24 | * | pregressive joined #nim |
22:12:59 | * | pregressive quit (Client Quit) |
22:17:30 | miko__ | My Nimprogramm segfaults. This is always (als long as i don't use unsafe stuff) a error in the compiler or the library, right? |
22:24:50 | * | Matthias247 joined #nim |
22:32:57 | Araq | miko__: more likely you are deref'ing 'nil' ;-) |
22:33:52 | ldlework | I still don't know how to interpret this error: https://gist.github.com/dustinlacewell/6b5b937a5b9c111dd357 |
22:34:01 | ldlework | I got "import tables" right at the top |
22:34:29 | miko__ | Araq, No, I don't. I passing a slice of a int8 buffer to the base64 library. |
22:34:50 | miko__ | The slice is not too big, I'm very sure |
22:35:54 | ldlework | if I take out the for-loop and `echo type(app.resources.tilesets.registry)` I get "EntityUnknown" which is just completely wrong |
22:36:05 | ldlework | there's just no way that's right |
22:36:49 | Araq | ldlework: tables export pairs but not items iirc |
22:37:09 | ldlework | If I snip the dot expressions to `echo type(app.resources.tilesets)` I still get "EntityUnknown" |
22:37:45 | Araq | how come 'echo type' works? |
22:38:15 | ldlework | doesn't it just mean echo(type(..)) |
22:38:45 | ephja | you mean it's printed at compile time? |
22:39:05 | ephja | I sometimes omit echo. it's just a habit |
22:40:36 | ldlework | ephja: what does that do? |
22:41:43 | ephja | show the type name in the error message. isn't that what's happening in your case? |
22:41:58 | ephja | that has always been the case for me, since there's no $ for typedescs |
22:42:02 | ephja | though it would be nice |
22:42:20 | * | pregressive joined #nim |
22:42:35 | ephja | you have to do typetraits.name(T) now IIRC |
22:51:40 | * | ephja quit (Ping timeout: 252 seconds) |
22:55:30 | * | zepolen joined #nim |
22:55:50 | * | yglukhov quit (Remote host closed the connection) |
22:59:23 | * | Kingsquee joined #nim |
23:00:20 | * | zepolen quit (Ping timeout: 250 seconds) |
23:03:24 | * | PMunch quit (Quit: leaving) |
23:10:58 | * | lokien_ joined #nim |
23:13:29 | * | vendethiel quit (Ping timeout: 240 seconds) |
23:18:39 | * | vendethiel joined #nim |
23:38:03 | * | Trustable quit (Remote host closed the connection) |
23:39:29 | * | awsteele joined #nim |
23:41:41 | * | vendethiel quit (Ping timeout: 244 seconds) |
23:48:30 | * | zepolen joined #nim |
23:56:20 | * | yglukhov joined #nim |