mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
bmp has quit [Quit: bmp]
bmp has joined #ocaml
joewilliams is now known as joewilliams_away
jjd27 has quit [Ping timeout: 248 seconds]
jjd27 has joined #ocaml
pad has joined #ocaml
bmp has quit [Quit: bmp]
_unK has quit [Remote host closed the connection]
jakedouglas has joined #ocaml
pad has quit [Remote host closed the connection]
ccasin has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
bzzbzz has quit [Quit: leaving]
joewilliams_away is now known as joewilliams
komar_ has quit [Quit: WeeChat 0.2.6]
jakedouglas has quit [Quit: Leaving.]
ccasin has quit [Quit: Leaving]
maskd has quit [Quit: leaving]
Associat0r has quit [Quit: Associat0r]
Morphous has quit [Ping timeout: 264 seconds]
valross has joined #ocaml
bmp has joined #ocaml
Morphous has joined #ocaml
bmp has quit [Quit: bmp]
enthymeme has joined #ocaml
psnively has joined #ocaml
psnively has quit [Quit: psnively]
jakedouglas has joined #ocaml
smimou has quit [Read error: Connection reset by peer]
smimou has joined #ocaml
thrasibule has joined #ocaml
joewilliams is now known as joewilliams_away
ulfdoz has joined #ocaml
fraggle_laptop has quit [Ping timeout: 260 seconds]
fraggle_laptop has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Yoric has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 240 seconds]
mfp has quit [Read error: Connection reset by peer]
det has quit [Ping timeout: 258 seconds]
det has joined #ocaml
ttamttam has joined #ocaml
mfp has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
smimou has quit [Quit: bli]
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Yoric]
onigiri_ has quit [Quit: onigiri_]
onigiri_ has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
komar_ has joined #ocaml
magthe has joined #ocaml
drk-sd has joined #ocaml
Yoric has joined #ocaml
munga_ has joined #ocaml
th5 has joined #ocaml
jsk-afk is now known as jsk
ftrvxmtrx has quit [Remote host closed the connection]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
barismetin has quit [Client Quit]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
ftrvxmtrx has joined #ocaml
avsm has joined #ocaml
sepp2k has joined #ocaml
Associat0r has joined #ocaml
lvillani has joined #ocaml
kaustuv has joined #ocaml
ikaros has joined #ocaml
_unK has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
fraggle_laptop has quit [Ping timeout: 264 seconds]
pikachuyann has joined #ocaml
valross has quit [Quit: Ex-Chat]
fraggle_laptop has joined #ocaml
pikachuyann has quit [Ping timeout: 260 seconds]
pikachuyann has joined #ocaml
Camarade1Tux has joined #ocaml
Camarade1Tux has quit [Client Quit]
Camarade_Tux has quit [Quit: leaving]
Camarade_Tux has joined #ocaml
Camarade_Tux has quit [Client Quit]
Camarade_Tux has joined #ocaml
pikachuyann has quit [Ping timeout: 260 seconds]
boscop has joined #ocaml
ttamttam has quit [Quit: Leaving.]
Asmadeus has quit [Ping timeout: 260 seconds]
jsk is now known as jsk-afk
ikaros has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
f[x] has joined #ocaml
<kaustuv> Is OASIS going to be replacing GODI soon or eventually?
_unK has quit [Remote host closed the connection]
barismetin has quit [Ping timeout: 265 seconds]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
barismetin has quit [Remote host closed the connection]
<kaustuv> (How) can I use GODI with 3.12.0+devXX (i.e., the subversion trunk)?
<Camarade_Tux> I remember that question being asked last week but can't remember the answer, I don't know if godi can use the svn
jsk-afk is now known as jsk
<gildor> kaustuv: OASIS will be used to provide GODI some information
<gildor> kaustuv: they will work together
<gildor> kaustuv: ('how to build' + 'what it needs to build' information to be precise)
ftrvxmtrx has quit [Remote host closed the connection]
* gildor is away for 2 hours
derdon has joined #ocaml
thrasibule has quit [Ping timeout: 264 seconds]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
<kaustuv> sgnb: that's great, but does that path change all the time?
<kaustuv> I guess not, since svn is at r10302 today
<sgnb> kaustuv: of course not
Camarade_Tux has quit [Quit: leaving]
Camarade_Tux has joined #ocaml
Associat0r has quit [Quit: Associat0r]
<sgnb> I might update it on a e.g. weekly basis, though
<sgnb> (but maybe not all packages, nor so much architectures)
Associat0r has joined #ocaml
<mfp> hey include module type of Hashtbl auto-generated module sigs of existing modules at last (generalized to any module expression)!
<mfp> and S with type t := xxx solves the pb with [type t] being declared twice in diff signatures when you include multiple module types at once
<mfp> uh yes, so says the next slide :)
<kaustuv> This dynamic module stuff probably kills all hope for a defunctorizing pass
<mfp> let module X = ... already made static analysis impossible
ccasin has joined #ocaml
<alpounet> but pa_openin makes overloading possible
<kaustuv> some pf pa_openin is now built-in in 3.12
<kaustuv> s/pf/of
<alpounet> nice
<kaustuv> I don't know whether to be disappointed or glad that this does not work: http://ocaml.pastebin.com/2D84Az24
<kaustuv> in fact, that's an awesome way to do #if 0/#endif -- just wrap the offending code in: include module type of (struct ... end)
<kaustuv> or perhaps: include module type of (struct ... end : sig end)
<kaustuv> the "commented" code is still typechecked, which is great
fraggle_ has quit [Ping timeout: 248 seconds]
<thelema> companion_cube: You can use an existing myocamlbuild.ml that's out there, and write your own _tags.
<thelema> companion_cube: there's one in the batteries source you can use.
<thelema> kaustuv: I find the best way to do "#if 0/#endif" is "(* / *)"
<thelema> as to why I'd want such code to be typechecked... hmm...
<kaustuv> It's great for keeping twisty test code near the point where it's relevant and having it evolve with the rest of the "live" code
<thelema> yes, I can see how it could get out of sync with the rest of the codebase if it weren't typechecked...
<thelema> That's an interesting idea. If only the syntax weren't so burdensome. Maybe I just need a better editor.
munga_ has quit [Ping timeout: 246 seconds]
<sgnb> kaustuv: how about http://ocaml.pastebin.com/6aL4h2Dv ?
<sgnb> or, in a simpler way, a .ml file with an empty .mli file?
Asmadeus has joined #ocaml
<mfp> sgnb: that does evaluate the body of the module
onigiri_ has quit [Quit: onigiri_]
<sgnb> mfp: and kaustuv's version doesn't?
<mfp> sgnb: I believe it doesn't, as module type of ... only needs to infer the huh module type
<sgnb> and in my mind, the module wouldn't be linked
<sgnb> (if the goal is just typechecking...)
<mfp> typechecking of commented code
<mfp> i.e. it's meant to be close to some other code
onigiri_ has joined #ocaml
<mfp> not moved to a distance of +infty in a separate file :)
<sgnb> mfp: indead the body is not evaluated in the kaustuv's version
th5 has quit [Read error: Connection reset by peer]
<kaustuv> mfp: can you change the /topic because the OCaml meeting is now in the past?
<mfp> kaustuv: tried to, but couldn't (as I'm not a channel operator)
th5 has joined #ocaml
<kaustuv> Hmm...
<mfp> the /topic used to be open
onigiri_ has quit [Quit: onigiri_]
<hcarty> kaustuv: Set "OCAML_SVN_CHECKOUT = yes" in godi.conf to use the SVN version of OCaml (if you haven't found the answer elsewhere yet)
javax has left #ocaml []
<hcarty> As alpounet mentioned, there was a message on the GODI mailing list about this a little while ago. This is the relevant message: https://godirepo.camlcity.org/pipermail/godi-list/2010-April/002945.html
<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]
virtuoussin13 has joined #ocaml
virtuoussin13 has left #ocaml []
avsm has quit [Quit: Leaving.]