adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
tnguyen has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
hhugo1 has quit [Quit: Leaving.]
oscar_toro has quit [Ping timeout: 260 seconds]
tnguyen has joined #ocaml
manud has joined #ocaml
struktured has quit [Ping timeout: 244 seconds]
hausdorff has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
struktured has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
ygrek has quit [Ping timeout: 244 seconds]
BitPuffin has joined #ocaml
rand000 has quit [Quit: leaving]
tnguyen has quit [Ping timeout: 244 seconds]
hausdorff has quit [Remote host closed the connection]
taion809 has joined #ocaml
manud has quit [Quit: manud]
tinaj1234_ has quit [Quit: Connection closed for inactivity]
manud has joined #ocaml
Submarine has joined #ocaml
olasd has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
manud has quit [Quit: manud]
darkf has joined #ocaml
serge has quit [Ping timeout: 255 seconds]
taion809 has quit [Remote host closed the connection]
manud has joined #ocaml
tnguyen has joined #ocaml
olasd has joined #ocaml
taion809 has joined #ocaml
bytbox has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
BitPuffin has quit [Ping timeout: 260 seconds]
manud has quit [Quit: manud]
huza has joined #ocaml
thmslld has quit [Ping timeout: 255 seconds]
tnguyen1 has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
thmslld has joined #ocaml
manud has joined #ocaml
thmslld has quit [Ping timeout: 258 seconds]
marynate has joined #ocaml
tnguyen1 has quit [Ping timeout: 255 seconds]
tnguyen has joined #ocaml
samrat has joined #ocaml
serge has joined #ocaml
tnguyen has quit [Ping timeout: 264 seconds]
tnguyen has joined #ocaml
serge has quit [Ping timeout: 258 seconds]
gdsfh1 has quit [Ping timeout: 255 seconds]
gdsfh has joined #ocaml
tnguyen has quit [Ping timeout: 244 seconds]
Submarine has quit [Remote host closed the connection]
badkins has quit [Remote host closed the connection]
tnguyen has joined #ocaml
koderok has joined #ocaml
tnguyen has quit [Ping timeout: 245 seconds]
tnguyen has joined #ocaml
thmslld has joined #ocaml
peddie has left #ocaml ["WeeChat 1.0.1"]
manud has left #ocaml [#ocaml]
tnguyen has quit [Ping timeout: 264 seconds]
taion809 has quit [Remote host closed the connection]
Submarine has joined #ocaml
Submarine has joined #ocaml
shinnya has quit [Ping timeout: 258 seconds]
hausdorff has joined #ocaml
siddharthv_away is now known as siddharthv
koderok has quit [Ping timeout: 244 seconds]
huza has quit [Ping timeout: 240 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
huza has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
huza has quit [Ping timeout: 245 seconds]
huza has joined #ocaml
samrat has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 244 seconds]
govg has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
govg has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
Guest67269 is now known as andreypopp_
ggole has joined #ocaml
samrat has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
WraithM has joined #ocaml
oscar_toro has joined #ocaml
arj has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
WraithM has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
toolslive has joined #ocaml
serge has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
serge has quit [Ping timeout: 244 seconds]
toolslive has quit [Ping timeout: 260 seconds]
ygrek has quit [Remote host closed the connection]
serge has joined #ocaml
marynate has quit [Quit: Leaving]
koderok has joined #ocaml
toolslive has joined #ocaml
tane has joined #ocaml
nop0x07bc has joined #ocaml
hhugo1 has joined #ocaml
hausdorff has quit [Remote host closed the connection]
govg has quit [Ping timeout: 244 seconds]
govg has joined #ocaml
oscar_toro has quit [Ping timeout: 245 seconds]
sinelaw has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
<whitequark> Drup: I thought of a way to allow writing LLVM passes in OCaml
<argp> that's cool
zpe has quit [Remote host closed the connection]
hhugo1 has quit [Quit: Leaving.]
AlexRussia has joined #ocaml
ia0 has quit [Quit: leaving]
<Drup> whitequark: nice
kakadu has joined #ocaml
govg has quit [Quit: leaving]
Simn has joined #ocaml
zpe has joined #ocaml
<companion_cube> \o
<whitequark> Drup: get on with the phantomly typed AST.
<Drup> err, not just now
<whitequark> okay
tane has quit [Quit: Verlassend]
<reynir> o/
AlexRussia has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
shinnya has joined #ocaml
arj has quit [Quit: Leaving.]
Submarine has quit [Quit: Leaving]
dsheets has joined #ocaml
lordkryss has joined #ocaml
larhat has joined #ocaml
govg has joined #ocaml
ysz has joined #ocaml
ia0 has joined #ocaml
ysz_ has joined #ocaml
_andre has joined #ocaml
ysz_ has quit [Quit: Leaving]
dch is now known as skunkwerks
skunkwerks is now known as dch
jbalnit has quit [Ping timeout: 255 seconds]
rand000 has joined #ocaml
arj has joined #ocaml
koderok has quit [Quit: koderok]
eizodo has quit [Ping timeout: 246 seconds]
ysz_ has joined #ocaml
rand000 has quit [Quit: leaving]
ysz has quit [Ping timeout: 265 seconds]
dtak has joined #ocaml
<dtak> Hi. Somebody please tell me ho do you user Core.Std.Map's merge function. which is defined as 'a t -> 'b t -> f:(key:Key.t -> [ `Both of 'a * 'b | `Left of 'a | `Right of 'b ] -> 'c option) -> 'c t ,and I'm confused what should I do with "[ `Both of 'a * 'b | `Left of 'a | `Right of 'b ]" part. thanks in the advance.
<dsheets> dtak, that tells you where the element is found and what it is
ysz_ has quit [Ping timeout: 272 seconds]
arj has quit [Quit: Leaving.]
<dtak> Thanks dsheets. At least I believe I understand that I need to pass some elements to that, but that notation is completely new to me, it looks like something of pattern match, isn't it
<dsheets> dtak, that's a polymorphic variant. you can match it mostly just like a normal variant
<dtak> OK. So it's defined in that way so that it allows me to match in the function body.
<dsheets> yes
<dtak> Thank alot, dsheets. I'm giving it a try.
<dsheets> you have to put a backtick (`) before the constructor names just like in the type definition when you write the pattern to match
<dtak> ok
dtak has quit [Quit: Page closed]
AlexRussia has joined #ocaml
huza has joined #ocaml
oscar_toro has joined #ocaml
koderok has joined #ocaml
everyonemines has joined #ocaml
serge has quit [Remote host closed the connection]
koderok has quit [Read error: Connection reset by peer]
koderok has joined #ocaml
badkins has joined #ocaml
rand000 has joined #ocaml
badkins has quit []
serge has joined #ocaml
siddharthv is now known as siddharthv_away
rand000 has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
larhat has quit [Ping timeout: 245 seconds]
larhat has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
arj has joined #ocaml
huza has quit [Remote host closed the connection]
larhat1 has joined #ocaml
huza has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> What is the purpose of Parsing.parse_error ?
rand000 has joined #ocaml
govg has quit [Quit: leaving]
govg has joined #ocaml
larhat has quit [Ping timeout: 245 seconds]
Hannibal_Smith has joined #ocaml
samrat has joined #ocaml
darkf has quit [Quit: Leaving]
elfring has joined #ocaml
BitPuffin has joined #ocaml
nicoo_ has joined #ocaml
nicoo has quit [Ping timeout: 246 seconds]
serge has quit [Remote host closed the connection]
govg has quit [Quit: leaving]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
BitPuffin has quit [Remote host closed the connection]
Eyyub has joined #ocaml
serge has quit [Ping timeout: 264 seconds]
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 250 seconds]
larhat1 has joined #ocaml
<Eyyub> Hi, what do you think about these changes https://github.com/Eyyub/ocaml/compare/safe-string-unappropried-warning ?
larhat has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
badkins has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
<jpdeplaix> Eyyub: -safe-string can given using environment I think. Not only argv. You should use the Option module (or something like that) of the compiler
Hannibal_Smith has quit [Quit: Sto andando via]
<Eyyub> jpdeplaix: oh, I haven't thought about that thanks
huza has quit [Ping timeout: 245 seconds]
SethTIsue has joined #ocaml
BitPuffin has left #ocaml ["Killed buffer"]
BitPuffin has joined #ocaml
rand000 has quit [Ping timeout: 255 seconds]
struktured has quit [Ping timeout: 265 seconds]
tnguyen has joined #ocaml
Levenshtein has joined #ocaml
yomimono has joined #ocaml
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
ysz_ has joined #ocaml
tnguyen has quit [Quit: tnguyen]
tnguyen has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
ysz_ has quit [Remote host closed the connection]
serge has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
larhat1 has joined #ocaml
ddosia has quit [Remote host closed the connection]
jbalnit has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
sagotch has joined #ocaml
ysz_ has joined #ocaml
<sagotch> hey, I can not remember if you can reuse a module, replacing one (or more) value (something like (Module with f = fun x -> x))?
<Drup> sagotch: module M = struct include M let f = ... end
<sagotch> Ok, that I thought there were another syntax to do it
<sagotch> but thanks
<mrvn> The with syntax is for types
<ggole> A functor?
AlexRussia has quit [Ping timeout: 255 seconds]
nicoo_ is now known as nicoo
<nlucaroni> := for substituting within a signature?
<Drup> yes
samrat has joined #ocaml
lordkryss has quit []
lordkryss has joined #ocaml
tnguyen1 has joined #ocaml
Thooms has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
tnguyen has quit [Ping timeout: 264 seconds]
toolslive has quit [Ping timeout: 260 seconds]
slash^ has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
AlexRussia has joined #ocaml
govg has joined #ocaml
larhat1 has quit [Ping timeout: 244 seconds]
Valdo has quit [Excess Flood]
Valdo has joined #ocaml
cody__ has joined #ocaml
WraithM has joined #ocaml
Thooms has joined #ocaml
Levenshtein_ has joined #ocaml
arj has quit [Quit: Leaving.]
lemongrabjo has joined #ocaml
Levenshtein has quit [Ping timeout: 250 seconds]
sagotch has quit [Quit: Page closed]
cody__ has quit [Remote host closed the connection]
sinelaw has quit [Ping timeout: 245 seconds]
everyonemines has quit [Quit: everyonemines]
jwatzman|work has joined #ocaml
zpe has quit [Remote host closed the connection]
n1ftyn8 has quit [Ping timeout: 272 seconds]
cojy has quit [Ping timeout: 265 seconds]
rfv has quit [Ping timeout: 260 seconds]
steshaw has quit [Ping timeout: 265 seconds]
msch has quit [Ping timeout: 265 seconds]
jzelinskie has quit [Ping timeout: 272 seconds]
serge has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Read error: No route to host]
serge has joined #ocaml
hausdorff has joined #ocaml
serge has quit [Ping timeout: 244 seconds]
ysz_ has quit [Ping timeout: 245 seconds]
larhat has joined #ocaml
larhat has quit [Ping timeout: 250 seconds]
AlexRussia has quit [Ping timeout: 250 seconds]
Eyyub has quit [Ping timeout: 246 seconds]
AlexRussia has joined #ocaml
rand000 has joined #ocaml
tane has joined #ocaml
govg has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
larhat has joined #ocaml
govg has joined #ocaml
kakadu has quit [Ping timeout: 246 seconds]
cojy has joined #ocaml
jzelinskie has joined #ocaml
zpe has joined #ocaml
n1ftyn8 has joined #ocaml
larhat has quit [Quit: Leaving.]
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
msch has joined #ocaml
rfv has joined #ocaml
steshaw has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
WraithM has quit [Ping timeout: 272 seconds]
WraithM has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
kakadu has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
sinelaw has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 256 seconds]
jonludlam has quit [Quit: Coyote finally caught me]
snyp has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
<snyp> I am trying to use menhir, I get this warning http://paste.debian.net/129288/ with this grammar http://paste.debian.net/129287/ . How to stop getting this warning?
hausdorff has quit [Remote host closed the connection]
claudiuc has joined #ocaml
ysz_ has joined #ocaml
larhat has joined #ocaml
ysz_ has quit [Remote host closed the connection]
<Leonidas> what is the meaning behind these "Labl" prefixes? LablTk, LablGTK, LablGL?
<whitequark> I think it's for "label"
<whitequark> there was a variant of O'Caml (it was called O'Caml back then) called O'Labl, with the ~foo and ?foo and stuff
sinelaw has quit [Quit: Leaving]
<Leonidas> Ah, and the GUI bindings used these labels.
sinelaw has joined #ocaml
hausdorff has joined #ocaml
<whitequark> kaustuv: let parse_error (msg : string) = () haha
slash^ has quit [Read error: Connection reset by peer]
<whitequark> last changed:
<whitequark> Author: Xavier Leroy <xavier.leroy@inria.fr>
<whitequark> Date: Tue Feb 25 14:41:16 1997 +0000
<whitequark> parse_error ne doit pas lever Parse_error
govg has quit [Quit: leaving]
govg has joined #ocaml
govg has quit [Client Quit]
govg has joined #ocaml
ousado has quit [Ping timeout: 245 seconds]
ousado has joined #ocaml
rand000 has quit [Ping timeout: 255 seconds]
_andre has quit [Quit: leaving]
snyp has quit [Quit: WeeChat 1.0.1]
<whitequark> adrien: update the /topic
<whitequark> it still mentions 4.02.0
<whitequark> oh
<whitequark> 4.02.1 announce is not on ocaml.org
Thooms has joined #ocaml
<eikke> when is the paris ocaml meetup again?
<eikke> ah damnit, tonight
manud has joined #ocaml
dav_ has joined #ocaml
dav has quit [Ping timeout: 244 seconds]
<reynir> what does the french commit msg mean?
<companion_cube> which one?
<reynir> the one posted 45 mins ago
<reynir> about parse_error
ggole has quit [Ping timeout: 244 seconds]
<whitequark> "parse_error should not raise Parse_error", says Google Translate
jonludlam has joined #ocaml
<companion_cube> ah
<companion_cube> indeed, that's it
<whitequark> you know, that doesn't exactly help :D
<whitequark> lol. ocp-build spotted in the wild: https://github.com/ocaml/opam-repository/pull/2923
<whitequark> the only ocaml it compiles on is 3.12.
Submarine has joined #ocaml
Submarine has joined #ocaml
badkins has quit []
serge has joined #ocaml
serge has quit [Ping timeout: 255 seconds]
<reynir> heh, I "know" that guy. Contributed to one of his repos once
ollehar1 has joined #ocaml
<ollehar1> ubuntu package opam too old_
<ollehar1> ?
tnguyen1 has quit [Ping timeout: 255 seconds]
<mrvn> isn't opam in opam or is ubuntus opam too old to update opam from opam?
<ollehar1> can't do opam init
<whitequark> "doctor, I feel sick! please say what is wrong with me based on that phrase alone"
WraithM has quit [Ping timeout: 255 seconds]
<whitequark> if something doesn't work, provide at least the error message.
<ollehar1> "You version of opam is not recent enough (1.1.1)
<ollehar1> to read package bla
<whitequark> oh
<whitequark> do opam update and this should go away
<whitequark> alternatively, do opam init https://opam.ocaml.org/1.1
<ollehar1> forbidden link
appd has joined #ocaml
<whitequark> hm
<ollehar1> nm
<ollehar1> installed through opam faq instead of default ubuntu package
<ollehar1> have version 1.2 now
<ollehar1> thanks though
<ollehar1> (but, if you install opam 1.1 you can't do opam init)
<ollehar1> (and you can't do opam update if you have not done opam init)
<whitequark> there is some compatibility repository path
<whitequark> but I do not remember it and can't easily find
<flux> drup, btw, do ocsigen syntax extensions yet use the ppx mechanism? work in progress?
larhat1 has joined #ocaml
claudiuc has quit [Remote host closed the connection]
hausdorff has quit [Remote host closed the connection]
claudiuc has joined #ocaml
larhat has quit [Ping timeout: 265 seconds]
rand000 has joined #ocaml
SethTIsue has quit [Quit: SethTIsue]
hausdorff has joined #ocaml
sinelaw has quit [Quit: Leaving]
Hannibal_Smith has quit [Read error: No route to host]
<whitequark> not until next ocaml release
dsheets has joined #ocaml
zarak has joined #ocaml
<zarak> hi guys
<zarak> can anybody here help me with my Ocaml installation
<zarak> I'm on OSX Mavericks
appd_ has joined #ocaml
<zarak> I used homebrew to install OPAM but I can't run init because I'm getting a version error
<zarak> "[ERROR] Your version of OPAM (1.1.1) is not recent enough to read ~/.opam/repo/default/packages/diy/diy.5.01/opam. Upgrade OPAM to a more recent version (at least 1.2) to read this file correctly."
dav_ is now known as dav
appd has quit [Ping timeout: 244 seconds]
<whitequark> install opam 1.2 via homebrew.
<zarak> I used brew to install and it gave me 1.1.1
<zarak> how do I get 1.2?
<whitequark> update homebrew
<zarak> oh...
<zarak> right, that ought to work
<zarak> thanks a million!
appd has joined #ocaml
hooplahoops has joined #ocaml
appd_ has quit [Ping timeout: 250 seconds]
<hooplahoops> Hi, how can I stub a function, e.g. provide only the definition but not the body? something like 'let foo x = undefined' ?
Anarchos has joined #ocaml
<mrvn> you can't.
<hooplahoops> ah I guess 'raise Not_found' or some other exception
<mrvn> hooplahoops: You just want to write a dummy function to be filled in later?
dsheets has quit [Ping timeout: 264 seconds]
<mrvn> hooplahoops: assert false
<lemongrabjo> If a function takes a multi-argument continuation as input, is it possible to patternmatch within the passed continuation?
Valdo has quit [Excess Flood]
<hooplahoops> mrvn: ah right, thanks :)
Valdo has joined #ocaml
tane has quit [Quit: Verlassend]
bobry has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
SethTIsue has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
koderok has quit [Ping timeout: 245 seconds]
serge has joined #ocaml
hhugo1 has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
serge has quit [Ping timeout: 240 seconds]
tnguyen has joined #ocaml
hausdorff has quit [Remote host closed the connection]
SethTIsue has quit [Quit: SethTIsue]
hausdorff has joined #ocaml
<Drup> hooplahoops: but it's *BAD*, don't do it.
tane has joined #ocaml
<Drup> use objects and virtual method if you have a real use case.
rand000 has quit [Quit: leaving]
<whitequark> what? O_o
tane has quit [Remote host closed the connection]
<Drup> whitequark: what what ? x)
<Drup> flux: ppx js_of_ocaml is implemented but lacks the syntax, there is a patch on the compiler to have a proper syntax, but not merged yet
<Drup> ppx eliom is wip
manud has quit [Quit: manud]
Anarchos has quit [Quit: good bye and good night.]
yomimono has joined #ocaml
manud has joined #ocaml
appd has quit [Quit: Leaving...]
hausdorff has quit [Remote host closed the connection]
jao has quit [Ping timeout: 258 seconds]
jonludlam has quit [Ping timeout: 240 seconds]
hausdorff has joined #ocaml
zpe has joined #ocaml
dav has quit [Ping timeout: 255 seconds]
dav has joined #ocaml
jonludlam has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
ollehar1 has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 256 seconds]
jonludlam has quit [Read error: Connection reset by peer]
jonludlam has joined #ocaml
manud is now known as manu-afk
hooplahoops has quit [Ping timeout: 264 seconds]
hausdorff has quit [Remote host closed the connection]
manu-afk is now known as manud_really_afk
manud_really_afk has quit [Quit: manud_really_afk]
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
badkins has joined #ocaml
badkins_ has joined #ocaml
Simn has quit [Quit: Leaving]
badkins has quit [Ping timeout: 260 seconds]
c74d has quit [Ping timeout: 265 seconds]
Submarine has quit [Remote host closed the connection]
zarak has quit [Remote host closed the connection]
serge has joined #ocaml
jonludlam has quit [Ping timeout: 255 seconds]
c74d has joined #ocaml
hhugo1 has quit [Quit: Leaving.]