00:01:45 | * | q66 quit (Quit: Quit) |
00:33:05 | * | zahary quit (Read error: No route to host) |
00:33:19 | * | zahary joined #nimrod |
01:17:46 | * | JStoker quit (Excess Flood) |
01:33:34 | * | JStoker joined #nimrod |
03:59:43 | * | zahary quit (Ping timeout: 245 seconds) |
04:04:38 | * | zahary joined #nimrod |
04:12:04 | * | zahary quit (Ping timeout: 265 seconds) |
05:25:29 | * | JStoker quit (Excess Flood) |
05:39:25 | * | rking quit (Quit: BBIAB) |
05:45:32 | * | JStoker joined #nimrod |
06:19:50 | * | rking joined #nimrod |
07:39:00 | * | Zor quit (Remote host closed the connection) |
07:42:39 | * | zahary joined #nimrod |
08:00:54 | * | Araq_ joined #nimrod |
08:01:54 | * | Araq_ quit (Client Quit) |
10:28:11 | * | Trix[a]r_za is now known as Trixar_za |
11:57:58 | * | apriori_ joined #nimrod |
12:11:49 | * | apriori_ quit (Ping timeout: 260 seconds) |
12:14:04 | * | Boscop quit (Read error: Connection reset by peer) |
12:15:47 | * | apriori_ joined #nimrod |
12:22:53 | * | Trixar_za is now known as Trix[a]r_za |
13:08:05 | apriori_ | what would be the proper signature for the assignment proc in the given code?: http://pastebin.com/0Tbg5fYv |
13:08:11 | apriori_ | is that even possible right now? |
13:18:45 | apriori_ | one could use a converter, but that one is not able to reuse storage |
13:19:14 | apriori_ | so either operator = needs to support that use case or we need an extended converter, e.g. one that gets a storage parameter |
13:20:26 | apriori_ | and converters also lack generic params |
13:26:02 | fowl | i dont think there is an = operator |
14:03:57 | apriori_ | fowl: for a given type T, how would I transform T.new into a call which creates a new ref and calls new on it? |
14:04:07 | apriori_ | or more precise.. how can I match typedesc[T] ? |
14:04:15 | apriori_ | and extract T from it? |
14:04:34 | apriori_ | proc someNew[T](somT: typedesc[T]): T = ... doesn't seem to work |
14:06:00 | apriori_ | question is.. can a proc actually work at all for that case (or a template).. or do I even need a macro? |
14:25:00 | * | alexrp joined #nimrod |
15:48:36 | * | apriori_ quit (Quit: Konversation terminated!) |
16:46:08 | * | alexrp_ joined #nimrod |
16:50:55 | * | alexrp quit (*.net *.split) |
16:50:56 | * | a_peach quit (*.net *.split) |
16:53:00 | * | zahary1 joined #nimrod |
16:54:41 | * | zahary quit (Write error: Connection reset by peer) |
17:01:14 | * | alexrp_ is now known as Zor |
17:16:56 | * | q66 joined #nimrod |
17:57:06 | Araq | dom96: case protVersion |
17:57:08 | Araq | of protSSLv23: |
17:57:10 | Araq | newCTX = SSL_CTX_new(SSLv23_method()) # SSlv2,3 and TLS1 support. |
17:57:29 | Araq | you call this method so how can deadCodeElim eliminate it? |
17:58:14 | dom96 | Well, it's actually SSLv2_method that is causing the issue |
17:59:21 | Araq | true, misremembered |
17:59:43 | dom96 | I guess it gets called anyway though |
17:59:51 | dom96 | Well, it gets put into the code |
17:59:55 | dom96 | because it /may/ be called |
18:00:20 | Araq | lol |
18:00:24 | Araq | well guess what |
18:00:38 | Araq | the compiler isn't allowed to change the semantics :P |
18:02:09 | dom96 | I know. |
18:02:15 | dom96 | I didn't realise it was in a case statement. |
18:06:06 | dom96 | Well, we could either remove SSLv2_method |
18:06:18 | dom96 | or somehow check for its existence? |
18:06:53 | Araq | yeah we could check for its existance |
18:07:06 | Araq | but if ubuntu removed it, maybe it's not important? ;-) |
18:07:25 | dom96 | Yeah, well Ubuntu removed it because using it is a security risk :P |
18:11:19 | Araq | using ubuntu itself is a security risk ... |
18:11:30 | Araq | using a computer is a security risk ... |
18:11:53 | dom96 | living is a security risk :P |
18:39:56 | * | Vladar joined #nimrod |
19:11:21 | * | FreeArtMan joined #nimrod |
19:19:07 | * | JStoker quit (Excess Flood) |
19:36:02 | * | JStoker joined #nimrod |
19:39:21 | * | shevy2 joined #nimrod |
19:40:52 | Araq | ping zahary1 |
19:41:34 | * | shevy quit (Read error: Operation timed out) |
19:55:58 | * | FreeArtMan quit (Ping timeout: 252 seconds) |
21:16:41 | * | Trix[a]r_za is now known as Trixar_za |
21:35:18 | Araq | Vladar: why do you even cast a float32 to a pointer and back? o.O |
21:36:58 | Vladar | Araq, there is that function from libtcod, it returns element of list as `void*` and it might be bool, int, float, etc. |
21:37:59 | Araq | really? not a pointer to bool, int, float etc? |
21:39:31 | reactormonk | Vladar, they really like dynamic typing, do they |
21:39:47 | Trixar_za | Oo |
21:39:55 | Vladar | Araq, no, I successfully did cast to bool, char, int32, cstring, and tuple(r, g, b: uint8) |
21:40:00 | Trixar_za | Libtcod? You're porting it? |
21:40:03 | Trixar_za | Awesome |
21:41:59 | Araq | casting void* to float32 and back is no valid C :P |
21:42:12 | Vladar | I think I must completely rewrite parser module, also because of union-type values, which I can't cast to nimrod's values. |
21:43:51 | Vladar | Trixar_za, actually it's almost done, except for parser module (and maybe some bugs) |
21:44:16 | Trixar_za | Sweet, I'd love to play with that |
21:44:47 | Trixar_za | Always wanted to make a roguelike |
21:44:50 | Vladar | Trixar_za, here it is https://github.com/Vladar4/libtcod-nim |
21:45:12 | reactormonk | Araq, already start missing dynamic scope in scala :-) |
21:45:22 | reactormonk | Araq, have to say, I like the idea of Option and Either |
21:45:48 | Araq | a union is only a couple of 'emit' pragmas away .., Vladar |
21:46:00 | Araq | but I didn't suggest this ;-) |
21:46:22 | reactormonk | ever considered them? |
21:46:51 | Araq | yeah and recently I also got them :P |
21:47:06 | reactormonk | when? |
21:47:25 | Araq | when dom96 showed off some monads to deal with them ;-) |
21:47:28 | reactormonk | or rather, what's your definition of when |
21:47:32 | reactormonk | oh |
21:47:37 | reactormonk | s/when/got/ |
21:47:39 | Vladar | Araq, actually I already tried this, but got linker cast error. Mayby I'm did something wrong though |
21:49:31 | Araq | reactormonk: nimrod has sum types, so they are easy to do in nimrod |
21:49:50 | Araq | the stdlib doesn't though and I'm not keen on changing that |
21:51:24 | Araq | also you should feel really bad for missing dynamic scoping |
21:55:08 | reactormonk | Araq, why? it makes parameter handling painless |
21:55:26 | reactormonk | you just have to keep your checking in one place |
21:56:37 | Araq | yeah, in fact I never used them in Lisp and yet do miss them when hacking the compiler ;-) |
21:57:02 | Araq | these recursive helper functions that always end up growing more and more parameters ... |
21:58:06 | reactormonk | use more parametricide |
22:35:00 | Vladar | bye |
22:35:11 | * | Vladar quit (Quit: Leaving) |
23:05:25 | * | Zor quit (Read error: Connection reset by peer) |
23:24:39 | * | Trixar_za is now known as Trix[a]r_za |
23:27:47 | * | alexrp joined #nimrod |
23:29:45 | * | alexrp is now known as Zor |