<Leonidas>
yeah, no hurry. The group stuff would be nice but it is just a value-add :-)
kvda has joined #ocaml
quipa has quit [Remote host closed the connection]
Haudegen has joined #ocaml
tianon has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has joined #ocaml
themsay has joined #ocaml
rdivyanshu has joined #ocaml
JimmyRcom has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
spew has joined #ocaml
MadcapJake has quit [Quit: MadcapJake]
neatonk has joined #ocaml
neatonk has left #ocaml [#ocaml]
JimmyRcom has quit [Ping timeout: 245 seconds]
env__ has joined #ocaml
mildtaste has quit [Remote host closed the connection]
JimmyRcom has joined #ocaml
JimmyRcom has quit [Ping timeout: 252 seconds]
al-damiri has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
env__ has quit [Ping timeout: 252 seconds]
terrorjack has quit [Quit: Connection closed for inactivity]
kino` has joined #ocaml
<kino`>
Hi
<kino`>
Has anybody used menhir's incremental API?
dtornabene has joined #ocaml
<kino`>
I can't figure how to extract the value of a state, as it has type $Element_'a, which I can't figure out the meaning :c
MadcapJake has joined #ocaml
<octachron>
$Element_a means that you are trying to extract an existential type introduced by a constructor Element outside of its context (which is not possible)
<kino`>
So, I can't get what's inside the element?
<octachron>
You cannot extract it completely, but you can use any function that takes any 'a lrl1state as input.
<kino`>
Ah, I see
<kino`>
Thanks.
tane has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
<kino`>
If I were to gain information about type 'a, how could I get use of the element?
<octachron>
? You should probably read menhir manual about the incremental and ipsection API: you can gain information about the existential type 'a by using the element and the Inspection API .
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
JimmyRcom has joined #ocaml
kino` has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
erkin has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
fraxamo has joined #ocaml
_andre has quit [Ping timeout: 252 seconds]
apostolis has joined #ocaml
Haudegen has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
bartholin has joined #ocaml
erkin has quit [Remote host closed the connection]
barcabuona has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
env__ has quit [Ping timeout: 244 seconds]
env__ has joined #ocaml
dtornabene has quit [Quit: Leaving]
rand__ has quit [Ping timeout: 252 seconds]
ziyourenxiang has quit [Ping timeout: 252 seconds]
jack5638 has quit [Ping timeout: 272 seconds]
jack5638 has joined #ocaml
al-damiri has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
themsay has quit [Ping timeout: 246 seconds]
jack5638 has joined #ocaml
env__ has quit [Ping timeout: 252 seconds]
pzp has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
barcabuona has quit [Quit: WeeChat 2.2]
rdivyanshu has joined #ocaml
jack5638 has joined #ocaml
rdivyanshu has quit [Ping timeout: 246 seconds]
emily has quit [Quit: Lost terminal]
JimmyRcom has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
MadcapJake has quit [Quit: MadcapJake]
kakadu_ has joined #ocaml
ggole has quit [Quit: ggole]
emily has joined #ocaml
steenuil has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
fraxamo has quit [Quit: Leaving]
<Leonidas>
so, I might have created a horrible bikeshedding thread, but I had to bring it up :-|
JimmyRcom has joined #ocaml
spew has quit [Quit: going home]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 268 seconds]
pierpa has joined #ocaml
orbifx2 has joined #ocaml
orbifx2 has quit [Ping timeout: 252 seconds]
<apostolis>
Is there a unicode library similar to the haskell Data.Text ?
<companion_cube>
these are Daniel Bunzli's libraries, they're a bit low level but very well designed
<apostolis>
May I ask someting else? I use the malfunction compiler that does not have support for Ocaml literal floats. It has support for string literals.
<apostolis>
I could use the "of_string" function to introduce float literals.
<apostolis>
Will this be transformed into a float literal at compile time? or will it be executed at runtime?
<companion_cube>
it doesn't support *any* float literal?
<apostolis>
No.
<companion_cube>
check if it supports hexadecimal float literals
<companion_cube>
0x1.5p+5
<companion_cube>
^ this kind of thing
<apostolis>
I could pass this as a string with the "of_string" function. But I would prefer if is was erased at compilation.
<companion_cube>
well it probably won't
<apostolis>
Ok.
<companion_cube>
(have you checked for the hexa literals? :/)
<companion_cube>
(it'd be sad if it didn't support these)
<apostolis>
I doubt it.
<companion_cube>
they should be much simpler to handle, I think, that's why