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
domiel has quit [Quit: Ex-Chat]
maattd has joined #ocaml
Alpounet has joined #ocaml
munga has quit [Ping timeout: 276 seconds]
tmaedaZ is now known as tmaeda
fraggle_ has joined #ocaml
valross has joined #ocaml
det has joined #ocaml
alp has joined #ocaml
Alpounet has quit [Disconnected by services]
Alpounet has joined #ocaml
alp has quit [Read error: No route to host]
quidnunc has joined #ocaml
<quidnunc> Can anyone who does packaging for Debian tell me how to set the OCAML_ABI in rules?
<quidnunc> Or rather, tell me how it is calculated.
<quidnunc> ?
<mrvn> I think you don't anymore.
<mrvn> In squeeze ocaml seems to be compiled for /usr/lib/ocaml without version.
<quidnunc> How is OCamlABI set?
<quidnunc> mrvn: I would expect that only packages that have ocaml as a dependency would require ABI version information
<quidnunc> The why package is what I am looking at in particular.
<mrvn> look at dh_ocaml
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
<mrvn> and check on #debian-ocaml on irc.debian.org
<quidnunc> mrvn: Thanks
fraggle_ has quit [Quit: -ENOBRAIN]
ztfw has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ztfw has joined #ocaml
threeve has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Alpounet has quit [Quit: ``Do what you think you can't do.'']
Alpounet has joined #ocaml
Associat0r has joined #ocaml
quidnunc has quit [Remote host closed the connection]
ztfw has quit [Remote host closed the connection]
jeddhaberstro has joined #ocaml
maskd has quit [Quit: leaving]
hkarim has quit [Quit: Leaving]
joewilliams is now known as joewilliams_away
Associat0r has quit [Quit: Associat0r]
threeve has quit [Quit: threeve]
threeve has joined #ocaml
enthymene has joined #ocaml
thrasibule has joined #ocaml
thrasibule_ has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
thrasibule has quit [Ping timeout: 265 seconds]
Drk-Sd has quit [Quit: dodo]
schme has quit [Ping timeout: 245 seconds]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
Mr_Awesome has quit [Ping timeout: 265 seconds]
AndChat- has joined #ocaml
valross has quit [Ping timeout: 252 seconds]
AndChat- has quit [Client Quit]
Mr_Awesome has joined #ocaml
seafood has quit [Quit: seafood]
Associat0r has joined #ocaml
valross has joined #ocaml
seafood has joined #ocaml
maattd has quit [Quit: maattd]
joewilliams_away is now known as joewilliams
ulfdoz has joined #ocaml
joewilliams is now known as joewilliams_away
derdon has joined #ocaml
derdon has quit [Quit: derdon]
bzzbzz has quit [Ping timeout: 260 seconds]
threeve has quit [Quit: threeve]
ttamttam has joined #ocaml
Submarine has joined #ocaml
ttamttam has quit [Quit: Leaving.]
valross has quit [Quit: Ex-Chat]
avsm1 has joined #ocaml
seafood has quit [Quit: seafood]
ulfdoz has quit [Ping timeout: 264 seconds]
seafood has joined #ocaml
avsm1 has quit [Quit: Leaving.]
munga has joined #ocaml
ttamttam has joined #ocaml
demitar has quit [Ping timeout: 276 seconds]
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
<sfuentes> anyone know if i can print the type of a function in ocaml toplevel?
<sfuentes> or how that is
demitar has joined #ocaml
<flux> yes
<flux> for example: print_endline;;
yakov has joined #ocaml
<yakov> hello
<sfuentes> flux: thank you. i'm still learning ocaml so you'll have to excuse me.
Submarine has quit [Ping timeout: 276 seconds]
_zack has joined #ocaml
rwmjones has joined #ocaml
enthymene has joined #ocaml
ikaros has joined #ocaml
Submarine has joined #ocaml
Yoric has joined #ocaml
seafood has quit [Quit: seafood]
mehdid has quit [Ping timeout: 252 seconds]
naufraghi has joined #ocaml
mehdid has joined #ocaml
naufraghi_ has joined #ocaml
naufraghi has quit [Ping timeout: 240 seconds]
naufraghi_ is now known as naufraghi
Submarine has quit [Ping timeout: 258 seconds]
Yoric has quit [Read error: Connection timed out]
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
avsm has joined #ocaml
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
domiel has joined #ocaml
maskd has joined #ocaml
domiel is now known as Shoggoth
ikaros has quit [Remote host closed the connection]
rwmjones_ has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
domiel has joined #ocaml
domiel has quit [Remote host closed the connection]
domiel has joined #ocaml
domiel has quit [Quit: Ex-Chat]
ztfw has joined #ocaml
Shoggoth has joined #ocaml
Shoggoth has quit [Client Quit]
Shoggoth has joined #ocaml
Shoggoth has quit [Read error: Connection reset by peer]
Shoggoth has joined #ocaml
Shoggoth is now known as facepalm
facepalm is now known as Shoggoth
pimmhogeling has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ztfw has quit [Remote host closed the connection]
Submarine has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
mehdid has quit [Ping timeout: 268 seconds]
_andre has joined #ocaml
Alpounet has quit [Quit: ``Do what you think you can't do.'']
mehdid has joined #ocaml
Alpounet has joined #ocaml
boscop has joined #ocaml
ttamttam has joined #ocaml
_unK has joined #ocaml
mehdid has quit [Ping timeout: 264 seconds]
mehdid has joined #ocaml
Drk-Sd has joined #ocaml
rwmjones_ has quit [Ping timeout: 276 seconds]
ttamttam has quit [Quit: Leaving.]
rwmjones_ has joined #ocaml
seafood has joined #ocaml
ASpiwack has joined #ocaml
thrasibule_ has quit [Ping timeout: 276 seconds]
ttamttam has joined #ocaml
threeve has joined #ocaml
jcaose has joined #ocaml
munga has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
seafood has quit [Ping timeout: 264 seconds]
yakov has quit [Quit: Leaving]
pimmhogeling has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
srcerer has quit [Ping timeout: 245 seconds]
bzzbzz has joined #ocaml
ztfw has joined #ocaml
ulfdoz has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ has joined #ocaml
pimmhogeling has joined #ocaml
Alpounet has quit [Quit: ``Do what you think you can't do.'']
Drk-Sd has quit [Ping timeout: 256 seconds]
Drk-Sd has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
fraggle_ has joined #ocaml
mehdid has quit [Ping timeout: 258 seconds]
Shoggoth has quit [Quit: Ex-Chat]
Alpounet has joined #ocaml
mehdid has joined #ocaml
joewilliams_away is now known as joewilliams
Submarine has quit [Quit: Leaving]
joewilliams is now known as joewilliams_away
jao has joined #ocaml
<sfuentes> is it possible to have an if then else expression that returns an int but also prints the int in the then clause as well?
rjones__ has joined #ocaml
<sfuentes> something like let x = if foo < 32 then print_int foo; foo + 1 else 0;;
<Camarade_Tux> then let () = print_int foo in foo + 1 else 0
<Camarade_Tux> should do it
<_andre> or then print_int foo; foo + 1
<_andre> erm
<_andre> or then (print_int foo; foo + 1)
<_andre> or then begin print_int foo; foo + 1 end
rwmjones_ has quit [Ping timeout: 240 seconds]
Alpounet has quit [Read error: No route to host]
<sfuentes> thank you very much, gentlemen.
<fraggle_> is someone here have already used bitstring to generate networks packets ?
<fraggle_> (just asking before coding)
tmaeda is now known as tmaedaZ
mehdid has quit [Ping timeout: 258 seconds]
mehdid has joined #ocaml
<Camarade_Tux> let's make a cross-compiler to windows :-)
jeddhaberstro has joined #ocaml
yakischloba has quit [Quit: Leaving.]
joewilliams_away is now known as joewilliams
rjones__ has quit [Quit: Leaving]
f[x] has quit [Read error: Operation timed out]
ztfw has quit [Remote host closed the connection]
yakischloba has joined #ocaml
_zack has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
pimmhogeling has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ASpiwack has quit [Remote host closed the connection]
Yoric has joined #ocaml
seanmcl has joined #ocaml
derdon has joined #ocaml
Yoric has quit [Quit: Yoric]
seanmcl has quit [Quit: seanmcl]
ztfw has joined #ocaml
Yoric has joined #ocaml
avsm has joined #ocaml
BigJ has quit [Remote host closed the connection]
<mrvn> Can I define a (phantom) type in two modules so that they are the same?
<mrvn> Without creating a dependency from one module to the other
<thelema> type 'a foo = 'a Bar.foo?
<thelema> hmmm
<thelema> type 'a foo = [ `Foo | `Bar ]
<thelema> same in other module
<mrvn> I have Bigarrays that are aligned and want to encode that in the type.
<mrvn> thelema: Then 'Foo would work in both modules but for function signatures one would have 'a Foo.foo and the other 'a Bar.foo.
<mrvn> `Foo even
<thelema> ah, I see the problem. No, such a request is non-sensical, I think.
<flux> I think it feels quite natural to me that in order to have one type, it is defined once, in one module, and the rest just point to that..
<thelema> just have one types module that both depend on.
<mrvn> I'm trying to avoid the dependency between libaio and libfuse. The only thing that connects the two is the buffer type.
<flux> well, have a module LibAioLibFuseModuleType with type t?
<mrvn> I guess I could declare the buffer a plain Bigarray and throw an exception at runtime if it is misaligned.
<mrvn> flux: seems like an awfull lot of work to package that for just one type.
bzzbzz has quit [Quit: leaving]
<flux> well, if you'd be doing it instead of wondering how to work around it, you'd already be done with it ;-)
_andre has quit [Quit: leaving]
<mrvn> flux: The cost is in maintaining it
<flux> isn't it just an organizational issue?
<flux> the code needs to exist, it's a matter of picking where to put it?
<mrvn> Updating it every time the Debian packaging changes and recompiling on every ocaml transition
<flux> yes.. every time debian packaging changes..
<flux> you need to compile the other modules anyway, it should be the same one command that does all the work
<mrvn> adds another compile, install loop
<flux> dpkg-buildpackage -uc -us -> builds everything, no? make the machine work for you :)
<mrvn> flux: dch -i, git commit, git push, debuild, dpkg
BigJ has joined #ocaml
<mrvn> It is too bad the stdlib doesn't already have phantom types. If there were a [`ReadWrite] Bigarray.Array1.t then I could add a `Aligned phantom type.
mutew has joined #ocaml
<flux> you could have that change in batteries :)
<flux> ..I guess..
<flux> ro-mappings could be useful
<thelema> if you implemented Read-only bigarrays, we'd put it in.
jcaose has quit [Ping timeout: 245 seconds]
bzzbzz has joined #ocaml
<mrvn> Like this.
<mrvn> or not. *grr* N.print (X.make "foo");; works too.
<mrvn> thelema: Does anything else in batteries use phantom types?
Yoric has quit [Quit: Yoric]
ztfw has quit [Remote host closed the connection]
mutew has quit [Ping timeout: 256 seconds]
somnium has joined #ocaml
Yoric has joined #ocaml
<thelema> mrvn: yes, the read-only strings
naufraghi has quit [Quit: naufraghi]
Yoric has quit [Quit: Yoric]
Mr_Awesome has quit [Ping timeout: 265 seconds]
_unK has quit [Ping timeout: 240 seconds]
_unK has joined #ocaml
Submarine has joined #ocaml
seafood has joined #ocaml
Yoric has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
pimmhogeling has quit [Ping timeout: 245 seconds]
enthymene has joined #ocaml
_zack has joined #ocaml
Yoric has quit [Quit: Yoric]
seafood has quit [Quit: seafood]
threeve has quit [Quit: threeve]
WuJiang` has joined #ocaml
seafood has joined #ocaml
yziquel has joined #ocaml
<yziquel> type 'a t = private obj and obj = { typed : 'a. 'a t; }
<yziquel> does that implement efficiently a type inference barrier?
<yziquel> i mean, is the record exactly the same structure as its field (given that there's only one field)?
pimmhogeling has joined #ocaml
_zack has quit [Quit: Leaving.]
<yziquel> hmm... no. doesn't work. there's an indirection between the record and the underlying value. No way to implement existential types without this indirection?
Yoric has joined #ocaml
maskd has quit [Read error: Connection reset by peer]
maskd has joined #ocaml
tmaedaZ is now known as tmaeda
boscop has quit [Read error: Connection reset by peer]
tmaeda is now known as tmaedaZ
Submarine has quit [Ping timeout: 276 seconds]
boscop has joined #ocaml
tmaedaZ is now known as tmaeda
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
tmaeda is now known as tmaedaZ
pimmhogeling has quit [Ping timeout: 265 seconds]
Amorphous has quit [Ping timeout: 258 seconds]
seafood has quit [Quit: seafood]
mutew has joined #ocaml
derdon has quit [Quit: derdon]
marteo has joined #ocaml
Yoric has quit [Quit: Yoric]
ulfdoz has quit [Ping timeout: 248 seconds]
demitar has quit [Ping timeout: 276 seconds]
demitar has joined #ocaml
Amorphous has joined #ocaml
yziquel has quit [Ping timeout: 252 seconds]