<Armael>
when you define the Node signature that way, it just describes a module that contains an abstract type t (and you don't know what it is)
<Armael>
so when you assigne Title to have signature Node, you ask to hide away the fact that t is a string
<Armael>
so Title.t becomes an abstract type
<Armael>
now I'm not sure what you want to do exactlyy
jao has joined #ocaml
<domovoy>
Armael> solve it with `module Title : Node with type t=string = struct ... end`, but seems kind of strange to me... The idea is: http://paste.debian.net/1122108/
<Armael>
I mean here you could just remove the signature annotation and it will work
<Armael>
module SomeNode = struct ... end
<domovoy>
parse is actually a recursing function that modifies result, setting its element depending on what it finds
<domovoy>
Armael> yeah, but my idea was actually getting to a point where i would have a helper function that would allow `{result with some_node = (mknode SomeNode) }` instead of `{result with some_node = (SomeNode.parse p (get_next_yaml_event ())) }`
<domovoy>
granted, it's a lot of hassle just for a little more consize code, but in the process i can learn something ;)
<Armael>
hum, not sure to see how that would typecheck
<Armael>
what would be the type of mknode
<domovoy>
Node.t ?
<domovoy>
ho... abstract
<Armael>
and there's no "Node.t" type
<Armael>
you have several FooNode.t types
<Armael>
all possibly different (abstract or not)
<domovoy>
hmmm, is that just not possible? (it must be...)
<Armael>
well I would expect you to have a type describing a "complete document" and referencing the other nodes types
<Armael>
and then parsing would follow the structure of that document type
<domovoy>
sorry, that's the thing with me, any time i see a pattern repeating, i think "that should be a function"
<Armael>
not really, because you basically want to write code generic over modules and record field names
<Armael>
and that's not something that you can do easily
<domovoy>
ok, let's keep it as it is then
nullcone has joined #ocaml
kakadu_ has quit [Ping timeout: 258 seconds]
kakadu__ has joined #ocaml
tane has joined #ocaml
atagunov has joined #ocaml
kakadu_ has joined #ocaml
kakadu__ has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
jnavila has quit [Read error: Connection reset by peer]
jnavila_ has joined #ocaml
jnavila_ has quit [Read error: Connection reset by peer]
jnavila_ has joined #ocaml
pioneer42 has joined #ocaml
atagunov has quit [Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org]
jnavila_ has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
pioneer42 has left #ocaml [#ocaml]
nullcone has quit [Quit: Connection closed for inactivity]
gareppa has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
Haudegen has joined #ocaml
kakadu__ has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
gareppa has quit [Quit: Leaving]
TheLemonMan has joined #ocaml
kleisli has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
amiloradovsky has joined #ocaml
RalfJung has quit [Remote host closed the connection]
RalfJ has joined #ocaml
Vincent1 has joined #ocaml
Vincent1 has left #ocaml [#ocaml]
Vincent1 has joined #ocaml
Vincent1 has quit [Client Quit]
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
dborisog has quit [Ping timeout: 260 seconds]
jnavila has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
jnavila has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
ggole has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
gravicappa has quit [Ping timeout: 260 seconds]
kleisli has quit [Ping timeout: 265 seconds]
gareppa has joined #ocaml
gravicappa has joined #ocaml
kjak has joined #ocaml
kleisli has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
jnavila_ has joined #ocaml
gareppa has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 265 seconds]
kleisli has joined #ocaml
brettgilio has quit [Quit: Quit]
luna_is_here has quit [Ping timeout: 260 seconds]
kleisli has quit [Ping timeout: 265 seconds]
domovoy has quit [Quit: Leaving]
amiloradovsky has quit [Ping timeout: 248 seconds]
luna_is_here has joined #ocaml
jnavila_ has quit [Ping timeout: 246 seconds]
<dogui>
Hi, are bugfixes backported to previous OCaml releases? Wondering since I'm running into an issue that has been fixed in trunk about 2 months ago, but we're requiring OCaml 4.05 in our project (F*)
kleisli has joined #ocaml
<dogui>
We could upgrade, but that's sometimes messy for people on different platforms
<def`>
dogui: no, bugfixes are rarely backported
<dogui>
def`: ack, thanks!
kakadu__ has quit [Remote host closed the connection]