<< 02-08-2014 >>

00:04:24*askatasuna joined #nimrod
00:23:16*BlameStross joined #nimrod
00:24:20Skrylarflaviu: i see the word 'survey'
00:24:36Skrylaris someone bitching that nimrod isn't algol again
00:24:47Skrylar(though i guess its algol, just not C)
00:25:20*vbtt quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
00:28:11*askatasuna quit (Read error: Connection reset by peer)
00:32:03flaviuSkrylar: Nope, it was my suggestion for figuring what concepts are most intuitive
00:52:43Fx00Fz /quit
00:52:50*Fx00F quit (Quit: leaving)
01:04:41*brson quit (Quit: leaving)
01:07:57superfunchows everyone been? haven't been able to get to a pc for a while
01:09:49*Onionhammer joined #nimrod
01:10:05Onionhammerhola
01:13:16Onionhammerhm
01:57:28*saml_ joined #nimrod
02:18:42*adoniscik quit (Ping timeout: 250 seconds)
02:23:20*brson joined #nimrod
02:51:29*q66 quit (Quit: Leaving)
03:06:26*darkf quit (Quit: Leaving)
03:06:52*darkf joined #nimrod
03:21:16*superfunc quit (Ping timeout: 255 seconds)
03:41:22*brson quit (Ping timeout: 260 seconds)
03:41:44*zahary1 quit (Read error: Connection reset by peer)
03:42:04*zahary joined #nimrod
03:59:48*zahary1 joined #nimrod
04:01:38*zahary quit (Ping timeout: 255 seconds)
04:01:43*ARCADIVS joined #nimrod
04:10:23*saml_ quit (Quit: Leaving)
04:36:41*adoniscik joined #nimrod
04:39:57*Demos quit (Read error: Connection reset by peer)
05:29:58*vbtt joined #nimrod
05:32:32*adoniscik quit (Ping timeout: 255 seconds)
06:06:08*vbtt quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
06:06:57*pown joined #nimrod
06:22:34*mwbrown quit (Ping timeout: 250 seconds)
06:41:48*pown quit (Remote host closed the connection)
06:50:01*kunev joined #nimrod
07:20:13*Onionhammer quit (Ping timeout: 255 seconds)
07:20:38*OrionPK quit (Ping timeout: 250 seconds)
07:35:38NimBotAraq/Nimrod devel 1b6abcc Clay Sweetser [+0 ±2 -0]: Fix #813... 2 more lines
07:35:38NimBotAraq/Nimrod devel 6a09fc3 Clay Sweetser [+0 ±1 -0]: Clean up a bit.
07:35:38NimBotAraq/Nimrod devel 9b4b4bc Clay Sweetser [+0 ±1 -0]: Clean up more
07:35:38NimBotAraq/Nimrod devel 23f64dd Varriount [+0 ±1 -0]: Update commands.nim
07:35:38NimBot1 more commits.
07:35:53NimBotAraq/Nimrod devel eada55f def [+0 ±2 -0]: Make nimrepl and trimcc tools compile
07:35:53NimBotAraq/Nimrod devel 6a63771 Andreas Rumpf [+0 ±2 -0]: Merge pull request #1438 from def-/tools-compiling... 2 more lines
08:19:04*adoniscik joined #nimrod
08:20:11*Matthias247 joined #nimrod
08:25:50*shodan45 quit (Quit: Konversation terminated!)
08:41:58*koderok joined #nimrod
08:42:03*koderok left #nimrod (#nimrod)
09:14:52*pown joined #nimrod
09:16:05pownHi! Could not find any websocket lib in babel. Fortunately I googld and found onion_hammer's repo. I just tested it and works fine. Would be great if this was put in babel
09:16:40pownThat way, it is easily discoverable. And even if it is not as polished as onion_hammer wants it to be, it is better to have an early minor release and have others contributes to it
09:17:09pownotherwise the risk is that the next one who needs websockets makes a new implementation if they do not find one
09:19:22*adoniscik quit (Ping timeout: 250 seconds)
09:35:32*OrionPK joined #nimrod
09:35:47*OrionPK quit (Remote host closed the connection)
09:43:37def-pown: hi
09:44:41def-pown: I'm a bit hesitant to make a pull request for the babel packages. Maybe there's a reason onionhammer hasn't added it to the package list himself
09:47:59*johnsoft quit (Ping timeout: 256 seconds)
09:48:42*superfunc joined #nimrod
09:56:42*pown quit (Remote host closed the connection)
09:59:20*johnsoft joined #nimrod
10:03:19*zahary1 quit (Read error: Connection reset by peer)
10:03:37*zahary joined #nimrod
10:18:54dom96good morning
10:40:21*johnsoft quit (Read error: Connection reset by peer)
10:41:10*johnsoft joined #nimrod
10:52:01*superfunc quit (Ping timeout: 256 seconds)
11:15:36Skrylarhm. user typeclasses with functions is not working for me
11:16:21def-Skrylar: example?
11:16:46def-because it seemed to work for me
11:18:01*Matthias247 quit (Read error: Connection reset by peer)
11:21:15*saml_ joined #nimrod
11:43:05*darkf quit (Quit: Leaving)
12:06:23*Jesin quit (Quit: Leaving)
12:31:59*q66 joined #nimrod
12:36:10*untitaker quit (Ping timeout: 260 seconds)
12:39:48*ome joined #nimrod
12:40:04*Demos joined #nimrod
12:41:19*untitaker joined #nimrod
13:03:34*kunev quit (Ping timeout: 255 seconds)
13:23:58*io2 joined #nimrod
13:32:45*Trustable joined #nimrod
13:42:01*io2 quit (Quit: ...take irc away, what are you? genius, billionaire, playboy, philanthropist)
13:49:58*io2 joined #nimrod
14:14:25*Matthias247 joined #nimrod
14:23:50*ics joined #nimrod
14:29:31*OrionPK joined #nimrod
14:29:31*OrionPK quit (Remote host closed the connection)
14:29:46*OrionPK joined #nimrod
14:30:09*OrionPK quit (Remote host closed the connection)
14:30:31*OrionPK joined #nimrod
14:31:32*OrionPK quit (Remote host closed the connection)
14:31:45*OrionPK joined #nimrod
14:32:27*OrionPK quit (Remote host closed the connection)
14:32:51*OrionPK joined #nimrod
14:33:04*OrionPK quit (Remote host closed the connection)
14:33:21*OrionPK joined #nimrod
14:33:35*OrionPK quit (Remote host closed the connection)
14:34:01*OrionPK joined #nimrod
14:34:02*OrionPK quit (Remote host closed the connection)
14:34:31*OrionPK joined #nimrod
14:34:55*OrionPK quit (Remote host closed the connection)
14:35:19*OrionPK joined #nimrod
14:35:19*OrionPK quit (Remote host closed the connection)
14:35:29*OrionPK joined #nimrod
14:35:54*OrionPK quit (Remote host closed the connection)
14:36:11*OrionPK joined #nimrod
14:36:28*OrionPK quit (Remote host closed the connection)
14:36:41*OrionPK joined #nimrod
14:36:57*OrionPK quit (Remote host closed the connection)
14:37:16*OrionPK joined #nimrod
14:37:48*OrionPK quit (Remote host closed the connection)
14:38:06*OrionPK joined #nimrod
14:38:06*OrionPK quit (Remote host closed the connection)
14:38:26*OrionPK joined #nimrod
14:38:50*OrionPK quit (Remote host closed the connection)
14:39:06*OrionPK joined #nimrod
14:39:06*OrionPK quit (Remote host closed the connection)
14:39:16*OrionPK joined #nimrod
14:39:37*OrionPK quit (Remote host closed the connection)
14:39:54*OrionPK joined #nimrod
14:40:20*OrionPK quit (Remote host closed the connection)
14:40:44*OrionPK joined #nimrod
14:41:07*OrionPK quit (Remote host closed the connection)
14:41:24*OrionPK joined #nimrod
14:42:24*OrionPK quit (Remote host closed the connection)
14:42:57*OrionPK joined #nimrod
14:43:12*OrionPK quit (Remote host closed the connection)
14:43:29*OrionPK joined #nimrod
14:43:45*OrionPK quit (Remote host closed the connection)
14:43:59*OrionPK joined #nimrod
14:44:02*OrionPK quit (Remote host closed the connection)
14:44:19*OrionPK joined #nimrod
14:44:40*OrionPK quit (Remote host closed the connection)
14:44:54*OrionPK joined #nimrod
14:45:51*OrionPK quit (Remote host closed the connection)
14:46:04*OrionPK joined #nimrod
14:46:04*OrionPK quit (Remote host closed the connection)
14:46:19*OrionPK joined #nimrod
14:46:32*OrionPK quit (Remote host closed the connection)
14:46:49*OrionPK joined #nimrod
14:48:32*OrionPK quit (Remote host closed the connection)
14:48:45*OrionPK joined #nimrod
14:49:49*OrionPK quit (Remote host closed the connection)
14:50:05*OrionPK joined #nimrod
14:50:05*OrionPK quit (Remote host closed the connection)
14:50:20*OrionPK joined #nimrod
14:50:31*OrionPK quit (Remote host closed the connection)
14:50:55*OrionPK joined #nimrod
14:51:08*OrionPK quit (Remote host closed the connection)
14:51:23*OrionPK joined #nimrod
14:51:41*OrionPK quit (Remote host closed the connection)
14:51:58*OrionPK joined #nimrod
14:51:59*OrionPK quit (Remote host closed the connection)
14:52:13*OrionPK joined #nimrod
14:52:54*OrionPK quit (Remote host closed the connection)
14:53:11*OrionPK joined #nimrod
14:53:11*OrionPK quit (Remote host closed the connection)
14:53:21*OrionPK joined #nimrod
14:54:18*OrionPK quit (Remote host closed the connection)
14:54:53*OrionPK joined #nimrod
14:54:53*OrionPK quit (Remote host closed the connection)
14:55:13*OrionPK joined #nimrod
14:55:13*OrionPK quit (Remote host closed the connection)
14:55:23*OrionPK joined #nimrod
14:55:26*OrionPK quit (Remote host closed the connection)
14:55:43*OrionPK joined #nimrod
14:56:00*OrionPK quit (Remote host closed the connection)
14:56:21*OrionPK joined #nimrod
14:56:21*OrionPK quit (Remote host closed the connection)
14:56:36*OrionPK joined #nimrod
14:56:54*OrionPK quit (Remote host closed the connection)
14:57:16*OrionPK joined #nimrod
14:57:16*OrionPK quit (Remote host closed the connection)
14:57:31*OrionPK joined #nimrod
14:57:31*OrionPK quit (Remote host closed the connection)
14:57:41*OrionPK joined #nimrod
14:57:41*OrionPK quit (Remote host closed the connection)
14:57:56*OrionPK joined #nimrod
14:57:56*OrionPK quit (Remote host closed the connection)
14:58:11*OrionPK joined #nimrod
14:58:31*OrionPK quit (Remote host closed the connection)
14:58:53*OrionPK joined #nimrod
14:59:14*OrionPK quit (Remote host closed the connection)
14:59:38*OrionPK joined #nimrod
14:59:55*OrionPK quit (Remote host closed the connection)
15:00:10*OrionPK joined #nimrod
15:00:23*OrionPK quit (Remote host closed the connection)
15:00:44*OrionPK joined #nimrod
15:00:45*OrionPK quit (Remote host closed the connection)
15:00:59*OrionPK joined #nimrod
15:01:35*OrionPK quit (Remote host closed the connection)
15:01:49*OrionPK joined #nimrod
15:02:25*OrionPK quit (Remote host closed the connection)
15:02:25*mwbrown joined #nimrod
15:02:39*OrionPK joined #nimrod
15:03:46*OrionPK quit (Remote host closed the connection)
15:04:09*OrionPK joined #nimrod
15:04:34*OrionPK quit (Remote host closed the connection)
15:04:49*OrionPK joined #nimrod
15:04:52*OrionPK quit (Remote host closed the connection)
15:05:16*OrionPK joined #nimrod
15:05:56*OrionPK quit (Remote host closed the connection)
15:06:10*OrionPK joined #nimrod
15:06:24*OrionPK quit (Remote host closed the connection)
15:06:40*OrionPK joined #nimrod
15:06:40*OrionPK quit (Remote host closed the connection)
15:07:05*OrionPK joined #nimrod
15:07:05*OrionPK quit (Remote host closed the connection)
15:07:20*OrionPK joined #nimrod
15:07:59*OrionPK quit (Remote host closed the connection)
15:08:14*OrionPK joined #nimrod
15:09:00*silven joined #nimrod
15:10:15*OrionPK quit (Remote host closed the connection)
15:10:50*OrionPK joined #nimrod
15:11:26*OrionPK quit (Remote host closed the connection)
15:11:40*OrionPK joined #nimrod
15:12:06*OrionPK quit (Remote host closed the connection)
15:12:20*OrionPK joined #nimrod
15:12:24*OrionPK quit (Remote host closed the connection)
15:12:40*OrionPK joined #nimrod
15:13:25*OrionPK quit (Remote host closed the connection)
15:13:38*OrionPK joined #nimrod
15:14:20*OrionPK quit (Remote host closed the connection)
15:14:43*OrionPK joined #nimrod
15:15:45*OrionPK quit (Remote host closed the connection)
15:16:00*OrionPK joined #nimrod
15:16:35*OrionPK quit (Remote host closed the connection)
15:16:50*OrionPK joined #nimrod
15:17:10*OrionPK quit (Remote host closed the connection)
15:17:27*OrionPK joined #nimrod
15:18:06*OrionPK quit (Remote host closed the connection)
15:18:27*OrionPK joined #nimrod
15:18:42*OrionPK quit (Remote host closed the connection)
15:18:57*OrionPK joined #nimrod
15:18:57*OrionPK quit (Remote host closed the connection)
15:20:03*OrionPK joined #nimrod
15:20:46*OrionPK quit (Remote host closed the connection)
15:21:11*OrionPK joined #nimrod
15:21:11*OrionPK quit (Remote host closed the connection)
15:21:23*OrionPK joined #nimrod
15:22:30*OrionPK quit (Remote host closed the connection)
15:53:32*silven quit (Remote host closed the connection)
15:56:33*silven joined #nimrod
16:08:14*silven quit (Ping timeout: 244 seconds)
16:09:58*silven joined #nimrod
16:11:30*ics quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
16:22:25*ARCADIVS quit (Quit: WeeChat 0.4.3)
16:40:20*saml_ quit (Ping timeout: 255 seconds)
16:40:56*OrionPK joined #nimrod
16:46:02*onionhammer joined #nimrod
16:57:41*io2 quit (Quit: ...take irc away, what are you? genius, billionaire, playboy, philanthropist)
17:00:12onionhammerhola
17:00:21onionhammerwhere is everyone?
17:03:08*adoniscik joined #nimrod
17:17:49*betawaffle quit (Ping timeout: 255 seconds)
17:18:12*comex quit (Ping timeout: 250 seconds)
17:19:51*comex joined #nimrod
17:20:55*betawaffle joined #nimrod
17:27:56def-onionhammer: hi
17:33:05OrionPKhi def.
17:33:14OrionPKOrionPK === onionhammer
17:33:41OrionPKI saw your comment - any particular folders you (or the other guy) wanted in babel?
17:34:24def-Oh, my bad
17:34:29def-He wanted the websockets
17:34:54def-Didn't even see that there were multiple directories in that repo
17:35:07OrionPKyeah, websockets is already split out into a babel package
17:35:49OrionPKI thought...
17:36:14*adoniscik quit (Ping timeout: 260 seconds)
17:37:56OrionPKI guess it's nt
17:38:14OrionPKI think there was a memory leak caused by the compiler
17:38:33OrionPKaraq was looking into it off and on, i have to retest it
17:53:48*adoniscik joined #nimrod
18:06:08*io2 joined #nimrod
18:18:40*Johz joined #nimrod
18:23:04*adoniscik quit (Ping timeout: 240 seconds)
18:26:20AraqOrionPK: I fixed a codegen bug and that made it disappear. That was *months* ago.
18:56:08*Boscop quit (Ping timeout: 250 seconds)
19:03:11*Fx00F joined #nimrod
19:03:25DemosI submitted my DirectX wrapper to babel btw
19:03:38dom96Did you see my comment?
19:06:55DemosOK done
19:09:06*nande joined #nimrod
19:18:10OrionPKwell I've been busy araq
19:24:20*kunev joined #nimrod
19:27:06NimBotnimrod-code/packages master 4ce6c29 Charlie Barto [+0 ±1 -0]: added nimrod wrapper for DirectX
19:27:06NimBotnimrod-code/packages master 85b93e7 Charlie Barto [+0 ±1 -0]: changed DirectX to directnimrod
19:27:06NimBotnimrod-code/packages master 099294e Dominik Picheta [+0 ±1 -0]: Merge pull request #76 from barcharcraz/master... 2 more lines
19:33:04*mwbrown quit (Read error: Connection reset by peer)
19:36:56NimBotAraq/Nimrod devel 9fd6464 Grzegorz Adam Hankiewicz [+0 ±1 -0]: Updates js.high usage for line ending dots. Refs #1291 and #1292.
19:36:56NimBotAraq/Nimrod devel bddfe00 Grzegorz Adam Hankiewicz [+0 ±2 -0]: Adds placeholder text for js disabled browsers. Refs #1292.
19:36:56NimBotAraq/Nimrod devel ca937cd Grzegorz Adam Hankiewicz [+0 ±1 -0]: Uses case insensitive comparison for sorting. Refs #1292.
19:36:56NimBotAraq/Nimrod devel 915d329 Dominik Picheta [+0 ±2 -0]: Merge branch 'gradha-pr_updates_babel_js' into devel
19:40:59OrionPKDemos interesting... is there an actual nimmish wrapper
19:41:07OrionPKor did u just bind all the functions
19:41:25DemosI bound the functions
19:41:49OrionPKyou doing that for a specific project?
20:26:38dom96!seen exhu
20:26:38NimBotexhu was last seen on Sun Jan 5 11:58:56 2014 quitting with message: Quit: Ex-Chat
20:31:15*pown joined #nimrod
20:33:42pownwhy is it that uint32 cannot be autoconverted to an int? (int being 64) (http://nimrod-lang.org/manual.html#convertible-relation)
20:35:35Demosbecause having a large uint convert to a negative int is rarely a good idea
20:35:39Demosthis causes bugs in C
20:36:06flaviuDemos: uint32 -> int64 is safe
20:42:05pownshould I open a ticket?
20:42:33flaviupown: Sure, I have places where that would improve things too
20:42:56def-but int is not always 64 bit
20:47:02pownThat is true. However if I make code that I know will run on a 64 bit system (or higher), then it should accept uint32 -> int
20:47:24pownAnd the day someone tries to compile it to an unsupported arch, they will get type conversion errors
20:48:12DemosI kinda doubt araq will accept this
20:48:39Demosand thanks for the pr on libpng
20:49:12dom96If you know that the code will run on 64 bit then you can safely cast it can't you?
20:49:32dom96(using cast[int64](myUint))
20:49:33Fx00Fints shouldn't exist
20:49:36pownI suppose it boils down to whether you actually provide any information by showing that cast
20:49:48pownThe information is: this works if you are on a 64bit system
20:49:49def-dom96: no need to cast, you can just use myUint.int
20:50:16pownI cannot see any other information that the code (When read) provides
20:50:16dom96oh pown wants it to be autoconverted
20:50:22DemosI have thought about making a cish module that just has all the C rules, even the unsafe ones, it would be nice when using C libraries
20:50:39def-dom96: yes, and i think autoconversion from uint32 to int64 could at least be added
20:51:30dom96Demos: Interesting idea. It could provide an unsafe template/macro similar to Rust.
20:51:53flaviudom96: imports can't be scoped :(
20:52:25dom96flaviu: That would be a nice feature to have
20:52:41dom96def-: sure, if it's safe.
20:52:54DemosI tried to implement it, but it turns out to be kinda hard, esp considering Araq's tendencies with documenting the compiler
20:52:55flaviuOf course its safe
20:54:28flaviuDemos: Try grepping for the error message and see where its implmented
20:54:49DemosI did, and I could turn off the error but the scope was still global
20:55:08dom96I'm sure implementing that is not trivial.
20:55:35flaviudom96: Its very nearly so
20:56:23dom96flaviu: If you know that then why not implement it?
20:58:18flaviuBecause I don't know where the relevant code is. Also, I don't understand how imports get translated to C
20:58:37flaviuI don't see many includes in the C files
20:58:45Demosflaviu, you dont need to understand that
20:59:09Demosyou can add the scoped imports to the global list of things that are imported, but just have to make sure that code using stuff out of scope gets rejected
20:59:31Demosflaviu, I think import generates a lot of forward declearations, which is why it is so fast
21:00:35flaviuI think that looking at how imports in the middle of the file work might be helpful
21:01:39dom96If you don't know those things then how can you know that it's nearly trivial?
21:01:57flaviuI understand the general case, not the specifics of the compiler
21:11:57*kunev quit (Ping timeout: 256 seconds)
21:12:37pownI'm getting: Error: internal error: invalid kind for first(tyOrdinal)
21:12:37pownand: No stack traceback available
21:12:39DemosI think imports in the middle work the same as imports anywhere else
21:13:28flaviuDemos: No, they work as expected
21:13:52flaviuhttps://gist.github.com/4ae01fb3fbedd4e8aae0
21:14:06pown(tried passing --stackTrace:on, still no stacktrace)
21:14:30flaviupown: The compiler was compiled with stack traces off
21:14:52flaviuYou'll have to compile it yourself with the instructions on github and --stacktrace:on
21:15:02flaviu./koch build --stacktrace:on
21:15:04flaviuI think
21:15:25dom96just ./koch build
21:18:13def-./koch boot i think
21:18:34def-(at least the koch's help doesn't know build)
21:18:51pownThanks!
21:19:03pownhmm
21:20:32pownI did ./koch build
21:21:29pownah right
21:21:35pownI had the release flag
21:21:55dom96er yeah
21:21:58dom96koch boot
21:22:27dom96perhaps build is aliased
21:31:01pownok filed the bug and minimal code to reproduce it: https://github.com/Araq/Nimrod/issues/1442
21:39:39dom96pown: Please try to make the title of the issue a bit more descriptive
21:44:10pownthx, done
21:46:44flaviudom96: It isn't a VM bug, retag it please
21:47:54dom96what is it then? semcheck?
21:48:01dom96Doesn't the REPL use the VM?
21:48:11flaviuyes, I can reproduce it without the repl
21:48:51*nande quit (Remote host closed the connection)
21:49:57dom96done
21:51:38*Johz quit (Ping timeout: 250 seconds)
21:54:57Araqpown: what's wrong with using int64 instead of int?
21:56:16def-Araq: still no automatic conversion with int64, right?
21:56:22def-(implicit)
21:56:50Araquint32 to int64? that will work soon
21:56:59def-Araq: yes, great
21:57:06Araqonce I do my big "fix unsigned" session
21:57:30*Joe_knock joined #nimrod
21:57:31def-and I also think that it's better to use int64 explicitly in this case
22:00:14*flaviu quit (Read error: Connection reset by peer)
22:00:20pownAraq: that I cannot use int64 as index into e.g. seq, so I still end up writing dot int dot int dot int dot int
22:00:38*superfunc joined #nimrod
22:01:08Araqpown: ah, I suppose I should change that as well
22:01:20*flaviu joined #nimrod
22:02:02pownTo just specify int64 as type on the "initial vars", but the rest would "just work" would probably be fine
22:04:10pownTime to go. Thanks for all help!
22:04:17*pown quit ()
22:20:08*nande joined #nimrod
22:24:11*Trustable quit (Quit: Leaving)
22:25:25*superfunc quit (Quit: leaving)
22:33:38*darkf joined #nimrod
22:37:30*ome quit (Quit: Connection closed for inactivity)
22:54:39*io2 quit (Quit: ...take irc away, what are you? genius, billionaire, playboy, philanthropist)
23:26:27*Varriount|Mobile joined #nimrod
23:27:43Varriount|MobileSo, what would be the 'Zen Of Nimrod"?
23:37:40*flaviu quit (Read error: Connection reset by peer)
23:39:42*flaviu joined #nimrod
23:43:51*q66 quit (Remote host closed the connection)