<kaustuv>
hcarty: I found and tried that long ago already. The build fails because of some patch or the other fails to apply.
_unK has joined #ocaml
<hcarty>
kaustuv: Ah, that's unfortunate. I was hoping to give it a try myself.
<kaustuv>
# module type S = sig type t = int end with type t := int ;;
<kaustuv>
module type S = sig end
<kaustuv>
Hmm...
<kaustuv>
I guess it's consistent with the slide as written
munga_ has joined #ocaml
munga_ has quit [Ping timeout: 264 seconds]
jakedouglas has joined #ocaml
kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
joewilliams_away is now known as joewilliams
f[x] has quit [Ping timeout: 276 seconds]
f[x] has joined #ocaml
Yoric has quit [Quit: Yoric]
th5 has quit [Quit: th5]
alpounet has quit [Ping timeout: 248 seconds]
sepp2k has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 260 seconds]
barismetin has quit [Ping timeout: 265 seconds]
maskd has joined #ocaml
sepp2k has joined #ocaml
magthe has quit [Quit: Going home]
ftrvxmtrx has joined #ocaml
fraggle_laptop has quit [Ping timeout: 260 seconds]
munga_ has joined #ocaml
ztfw has joined #ocaml
jsk is now known as jsk-afk
jakedouglas has quit [Quit: Leaving.]
drk-sd has quit [Quit: foo]
hortian_ has joined #ocaml
maskd has quit [Quit: leaving]
hortian_ has quit [Client Quit]
jakedouglas has joined #ocaml
_unK has quit [Remote host closed the connection]
ikaros has quit [Remote host closed the connection]
_unK has joined #ocaml
ygrek has joined #ocaml
rbancroft has joined #ocaml
f[x] has quit [Ping timeout: 276 seconds]
f[x] has joined #ocaml
grettke has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
hcarty has quit [Quit: leaving]
fraggle_ has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
jonathandav has joined #ocaml
jonludla1 has joined #ocaml
jsk1 has joined #ocaml
jonludlam has quit [Ping timeout: 276 seconds]
jsk-afk has quit [Ping timeout: 248 seconds]
jjd27 has quit [Ping timeout: 276 seconds]
<Camarade_Tux>
has anyone used yacfe? I need to inform it about some C macros but I'm not sure what to use ( Parse_c.init_{defs,defs_builtins} ?)
lvillani has quit [Quit: Leaving]
thuge has joined #ocaml
ttamttam has joined #ocaml
munga_ has quit [Ping timeout: 252 seconds]
jakedouglas has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
maskd has joined #ocaml
SEcki has joined #ocaml
thuge_ has joined #ocaml
thuge_ has quit [Client Quit]
ulfdoz has joined #ocaml
maattd has joined #ocaml
thuge has quit [Ping timeout: 258 seconds]
ttamttam has quit [Quit: Leaving.]
Yoric has joined #ocaml
<Camarade_Tux>
ok, it was Parse_c.init_defs_builtins (maybe not the "best" way to do it but it worked), takes a standard header (where you can '#define __cdecl' to "remove" it from the source file)
<Camarade_Tux>
also, I'm really starting to love yacfe, it parses things really well
<grettke>
Camarade_Tux: for what are you using it that you are pleased?
<Camarade_Tux>
grettke: parsing C headers to autogenerate library bindings and to check mingw-w64 headers for consistency/errors with microsoft's doc on msdn (not related one ot each other)
joewilliams_away has quit [Read error: Operation timed out]
joewilliams_away has joined #ocaml
ikaros has joined #ocaml
det has quit [Ping timeout: 276 seconds]
hcarty has joined #ocaml
jakedouglas has joined #ocaml
thieusoai has quit [Read error: Connection reset by peer]
joewilliams_away has left #ocaml []
joewilliams has joined #ocaml
det has joined #ocaml
hcarty has quit [Remote host closed the connection]
Yoric has quit [Quit: Yoric]
drk-sd has joined #ocaml
<thelema>
I just realized that polymorphic maps (as in batteries) have the advantage that comparing them using Pervasives.compare (which is a logic error) raises an exception at runtime
<thelema>
not quite as good as a compile-time check, but nice to reveal potential bugs
thieusoai has joined #ocaml
f[x] has joined #ocaml
grettke has left #ocaml []
ygrek has quit [Ping timeout: 245 seconds]
Narrenschiff has joined #ocaml
onigiri_ has joined #ocaml
drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]
barismetin has quit [Remote host closed the connection]
enthymeme has joined #ocaml
Narrenschiff_ has joined #ocaml
Narrenschiff has quit [Ping timeout: 240 seconds]
Narrenschiff_ is now known as Narrenschiff
onigiri_ has quit [Quit: onigiri_]
onigiri_ has joined #ocaml
Narrenschiff has quit [Quit: Narrenschiff]
thrasibule has joined #ocaml
hcarty has joined #ocaml
Camarade_Tux has quit [Ping timeout: 246 seconds]
Camarade_Tux has joined #ocaml
_unK has quit [Remote host closed the connection]
derdon has quit [Ping timeout: 248 seconds]
SEcki has quit [Ping timeout: 246 seconds]
SEcki has joined #ocaml
ccasin has quit [Quit: Leaving]
jeddhaberstro has joined #ocaml
avsm has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]