00:12 <fluxx> I imagine that might very well work :)

00:13 <fluxx> hmm, unless there were some things to keep in mind when allocating strings..

00:14 <fluxx> like the string length needs to be stored

04:36 <ulfdoz> Nonetheless, after some thoughts about this night, I don't think that this trivial 1:1 translation of the C-interface to ocaml will work. Main problem is, that I don't see, how to ensure physical equality of values in Ocaml <=> physical equality in C. I think I should redesign the interaface to some use case oriented wrapper with much less interaction between both worlds.

08:42 <dylan> Smerdyakov: Prepare the ritual pants. I challenge you to a duel; for I allege you put a curse on my hardware.

08:42 <dylan> I mean, hi.

08:42 <Smerdyakov> You'll never know peace until you learn to see the ritual in all pants.

13:24 <glorb> hi all, could somebody help me with a little ocamlyacc problem (i

13:25 <glorb> i just started experimenting with ocamlyacc by following the tutorial by SooHyoung Oh

13:26 <glorb> it all works fine except i can't figure out how to make the parser terminate/return

13:26 <glorb> when reading from stdin

13:27 <zmdkrbou> ^D

13:27 <zmdkrbou> (this is no smiley)

13:28 <zmdkrbou> ocamllexrecognizes 'eof'

13:28 <zmdkrbou> +" "

13:29 <glorb> yes but how do i get an eof on stdin?

13:30 <glorb> ok, but then what code should be executed when eof is encountered?

13:32 <zmdkrbou> you get an eof from stdin when you type ctrl-d

13:32 <glorb> yes, now i remember:)

13:33 <glorb> but what should the corresponding code in the token rule be to make the parser terminate?

13:35 <zmdkrbou> you just send a Parser.EOF or whatever to the parser

13:35 <zmdkrbou> which then returns the computed value

13:51 <glorb> ok it works, thanks zmdkrbou!

14:54 <ulfdoz> If we consider the type "a option" with "None" and Some of a" as constructors, "None" would be represented as usual integer with value 0 and "Some of a" as block of size 1, tag 0, and data part in field 0. Either I misunderstood something, or I don't know how to distinguish between both?

15:17 <fluxx> hmh. simply try feeding None or Some of 0 to your C-code and figure out?

15:17 <fluxx> option-type might be expressed efficiently

15:18 <fluxx> hm, infact doesn't the documentation describe how sum types in general are stored

15:18 <fluxx> it should cover that too

15:37 <ulfdoz> I'm currently working on a little test-program. But I doesn't link yet, for what reason ever.

15:54 <ulfdoz> Ah, -fPIC fehlte

15:54 <ulfdoz> ECHAN, sorry

16:25 <ulfdoz> Hm, accessing tag of None value segfaults, tag of Some works, accessing field 0 of some segfaults, b returns null. :\

16:28 <ulfdoz> Works now, but still no usable difference. :\

16:34 <ulfdoz> I think Is_long/Is_block are my friends.