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
lamawithonel__ has joined #ocaml
<_habnabit> http://paste.pound-python.org/show/12199/ <- is there a simpler way to write this kind of thing?
<_habnabit> I've had a few times where I wanted to accept {{A,B},{A,B}}, but had to write out all the pairs.
lamawithonel_ has quit [Ping timeout: 276 seconds]
lamawithonel has joined #ocaml
lamawithonel__ has quit [Ping timeout: 245 seconds]
sebz has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
sebz has quit [Quit: Computer has gone to sleep.]
lopex has quit []
lamawithonel_ has quit [Remote host closed the connection]
lamawithonel_ has joined #ocaml
metasyntax has quit [Quit: WeeChat [quit]]
joewilliams_away is now known as joewilliams
lamawithonel_ has quit [Remote host closed the connection]
lamawithonel_ has joined #ocaml
joewilliams is now known as joewilliams_away
lamawithonel_ has quit [Remote host closed the connection]
lamawithonel_ has joined #ocaml
sebz has joined #ocaml
bitbckt has quit [Quit: out]
bitbckt has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
mdelaney has quit [Ping timeout: 260 seconds]
Modius has quit [Read error: Connection reset by peer]
<hcarty> adrien: I haven't done anything with it beyond test it with my own code, where it seems to work. If you get a chance a bug report on the forge would probably be best.
lamawithonel__ has joined #ocaml
arubin has quit [Quit: arubin]
sebz has quit [Quit: Computer has gone to sleep.]
lamawithonel_ has quit [Ping timeout: 245 seconds]
lamawithonel__ has quit [Remote host closed the connection]
lamawithonel__ has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel__ has quit [Ping timeout: 245 seconds]
mdelaney has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
dsheets has quit [Quit: Leaving.]
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
joewilliams_away is now known as joewilliams
sebz has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 245 seconds]
lamawithonel_ has quit [Ping timeout: 245 seconds]
mdelaney has quit [Quit: mdelaney]
Rakko has joined #ocaml
joewilliams is now known as joewilliams_away
mdelaney has joined #ocaml
lamawithonel_ has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
ulfdoz has joined #ocaml
sebz has joined #ocaml
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Remote host closed the connection]
<flux> _habnabit, I don't think there is
<flux> _habnabit, in other but similar situations the or-pattern can be useful
<adrien> hcarty: ok, going to do so but didn't want to duplicate things in case you had already done it
<adrien> morning =)
<flux> good morning!
sebz has quit [Quit: Computer has gone to sleep.]
lamawithonel has joined #ocaml
junsuijin has quit [Quit: Leaving.]
lamawithonel__ has quit [Ping timeout: 240 seconds]
Rakko has quit [Quit: Leaving]
lamawithonel_ has joined #ocaml
sebz has joined #ocaml
lamawithonel has quit [Ping timeout: 245 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 245 seconds]
sebz has joined #ocaml
lamawithonel has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
lamawithonel__ has quit [Ping timeout: 245 seconds]
Cyanure has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
lamawithonel has quit [Ping timeout: 245 seconds]
Cyanure has quit [Remote host closed the connection]
sebz has joined #ocaml
edwin has joined #ocaml
ankit9 has quit [Quit: Leaving]
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
ankit9 has joined #ocaml
<adrien> I'm using a record to store functions and I write { fun1; fun2; fun3 }; but ocaml parses that as if it were { (fun1; fun2; fun3) }; does anyone know the reason? it's working as I want on another line of code which is pretty much copy-paste
ikaros has joined #ocaml
<flux> that's pretty interesting
<flux> adrien, are you sure you have recent enough ocaml?
<flux> I think the { a; b } constructor thingy came in 3.12
foocraft has quit [Read error: Connection reset by peer]
foocraft has joined #ocaml
<flux> this works in ocaml 3.12.0: type t = { fun1 : int -> int; fun2 : int -> int } let fun1 _ = 0 let fun2 = fun1 let _ = { fun1; fun2 }
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
avsm has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
sebz has joined #ocaml
surikator has joined #ocaml
larhat has joined #ocaml
lopex has joined #ocaml
as has quit [Ping timeout: 258 seconds]
<adrien> flux: recent enough: 3.12.1+dev0
<adrien> and if I write { foo1 = (fun () -> foo1 ()); foo2; foo3 }, I "solve" the type error I was getting for foo1, but then it tells me the fields foo2 and foo3 aren't provided
<flux> adrien, with/without camlp4? mine was with (..I think..)
<adrien> without camlp4, it's windows :P
<adrien> "fixed" it and there might have been an actual type error: "foo2" should have been "foo2 = foo2 ()" but ocamlopt was reporting an error at the beginning of "foo1" =/
sebz has quit [Quit: Computer has gone to sleep.]
robthebob has joined #ocaml
_andre has joined #ocaml
ttamttam has joined #ocaml
lamawithonel has joined #ocaml
as has joined #ocaml
avsm1 has quit [Quit: Leaving.]
avsm has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 245 seconds]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 245 seconds]
lamawithonel__ has quit [Remote host closed the connection]
lamawithonel__ has joined #ocaml
surikator_ has joined #ocaml
surikator has quit [Read error: Connection reset by peer]
surikator_ is now known as surikator
mdelaney_ has joined #ocaml
mdelaney has quit [Read error: Connection reset by peer]
mdelaney_ is now known as mdelaney
lamawithonel has joined #ocaml
lamawithonel__ has quit [Ping timeout: 245 seconds]
mdelaney has quit [Read error: Connection reset by peer]
mdelaney has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 245 seconds]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 245 seconds]
ttamttam has quit [Remote host closed the connection]
lamawithonel__ has quit [Remote host closed the connection]
ttamttam has joined #ocaml
lamawithonel__ has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel__ has quit [Ping timeout: 245 seconds]
fraggle_ has quit [Remote host closed the connection]
lamawithonel_ has joined #ocaml
fraggle_ has joined #ocaml
lamawithonel has quit [Ping timeout: 258 seconds]
surikator has quit [Quit: Computer is sleeping. I'm probably not.]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Remote host closed the connection]
fabjan has quit [*.net *.split]
Qrntzz has quit [*.net *.split]
jonathandav has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
mehdid has quit [*.net *.split]
diml has quit [*.net *.split]
foocraft has quit [*.net *.split]
asmanur has quit [*.net *.split]
zzz_ has quit [*.net *.split]
rwmjones has quit [*.net *.split]
bitbckt has quit [*.net *.split]
_habnabit has quit [*.net *.split]
explodus has quit [*.net *.split]
emias has quit [*.net *.split]
mehdid has joined #ocaml
foocraft has joined #ocaml
Qrntzz has joined #ocaml
emias has joined #ocaml
mcclurmc has joined #ocaml
jonathandav has joined #ocaml
diml has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
zzz_ has joined #ocaml
lamawithonel has joined #ocaml
asmanur has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
lamawithonel__ has quit [Ping timeout: 245 seconds]
fabjan has joined #ocaml
lopex has joined #ocaml
agarwal1975 has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
explodus has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Kakadu has quit [Quit: Page closed]
lamawithonel has quit [Ping timeout: 245 seconds]
ankit9 has quit [Quit: Leaving]
jaar has quit [Quit: Quitte]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 276 seconds]
surikator has joined #ocaml
ftrvxmtrx has joined #ocaml
waern has quit [Quit: leaving]
joewilliams_away is now known as joewilliams
emias has quit [Quit: Changing server]
emias_ has joined #ocaml
emias_ is now known as emias
rby has quit [Quit: Lost terminal]
ankit9 has joined #ocaml
lopex has quit []
wishi has quit [Excess Flood]
wishi has joined #ocaml
wagle has quit [Excess Flood]
wishi has quit [Excess Flood]
wishi has joined #ocaml
wishi has quit [Excess Flood]
wishi has joined #ocaml
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
kurtosis_ has joined #ocaml
dcolish` has joined #ocaml
bitbckt_ has joined #ocaml
ankit9 has quit [*.net *.split]
bitbckt has quit [*.net *.split]
diml has quit [*.net *.split]
avsm has quit [*.net *.split]
Amorphous has quit [*.net *.split]
f[x] has quit [*.net *.split]
dcolish has quit [*.net *.split]
caligula has quit [*.net *.split]
kurtosis has quit [*.net *.split]
schmx has quit [*.net *.split]
noj has quit [*.net *.split]
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
joewilliams is now known as joewilliams_away
wishi has quit [Excess Flood]
wishi has joined #ocaml
dcolish` is now known as dcolish
wishi has quit [Excess Flood]
wishi has joined #ocaml
junsuijin has joined #ocaml
joewilliams_away is now known as joewilliams
wishi has quit [Excess Flood]
wishi has joined #ocaml
avsm has joined #ocaml
wagle has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
caligula has joined #ocaml
f[x] has joined #ocaml
ankit9 has joined #ocaml
diml has joined #ocaml
Amorphous has joined #ocaml
wishi has quit [Read error: Connection reset by peer]
wagle has quit [Read error: Connection reset by peer]
avsm has quit [Client Quit]
<hcarty> adrien: There were a number of camlp4 changes wrt the new 3.12 syntax over the course of 3.12.1's development. It could be a bug which was fixed between your snapshot and 3.12.1final
noj has joined #ocaml
<adrien> I think I actually have something between 3.12.1 and 3.12.2
<adrien> it's not a huge bug so it might have been missed easily if there's really something to fix
lopex has joined #ocaml
mdelaney has quit [Quit: mdelaney]
<hcarty> adrien: Ah, I misunderstood the version number.
<hcarty> There have been a large number of smaller camlp4 and ocamlbuild bug fixes over the past few months.
<hcarty> It's nice to see these somewhat secondary tools getting attention.
<adrien> yes, definitely, and I would have died without some recent changes
<adrien> also, the last job proposal on the caml-list (related to ocamlpro) sounds really good
<hcarty> adrien: Agreed
<hcarty> Maybe they will pick up something like ocamleditor or OcaIDE and add polish
<hcarty> I'd love to figure out camlp4's internals well enough to make a perltidy-like tool for OCaml
Reaganomicon has quit [Read error: No route to host]
<edwin> hi, how do I pass -lwt-debug in _tags file?
<edwin> (its a -ppopt)
<thelema> edwin: you'll have to create a tag to do that by using myocamlbuild.ml
<thelema> let pa_llist = "src/syntax/pa_llist/pa_llist.cmo"
<thelema> flag ["ocaml"; "ocamldep"; "with_pa_llist"] & S[A"-ppopt"; P pa_llist];
<edwin> ty
mdelaney has joined #ocaml
ftrvxmtrx has joined #ocaml
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
surikator has quit [Ping timeout: 260 seconds]
BiDOrD has quit [Read error: Connection reset by peer]
ttamttam has left #ocaml []
jamii has joined #ocaml
Reaganomicon has joined #ocaml
ulfdoz has joined #ocaml
larhat has quit [Quit: Leaving.]
chambart has quit [Quit: WeeChat 0.3.2]
Anarchos has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Client Quit]
ulfdoz_ has joined #ocaml
mdelaney has quit [Quit: mdelaney]
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz_ is now known as ulfdoz
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
mdelaney has joined #ocaml
mbac has joined #ocaml
<_habnabit> flux, is 'the or pattern' something other than `match x with y | z -> ...` ?
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
<flux> _habnabit, match x with (Y, (Z x| H x) as z) -> ..
<_habnabit> flux, oh, you can do that?
<flux> sure
* _habnabit tries.
<Anarchos> flux i never saw it used though
<flux> I've used it
<flux> | `None, `None, ((false, true) | (true, false)) -> `Corrupted2 (* error in unknown place *)
<flux> a month ago or so :)
<Anarchos> flux congrats :)
<flux> it's quite nice when you need it :)
<_habnabit> oh, wow, I think that would help here a lot.
<flux> actually I didn't think of (at the time) the ability to bind variables in the or pattern as well, I guess that can be of great help here
<adrien> gah, stupid
<adrien> mistake for which there could be a better message: f ~step=0.03 ()
<flux> :)
ftrvxmtrx has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
dnolen has joined #ocaml
<hcarty> Oh cool... utop supports completion on labeled function arguments.
Reaganomicon has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 260 seconds]
deavid has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
deavid has joined #ocaml
wishi has joined #ocaml
oriba has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
chambart has joined #ocaml
<bitbckt> I'm a little slow today: could someone explain this error to me? https://gist.github.com/700520384f6dfc4d5404
<_habnabit> bitbckt, you probably meant `type t = I.t`
<_habnabit> er.
<_habnabit> no, it's line 11. `type 'a map = 'a I.t`
<_habnabit> or `type map = int I.t` and then `val add: t -> int -> map -> map`
lpereira has joined #ocaml
wagle has joined #ocaml
Reaganomicon has joined #ocaml
<bitbckt> _habnabit: yes, that would work. I'd like to leave the type variable there, though.
<bitbckt> this is a simplified example.
<bitbckt> preferably, the Test.map and I.t constructors would unify.
<_habnabit> a simplified example of what?
<bitbckt> of this "problem" - I have two types built like that in a larger system which won't unify.
<bitbckt> so, is there a technique _other_ than removing the type variable in the interface for making that sort of thing work?
ulfdoz has quit [Ping timeout: 258 seconds]
<_habnabit> ahh. that's what I suspected. one sec.
<_habnabit> this compiles.
<bitbckt> hmm. yeah, that's a possibility. I'll give that a go.
<bitbckt> I think that'll work. Thanks.
technomancy has joined #ocaml
sebz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
dnolen has quit [Quit: dnolen]
edwin has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
lpereira has quit [Quit: Leaving.]
jamii has joined #ocaml
dsheets has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
jamii has quit [Read error: No route to host]
sebz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
wishi has quit [Read error: Connection reset by peer]
wagle has quit [Read error: Connection reset by peer]
Amorphous has quit [Read error: Connection reset by peer]
Kevin__ has joined #ocaml
wagle has joined #ocaml
wagle has quit [Ping timeout: 260 seconds]
Obfuscate has quit [Ping timeout: 252 seconds]
Amorphous has joined #ocaml
Kevin__ has quit [Remote host closed the connection]
wagle has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
agarwal1975 has quit [Quit: agarwal1975]
lamawithonel has joined #ocaml
surikator has joined #ocaml
mdelaney has quit [Ping timeout: 260 seconds]
sebz has joined #ocaml
mdelaney has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
mdelaney has quit [Ping timeout: 260 seconds]
surikator has quit [Read error: Connection reset by peer]
surikator has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel_ has quit [Read error: Connection reset by peer]
lamawithonel has quit [Ping timeout: 276 seconds]
lamawithonel has joined #ocaml
everyonemines has joined #ocaml
Kevin_ has joined #ocaml
dnolen has joined #ocaml
Kevin_ has quit [Remote host closed the connection]
Kevin_ has joined #ocaml