<kaustuv>
3.12.0+dev25 has the ocamlobjinfo patches applied so maybe some of the failures (eg. jocaml) are fixed now?
<kaustuv>
BTW, Debian is needlessly trying to build otags on recent (>= 3.10) ocaml. Even if it compiles, it won't work because it uses an obsolete AST
fraggle_laptop has joined #ocaml
<sgnb>
kaustuv: it uses camlp5, doesn't it?
<sgnb>
it doesn't use the same AST as camlp5?
<sgnb>
kaustuv: if you have some concrete example, you should probably file a bug
<sgnb>
kaustuv: and about jocaml, I doubt it
<sgnb>
even the FTBFS happens at dh_ocaml time, I think jocaml needs deeper changes to work with OCaml 3.12...
<sgnb>
(some magic numbers have changed...)
<kaustuv>
sgnb: I can get otags from unstable (i.e., a fully 3.11.2 toolchain) to work at all. It always complains about an inconsistent MLast.
<kaustuv>
If you want the exact error message, I need to downgrade from 3.12.0 and try again, so it will have to wait.
<sgnb>
kaustuv: well... on OCaml's stdlib, I don't get any error message
<sgnb>
and the generated TAGS file seems to work
<kaustuv>
Hmm, maybe something else weird happened on my system. If I figure it out, I'll file a bug.
_unK has joined #ocaml
boscop has joined #ocaml
Associat0r has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 276 seconds]
jonafan has joined #ocaml
jonafan_ has quit [Ping timeout: 276 seconds]
kaustuv has left #ocaml []
eb4890 has quit [Ping timeout: 245 seconds]
eb4890 has joined #ocaml
jimmyb2187 has left #ocaml []
jimmyb2187 has joined #ocaml
myu2 has quit [Ping timeout: 264 seconds]
Tianon has quit [Read error: Operation timed out]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
neorab has quit [Quit: taste, the taste of the senses]
alexyk has joined #ocaml
neorab has joined #ocaml
_unK has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
eb4890 has quit [Ping timeout: 240 seconds]
alexyk has quit [Quit: alexyk]
joewilliams_away is now known as joewilliams
Tianon has quit [Ping timeout: 260 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
sepp2k has joined #ocaml
leino has joined #ocaml
sepp2k has quit [Read error: Operation timed out]
sepp2k has joined #ocaml
Edward__ has joined #ocaml
ftrvxmtrx_ has quit [Quit: Leaving]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
f[x] has quit [Remote host closed the connection]
ulfdoz_ has quit [Ping timeout: 260 seconds]
bmp has joined #ocaml
brendan has quit [Quit: leaving]
bmp has quit [Remote host closed the connection]
bmp has joined #ocaml
ftrvxmtrx has joined #ocaml
asurai has joined #ocaml
Yoric has quit [Quit: Yoric]
bmp has quit [Ping timeout: 252 seconds]
asurai is now known as bmp
h_z12x has joined #ocaml
ulfdoz has joined #ocaml
bmp has quit [Remote host closed the connection]
bmp has joined #ocaml
bmp has quit [Quit: bmp]
Edward__ has quit [Ping timeout: 245 seconds]
bmp has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
bmp has quit [Remote host closed the connection]
bmp has joined #ocaml
brendan has joined #ocaml
h_z12x has quit [Quit: Leaving.]
boscop has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
boscop has joined #ocaml
joewilliams is now known as joewilliams_away
leino has quit [Quit: leaving]
bmp has quit [Quit: bmp]
Demitar has joined #ocaml
Yoric has joined #ocaml
h_z12x has joined #ocaml
h_z12x has left #ocaml []
Yoric has quit [Quit: Yoric]
Demitar has quit [Quit: Bubbles!]
ygrek has quit [Ping timeout: 245 seconds]
joewilliams_away is now known as joewilliams
Edward__ has joined #ocaml
ygrek has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
avsm has quit [Quit: Leaving.]
Yoric has joined #ocaml
Edward__ has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
travisbrady has joined #ocaml
Yoric has quit [Quit: Yoric]
krankkatze has quit [Quit: leaving]
boscop has quit [Ping timeout: 265 seconds]
joewilliams is now known as joewilliams_away
boscop has joined #ocaml
lxnay has quit [Ping timeout: 265 seconds]
LionMadeOfLions has quit [Read error: Operation timed out]