00:04:24 | * | askatasuna joined #nimrod |
00:23:16 | * | BlameStross joined #nimrod |
00:24:20 | Skrylar | flaviu: i see the word 'survey' |
00:24:36 | Skrylar | is someone bitching that nimrod isn't algol again |
00:24:47 | Skrylar | (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:03 | flaviu | Skrylar: Nope, it was my suggestion for figuring what concepts are most intuitive |
00:52:43 | Fx00F | z /quit |
00:52:50 | * | Fx00F quit (Quit: leaving) |
01:04:41 | * | brson quit (Quit: leaving) |
01:07:57 | superfunc | hows everyone been? haven't been able to get to a pc for a while |
01:09:49 | * | Onionhammer joined #nimrod |
01:10:05 | Onionhammer | hola |
01:13:16 | Onionhammer | hm |
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:38 | NimBot | Araq/Nimrod devel 1b6abcc Clay Sweetser [+0 ±2 -0]: Fix #813... 2 more lines |
07:35:38 | NimBot | Araq/Nimrod devel 6a09fc3 Clay Sweetser [+0 ±1 -0]: Clean up a bit. |
07:35:38 | NimBot | Araq/Nimrod devel 9b4b4bc Clay Sweetser [+0 ±1 -0]: Clean up more |
07:35:38 | NimBot | Araq/Nimrod devel 23f64dd Varriount [+0 ±1 -0]: Update commands.nim |
07:35:38 | NimBot | 1 more commits. |
07:35:53 | NimBot | Araq/Nimrod devel eada55f def [+0 ±2 -0]: Make nimrepl and trimcc tools compile |
07:35:53 | NimBot | Araq/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:05 | pown | Hi! 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:40 | pown | That 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:09 | pown | otherwise 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:37 | def- | pown: hi |
09:44:41 | def- | 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:54 | dom96 | good 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:36 | Skrylar | hm. user typeclasses with functions is not working for me |
11:16:21 | def- | Skrylar: example? |
11:16:46 | def- | 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:12 | onionhammer | hola |
17:00:21 | onionhammer | where 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:56 | def- | onionhammer: hi |
17:33:05 | OrionPK | hi def. |
17:33:14 | OrionPK | OrionPK === onionhammer |
17:33:41 | OrionPK | I saw your comment - any particular folders you (or the other guy) wanted in babel? |
17:34:24 | def- | Oh, my bad |
17:34:29 | def- | He wanted the websockets |
17:34:54 | def- | Didn't even see that there were multiple directories in that repo |
17:35:07 | OrionPK | yeah, websockets is already split out into a babel package |
17:35:49 | OrionPK | I thought... |
17:36:14 | * | adoniscik quit (Ping timeout: 260 seconds) |
17:37:56 | OrionPK | I guess it's nt |
17:38:14 | OrionPK | I think there was a memory leak caused by the compiler |
17:38:33 | OrionPK | araq 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:20 | Araq | OrionPK: 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:25 | Demos | I submitted my DirectX wrapper to babel btw |
19:03:38 | dom96 | Did you see my comment? |
19:06:55 | Demos | OK done |
19:09:06 | * | nande joined #nimrod |
19:18:10 | OrionPK | well I've been busy araq |
19:24:20 | * | kunev joined #nimrod |
19:27:06 | NimBot | nimrod-code/packages master 4ce6c29 Charlie Barto [+0 ±1 -0]: added nimrod wrapper for DirectX |
19:27:06 | NimBot | nimrod-code/packages master 85b93e7 Charlie Barto [+0 ±1 -0]: changed DirectX to directnimrod |
19:27:06 | NimBot | nimrod-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:56 | NimBot | Araq/Nimrod devel 9fd6464 Grzegorz Adam Hankiewicz [+0 ±1 -0]: Updates js.high usage for line ending dots. Refs #1291 and #1292. |
19:36:56 | NimBot | Araq/Nimrod devel bddfe00 Grzegorz Adam Hankiewicz [+0 ±2 -0]: Adds placeholder text for js disabled browsers. Refs #1292. |
19:36:56 | NimBot | Araq/Nimrod devel ca937cd Grzegorz Adam Hankiewicz [+0 ±1 -0]: Uses case insensitive comparison for sorting. Refs #1292. |
19:36:56 | NimBot | Araq/Nimrod devel 915d329 Dominik Picheta [+0 ±2 -0]: Merge branch 'gradha-pr_updates_babel_js' into devel |
19:40:59 | OrionPK | Demos interesting... is there an actual nimmish wrapper |
19:41:07 | OrionPK | or did u just bind all the functions |
19:41:25 | Demos | I bound the functions |
19:41:49 | OrionPK | you doing that for a specific project? |
20:26:38 | dom96 | !seen exhu |
20:26:38 | NimBot | exhu 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:42 | pown | why is it that uint32 cannot be autoconverted to an int? (int being 64) (http://nimrod-lang.org/manual.html#convertible-relation) |
20:35:35 | Demos | because having a large uint convert to a negative int is rarely a good idea |
20:35:39 | Demos | this causes bugs in C |
20:36:06 | flaviu | Demos: uint32 -> int64 is safe |
20:42:05 | pown | should I open a ticket? |
20:42:33 | flaviu | pown: Sure, I have places where that would improve things too |
20:42:56 | def- | but int is not always 64 bit |
20:47:02 | pown | That 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:24 | pown | And the day someone tries to compile it to an unsupported arch, they will get type conversion errors |
20:48:12 | Demos | I kinda doubt araq will accept this |
20:48:39 | Demos | and thanks for the pr on libpng |
20:49:12 | dom96 | If you know that the code will run on 64 bit then you can safely cast it can't you? |
20:49:32 | dom96 | (using cast[int64](myUint)) |
20:49:33 | Fx00F | ints shouldn't exist |
20:49:36 | pown | I suppose it boils down to whether you actually provide any information by showing that cast |
20:49:48 | pown | The information is: this works if you are on a 64bit system |
20:49:49 | def- | dom96: no need to cast, you can just use myUint.int |
20:50:16 | pown | I cannot see any other information that the code (When read) provides |
20:50:16 | dom96 | oh pown wants it to be autoconverted |
20:50:22 | Demos | I 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:39 | def- | dom96: yes, and i think autoconversion from uint32 to int64 could at least be added |
20:51:30 | dom96 | Demos: Interesting idea. It could provide an unsafe template/macro similar to Rust. |
20:51:53 | flaviu | dom96: imports can't be scoped :( |
20:52:25 | dom96 | flaviu: That would be a nice feature to have |
20:52:41 | dom96 | def-: sure, if it's safe. |
20:52:54 | Demos | I tried to implement it, but it turns out to be kinda hard, esp considering Araq's tendencies with documenting the compiler |
20:52:55 | flaviu | Of course its safe |
20:54:28 | flaviu | Demos: Try grepping for the error message and see where its implmented |
20:54:49 | Demos | I did, and I could turn off the error but the scope was still global |
20:55:08 | dom96 | I'm sure implementing that is not trivial. |
20:55:35 | flaviu | dom96: Its very nearly so |
20:56:23 | dom96 | flaviu: If you know that then why not implement it? |
20:58:18 | flaviu | Because I don't know where the relevant code is. Also, I don't understand how imports get translated to C |
20:58:37 | flaviu | I don't see many includes in the C files |
20:58:45 | Demos | flaviu, you dont need to understand that |
20:59:09 | Demos | you 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:31 | Demos | flaviu, I think import generates a lot of forward declearations, which is why it is so fast |
21:00:35 | flaviu | I think that looking at how imports in the middle of the file work might be helpful |
21:01:39 | dom96 | If you don't know those things then how can you know that it's nearly trivial? |
21:01:57 | flaviu | I understand the general case, not the specifics of the compiler |
21:11:57 | * | kunev quit (Ping timeout: 256 seconds) |
21:12:37 | pown | I'm getting: Error: internal error: invalid kind for first(tyOrdinal) |
21:12:37 | pown | and: No stack traceback available |
21:12:39 | Demos | I think imports in the middle work the same as imports anywhere else |
21:13:28 | flaviu | Demos: No, they work as expected |
21:13:52 | flaviu | https://gist.github.com/4ae01fb3fbedd4e8aae0 |
21:14:06 | pown | (tried passing --stackTrace:on, still no stacktrace) |
21:14:30 | flaviu | pown: The compiler was compiled with stack traces off |
21:14:52 | flaviu | You'll have to compile it yourself with the instructions on github and --stacktrace:on |
21:15:02 | flaviu | ./koch build --stacktrace:on |
21:15:04 | flaviu | I think |
21:15:25 | dom96 | just ./koch build |
21:18:13 | def- | ./koch boot i think |
21:18:34 | def- | (at least the koch's help doesn't know build) |
21:18:51 | pown | Thanks! |
21:19:03 | pown | hmm |
21:20:32 | pown | I did ./koch build |
21:21:29 | pown | ah right |
21:21:35 | pown | I had the release flag |
21:21:55 | dom96 | er yeah |
21:21:58 | dom96 | koch boot |
21:22:27 | dom96 | perhaps build is aliased |
21:31:01 | pown | ok filed the bug and minimal code to reproduce it: https://github.com/Araq/Nimrod/issues/1442 |
21:39:39 | dom96 | pown: Please try to make the title of the issue a bit more descriptive |
21:44:10 | pown | thx, done |
21:46:44 | flaviu | dom96: It isn't a VM bug, retag it please |
21:47:54 | dom96 | what is it then? semcheck? |
21:48:01 | dom96 | Doesn't the REPL use the VM? |
21:48:11 | flaviu | yes, I can reproduce it without the repl |
21:48:51 | * | nande quit (Remote host closed the connection) |
21:49:57 | dom96 | done |
21:51:38 | * | Johz quit (Ping timeout: 250 seconds) |
21:54:57 | Araq | pown: what's wrong with using int64 instead of int? |
21:56:16 | def- | Araq: still no automatic conversion with int64, right? |
21:56:22 | def- | (implicit) |
21:56:50 | Araq | uint32 to int64? that will work soon |
21:56:59 | def- | Araq: yes, great |
21:57:06 | Araq | once I do my big "fix unsigned" session |
21:57:30 | * | Joe_knock joined #nimrod |
21:57:31 | def- | 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:20 | pown | Araq: 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:08 | Araq | pown: ah, I suppose I should change that as well |
22:01:20 | * | flaviu joined #nimrod |
22:02:02 | pown | To just specify int64 as type on the "initial vars", but the rest would "just work" would probably be fine |
22:04:10 | pown | Time 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:43 | Varriount|Mobile | So, 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) |