gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Mark_ has quit [Quit: Page closed]
Progster has quit [Ping timeout: 260 seconds]
gnuvince has quit [Ping timeout: 245 seconds]
ulfdoz_ has joined #ocaml
iago has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 272 seconds]
ulfdoz_ is now known as ulfdoz
emmanuelux has joined #ocaml
cacho has quit [Read error: Connection reset by peer]
ankit9 has joined #ocaml
cacho has joined #ocaml
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
emmanuelux has quit [Ping timeout: 265 seconds]
Tobu has quit [Quit: No Ping reply in 180 seconds.]
Tobu has joined #ocaml
gnuvince has joined #ocaml
<cacho> rgrinberg: yes, it does
avsm has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
jamii has joined #ocaml
jamii has quit [Ping timeout: 245 seconds]
bddn has joined #ocaml
noj_ has quit [Quit: leaving]
noj has joined #ocaml
ankit9 has quit [Ping timeout: 244 seconds]
ankit9 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Yoric has joined #ocaml
Progster has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
ankit9 has quit [Quit: Leaving]
pango is now known as pangoafk
Yoric has quit [Ping timeout: 240 seconds]
Fnar has quit [Ping timeout: 252 seconds]
ftrvxmtrx has joined #ocaml
Progster has quit [Ping timeout: 240 seconds]
ankit9 has joined #ocaml
Yoric has joined #ocaml
djcoin has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
Yoric1 has joined #ocaml
sgnb has quit [Ping timeout: 246 seconds]
Yoric has quit [Ping timeout: 246 seconds]
Yoric1 has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
sgnb has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
Cyanure has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 252 seconds]
dwmw2_gone has quit [Ping timeout: 244 seconds]
Yoric has quit [Ping timeout: 246 seconds]
dwmw2_gone has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
ankit9 has quit [Ping timeout: 244 seconds]
_andre has joined #ocaml
ankit9 has joined #ocaml
dwmw2_gone is now known as dwmw2
Yoric has joined #ocaml
sepp2k1 has quit [Quit: Leaving.]
wtetzner has quit [Remote host closed the connection]
dwmw2 has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 252 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone is now known as dwmw2
Yoric has quit [Ping timeout: 248 seconds]
gnuvince has quit [Ping timeout: 276 seconds]
dwmw2 has quit [Ping timeout: 260 seconds]
samposm has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
samposm has joined #ocaml
emmanuelux has joined #ocaml
rgrinberg has joined #ocaml
gnuvince has joined #ocaml
Progster has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
<adrien> configure: WARNING: Your ocaml version is 3.12.1, but the latest version this program is known to work with is 3.08. If you have
<adrien> let's have some fun with saffire :P
smondet has joined #ocaml
osa1 has joined #ocaml
Trixboxer has joined #ocaml
<adrien> great, missing module...
<Trixboxer> Hi, Im writing a function in OCaml and need help in Cli_printer
<gnuvince> If I have a module like: module X = struct type t = int end, how can I create an X.t? I tried let z = (3 : X.t), but to no avail.
eudicot has left #ocaml []
<Ptival> gnuvince: works here
<Ptival> # module X = struct type t = int end;;
<Ptival> module X : sig type t = int end
<Ptival> # let z = (3 : X.t);;
<Ptival> val z : X.t = 3
<Ptival> what error do you get?
<gnuvince> Hmmm
<gnuvince> I didn't make this example correctly then.
<gnuvince> let x = (3 : Integer.t);;
<gnuvince> Characters 9-10:
<gnuvince> let x = (3 : Integer.t);;
<gnuvince> ^
<gnuvince> Error: This expression has type int but an expression was expected of type
<gnuvince> Integer.t
<gnuvince> Ah
<gnuvince> here's the failing example:
paolooo has joined #ocaml
<gnuvince> module X : sig type t end = struct type t = int end;;
<Qrntz> gnuvince, this is because your Integer.t is abstracted
<Qrntz> if you want to unify it with the built-in «int» type, you should mention it in the signature
<Qrntz> e. g. «module X : sig type t = int end = struct type t = int end»
eikke has joined #ocaml
<gnuvince> Hmmm, I wouldn't want to do that
<gnuvince> I'll pastebin my example
<gnuvince> hang on
<gnuvince> As it is, I couldn't create an Integer.t, could I?
eudicot has joined #ocaml
<Ptival> no, you cannot
<Ptival> only the inside of Integer knows what t is, because the signature Number abstracts it away
<Ptival> you could add "val fromInt : int -> t" in Number
<Ptival> and then you could create an Integer.t via (Integer.fromInt 42)
<Ptival> (maybe from_int is more OCamly)
<flux> of_int actually
<Ptival> (or of_int...)
<Ptival> :)
<gnuvince> Thanks a bunch guys!
<Ptival> it's only "a" solution
osa1 has quit [Quit: Konversation terminated!]
thomasga has joined #ocaml
mk270 has quit [Ping timeout: 244 seconds]
mk270 has joined #ocaml
flx_ has joined #ocaml
flux has quit [Remote host closed the connection]
flx_ is now known as Guest45077
Guest45077 is now known as flux
Cyanure has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: Leaving]
eni has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago has quit [Ping timeout: 272 seconds]
cdidd has quit [Ping timeout: 260 seconds]
braibant has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
beckerb has quit [Ping timeout: 245 seconds]
lusory has quit [Ping timeout: 244 seconds]
emmanuelux has quit [Ping timeout: 276 seconds]
eni has quit [Remote host closed the connection]
Progster has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 244 seconds]
joewilliams has joined #ocaml
Progster has joined #ocaml
avsm1 has quit [Quit: Leaving.]
djcoin has quit [Quit: WeeChat 0.3.2]
pangoafk is now known as pango
avsm has joined #ocaml
avsm has quit [Client Quit]
madroach has quit [Quit: leaving]
madroach has joined #ocaml
ftrvxmtrx has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
eni has joined #ocaml
hongboz has joined #ocaml
avsm has joined #ocaml
avsm1 has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
avsm has quit [Ping timeout: 244 seconds]
emmanuelux has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
ankit9 has quit [Ping timeout: 268 seconds]
sgnb has joined #ocaml
avsm has joined #ocaml
avsm1 has quit [Read error: Connection reset by peer]
sgnb has quit [Read error: Connection reset by peer]
ankit9 has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]
jcao219 has joined #ocaml
hongboz has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
emmanuelux has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
Progster has quit [Ping timeout: 272 seconds]
Cyanure has joined #ocaml
metadave has joined #ocaml
eni has quit [Ping timeout: 252 seconds]
eni has joined #ocaml
dsheets has quit [Quit: Leaving.]
dsheets has joined #ocaml
eni has quit [Ping timeout: 265 seconds]
null- has joined #ocaml
paolooo has joined #ocaml
avsm has quit [Quit: Leaving.]
Progster has joined #ocaml
<testcocoon> I have a question about forward declaration of type/class: how can I handle recursive type/classes? (http://pastebin.com/dykCTbs5)
<thelema> testcocoon: no forward declaration
<jonafan> i would make an interface and use that in the type t declaration
<thelema> and no way to simultaneously define a type and a class using 'and' (AFAIK)
thomasga has quit [Quit: Leaving.]
<testcocoon> thelema: I was trying the 'and', but I will have a try with the interface, that sounds good
sgnb has joined #ocaml
<thelema> with the interface, do be careful; ocaml's typing of objects/classes is quite picky.
null- has left #ocaml []
paolooo has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
<flux> too bad 'and' doesn't work between classes and types
<flux> well, that's been my personal problem sometimes, cannot load the pastebin for some reason so can't tell if it applies, but probably not :)
<thelema> the pastebin is a trivial type and class that are mutually dependent
<thelema> class is parameterized by a value of the type
<thelema> and the type has a variant holding a value of the class
sepp2k has joined #ocaml
<jonafan> i guess class ['a] c tt = object val ttt = tt end might be nicer than an interface
<jonafan> then you can do type t = V of t c
avsm has joined #ocaml
_andre has quit [Quit: leaving]
<_habnabit> let rec n_cartesian_product = function [] -> assert false
<_habnabit> :(
<hnrgrgr> testcocoon: there is a trick with recursive module: http://pastebin.com/1Ghfn2Nd
<thelema> _habnabit: ?
<_habnabit> 'assert false' is terrible
<_habnabit> why isn't it invalid_arg "n_cartesian_product" ?
<thelema> _habnabit: ah. quite true.
<thelema> _habnabit: send pull request
<_habnabit> haha, okay
<thelema> _habnabit: my apologies for your torment tracking that down.
<testcocoon> hnrgrgr: nice trick!
<hnrgrgr> testcocoon: not from me :)
Reventlov has quit [Quit: leaving]
Reventlov has joined #ocaml
eikke has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
tane has quit [Quit: Verlassend]
gnuvince has quit [Ping timeout: 240 seconds]
_key_ has joined #ocaml
<_key_> hi, i have the following problem: on a linux machine, i am compiling ocaml 3.12.1 and i am installing it locally to ~/local. everything seems fine, but ocamlfind query camlp4 gives me: ocamlfind: Package `camlp4' not found
<_key_> i can't install batteries because of that
Progster has quit [Ping timeout: 240 seconds]
gnuvince has joined #ocaml
ankit9 has quit [Ping timeout: 276 seconds]
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
wtetzner has joined #ocaml
ankit9 has joined #ocaml
Cyanure has quit [Remote host closed the connection]
cdidd has joined #ocaml
_key_ has quit [Quit: _key_]
err404 has joined #ocaml
Progster has joined #ocaml
mattrepl has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
emmanuelux has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Trixboxer has quit [Quit: "Achievement is not the end, its the beginning of new journey !!!"]