adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
larhat1 has quit [Quit: Leaving.]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
ollehar has quit [Remote host closed the connection]
bjorkintosh has quit [Ping timeout: 272 seconds]
c74d is now known as Guest33101
Guest33101 has quit [Ping timeout: 252 seconds]
contempt has quit [Remote host closed the connection]
c74d3 has joined #ocaml
contempt has joined #ocaml
lobo has quit [Quit: leaving]
Guest38381 is now known as kandu
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
<nicoo> \o/
BitPuffin|osx has quit [Remote host closed the connection]
keen__________14 has joined #ocaml
BitPuffin|osx has joined #ocaml
keen__________13 has quit [Ping timeout: 255 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Ping timeout: 252 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
Haudegen has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
tmtwd has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
c74d3 has quit [Remote host closed the connection]
contempt has quit [Remote host closed the connection]
c74d has joined #ocaml
contempt has joined #ocaml
nullcatxxx_ has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
psy_ has quit [Ping timeout: 250 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
jeffmo has quit [Quit: jeffmo]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc_ has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
enquora has quit [Quit: enquora]
contempt has quit [Ping timeout: 250 seconds]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
jeffmo has joined #ocaml
contempt has quit [Ping timeout: 252 seconds]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
bjorkintosh has joined #ocaml
rand000 has quit [Quit: leaving]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
jeffmo has quit [Read error: Connection reset by peer]
contempt has joined #ocaml
jeffmo has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
johnf_ has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
bjorkintosh has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
slash^ has joined #ocaml
bjorkintosh has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
enjolras_ has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
enjolras_ has left #ocaml [#ocaml]
psy_ has quit [Read error: No route to host]
psy_ has joined #ocaml
lentils_ has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
nullcatxxx_ has joined #ocaml
lentils_ has quit [Ping timeout: 246 seconds]
nullcatxxx_ has quit [Client Quit]
MercurialAlchemi has joined #ocaml
nullcatxxx_ has joined #ocaml
contempt has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
<MercurialAlchemi> companion_cube: I was looking at the CCOpt implementation
<MercurialAlchemi> any reason why you're not using a catchall clause in map2?
mea-culpa has joined #ocaml
<Enjolras> it does really matter i guess. probably a matter of taste
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jimt has quit [Ping timeout: 272 seconds]
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
kushal has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
segmond has quit [Ping timeout: 244 seconds]
mea-culpa has quit [Remote host closed the connection]
ygrek has joined #ocaml
psy_ has quit [Ping timeout: 268 seconds]
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
tmtwd has quit [Ping timeout: 246 seconds]
larhat1 has joined #ocaml
mort___ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 268 seconds]
Kakadu has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
rand000 has joined #ocaml
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
joelr1 has joined #ocaml
<joelr1> moin
larhat1 has quit [Quit: Leaving.]
mort___ has joined #ocaml
<companion_cube> I'm starting to like first-class modules, actually
psy_ has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
joelr1 has quit [Quit: joelr1]
lobo has joined #ocaml
snyp has joined #ocaml
<snyp> I am trying to test real world ocaml's example using OCamlMakefile, but i get this error
<snyp> This being the makefile
<snyp> the VMTHREAD and THREAD variables need to be defined, so i define them to some arbitrary string really
<Enjolras> you might have upgrade your system compiler without rebuilding opam packages
<Enjolras> (that's why i usually don't use the system compiler switch)
mort___ has quit [Quit: Leaving.]
<snyp> Enjolras: so... i should install a compiler using opam?
<snyp> system is 4.02.3
mort___ has joined #ocaml
<Enjolras> snyp: i usually install a compiler with opam yeah, but you might just want to upgrade packages
<Enjolras> snyp: installing a compiler with opam is dead easy, just do opam switch 4.02.3
<snyp> Enjolras: just upgraded all packages before make'ing
<snyp> Enjolras: ah
<Enjolras> hmm. I don't know then, but this kind of error usually means that the ABI has changed and things were not rebuilt
<snyp> Enjolras: yeah.. seems so
<Enjolras> (the "inconsisten assumption" error)
<Enjolras> the good part with opam switch is that you can update to a new compiler version when you decide to do so
<snyp> Enjolras: ah... yeah read about that
<snyp> Enjolras: corebuild works though. so probably some switches are missing
<snyp> corebuild is a script that calls ocamlbuild with some flags
<snyp> Enjolras: http://ix.io/kDB
<Enjolras> You might miss the -threads flag in your makefile then
<snyp> Enjolras: aha
<snyp> it works now
<snyp> i just removed VMTHREADS definition
<snyp> so it now uses -thread instead of -vmthread
<snyp> (though all this ocaml flags are a bit confusing to me)
<Enjolras> (as for me. Never heard of -vmthread until today)
<snyp> i see. haha
<snyp> i will install ocaml via opam now.. bbl and thanks
snyp has quit [Quit: WeeChat 1.3]
mort___ has quit [Quit: Leaving.]
segmond has joined #ocaml
DanielRichman has quit [Quit: leaving]
DanielRichman has joined #ocaml
<ggole> companion_cube: they're syntactically cumbersome, but pretty cool other than that
<companion_cube> yeah
<companion_cube> I've been refactoring my benchmarks with them
Submarine has quit [Remote host closed the connection]
ollehar has joined #ocaml
<ollehar> anyone knows how to create an opaque struct type with the LLVM OCaml API?
MercurialAlchemi has quit [Ping timeout: 250 seconds]
psy_ has quit [Ping timeout: 246 seconds]
darkf_ has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
ollehar1 is now known as ollehar
darkf has quit [Ping timeout: 250 seconds]
darkf_ is now known as darkf
AlexRussia has quit [Read error: Connection reset by peer]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 is now known as ollehar
ollehar has quit [Read error: Connection reset by peer]
ollehar1 has joined #ocaml
AlexRussia has joined #ocaml
kushal has quit [Quit: Leaving]
ollehar1 is now known as ollehar
AlexRussia has quit [Client Quit]
AlexRussia has joined #ocaml
moei has joined #ocaml
madroach_ has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
ztennix has quit [Ping timeout: 250 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 246 seconds]
ztennix has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
enquora has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 255 seconds]
BitPuffin|osx has joined #ocaml
<ollehar> named_struct_type is the answer
joelr1 has joined #ocaml
joelr1 has quit [Client Quit]
ztennix has joined #ocaml
mahem1 has left #ocaml [#ocaml]
ztennix has quit [Ping timeout: 252 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 246 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 256 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 240 seconds]
jun has quit [Ping timeout: 252 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 244 seconds]
shinnya has joined #ocaml
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 265 seconds]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 268 seconds]
ollehar1 is now known as ollehar
ztennix has joined #ocaml
MercurialAlchemi has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
ztennix has quit [Ping timeout: 244 seconds]
Guest38 has joined #ocaml
jun has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
ztennix has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
ollehar1 is now known as ollehar
ztennix has quit [Ping timeout: 268 seconds]
ztennix has joined #ocaml
mort___ has joined #ocaml
ztennix has quit [Ping timeout: 260 seconds]
nullcatxxx_ has joined #ocaml
Guest38 has quit [Quit: Textual IRC Client: www.textualapp.com]
jeffmo has quit [Read error: Connection reset by peer]
ztennix has joined #ocaml
jeffmo has joined #ocaml
zpe has joined #ocaml
gustav_ has quit [Ping timeout: 244 seconds]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
gustav_ has joined #ocaml
ztennix has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
tmtwd has joined #ocaml
ollehar1 has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 268 seconds]
ollehar1 is now known as ollehar
ztennix has joined #ocaml
mort___ has quit [Quit: Leaving.]
ztennix has quit [Ping timeout: 244 seconds]
dgryski has joined #ocaml
tmtwd_ has joined #ocaml
darkf has quit [Quit: Leaving]
ztennix has joined #ocaml
johnf_ has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
ollehar1 is now known as ollehar
ztennix has joined #ocaml
mal`` has quit [Ping timeout: 240 seconds]
ollehar1 has joined #ocaml
ztennix has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 255 seconds]
ollehar1 is now known as ollehar
mal`` has joined #ocaml
johnf_ has quit [Read error: Connection reset by peer]
tmtwd has quit [Ping timeout: 252 seconds]
tmtwd_ has quit [Ping timeout: 240 seconds]
ztennix has joined #ocaml
tmtwd_ has joined #ocaml
tmtwd has joined #ocaml
lobo has quit [Quit: leaving]
ztennix has quit [Ping timeout: 255 seconds]
nbu has joined #ocaml
ztennix has joined #ocaml
ollehar1 has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 246 seconds]
ollehar1 is now known as ollehar
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
ztennix has joined #ocaml
tmtwd_ has quit [Ping timeout: 250 seconds]
tmtwd has quit [Ping timeout: 265 seconds]
ztennix has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
swgillespie has joined #ocaml
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 250 seconds]
jeffmo has quit [Quit: jeffmo]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
ztennix has joined #ocaml
swgillespie has left #ocaml ["Textual IRC Client: www.textualapp.com"]
ztennix has quit [Ping timeout: 246 seconds]
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
Kakadu has quit [Quit: Page closed]
ollehar1 has joined #ocaml
ztennix has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 is now known as ollehar
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
ollehar1 is now known as ollehar
<orbitz> Hello, does anyone know what context the 'remove' commands run under in opam? Does it run in the same dir as the built source?
ztennix has quit [Ping timeout: 264 seconds]
ztennix has joined #ocaml
nbu has quit [Ping timeout: 246 seconds]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
ollehar1 is now known as ollehar
ztennix has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
ztennix has joined #ocaml
mort___ has quit [Quit: Leaving.]
ztennix has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
ztennix has joined #ocaml
ztennix has quit [Ping timeout: 264 seconds]
ztennix has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
moei has quit [Quit: Leaving...]
tmtwd_ has joined #ocaml
ztennix has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
<rand000> Anyone knows what rule in the typesystem that forbids: "let rec g n i = let n' = n + i in (g n', n')" ?
ztennix has joined #ocaml
<adrien> is it your real code? because the recursion is endless
<adrien> I'm asking because it's interesting to look at the last call to understand the type mismatches usually
<adrien> and you don't have a "last call"
<rand000> but g is curried..
<octachron> adrien, g is not totally applied, so there is no endless call
ztennix has quit [Ping timeout: 246 seconds]
<octachron> rand000: it works with rectypes, if it is what you really want
<adrien> doh, right, I'll shut up and only continue on my build system debugging ='(
<rand000> ah ok, thanks (:
Sorella has quit [Quit: Connection closed for inactivity]
ggole has quit []
Kakadu has joined #ocaml
ztennix has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
ztennix has quit [Ping timeout: 244 seconds]
Algebr has joined #ocaml
Haudegen has joined #ocaml
ollehar1 has joined #ocaml
<Algebr> How do you expose a C pointer to a struct as a first class citizen in OCaml, ie not have to provide things like close function and have the Garbage collector take care of it.
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 has quit [Ping timeout: 246 seconds]
Sorella has joined #ocaml
ollehar has joined #ocaml
ztennix has joined #ocaml
<mrvn> Algebr: type t
ztennix has quit [Ping timeout: 255 seconds]
<mrvn> and in C make a custom block with finalizer that calls free()
<Algebr> thanks
<Algebr> So do people use Obj to mutate values instead of having to go through the more expensive caml_modify or something? Must be for performance reasons?
ztennix has joined #ocaml
nullcatxxx_ has joined #ocaml
jeffmo has joined #ocaml
ztennix has quit [Ping timeout: 260 seconds]
ztennix has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ztennix has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 246 seconds]
larhat1 has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
<mrvn> if at all then people use Obj because you can't call caml_modify from ocaml.
shinnya has joined #ocaml
mcc has joined #ocaml
<mcc> Here is a maybe-pointless question
<mcc> Let's say I have several functions of type something->unit
<mcc> and i want to specify a function as a list of the something->unit functions
gustav_ has quit [Ping timeout: 240 seconds]
<mcc> would a "better" (…performance-wise?) way of doing this be to make a list of something->unit functions, or to make the functions something->something (returning the table when done) and functionally compose them?
mcclurmc has quit [Remote host closed the connection]
MrScout has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
gustav_ has joined #ocaml
nullcatxxx_ has joined #ocaml
MrScout has quit [Ping timeout: 244 seconds]
nullcatxxx_ has quit [Client Quit]
mcclurmc has joined #ocaml
tmtwd_ has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
gustav_ has quit [Ping timeout: 272 seconds]
Algebr has quit [Ping timeout: 264 seconds]
gustav_ has joined #ocaml
gustav_ has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
gustav_ has joined #ocaml
lobo has joined #ocaml
rgrinberg has joined #ocaml
gustav_ has quit [Ping timeout: 264 seconds]
gustav_ has joined #ocaml
natrium1970 has joined #ocaml
mcclurmc has quit []
<natrium1970> I don’t know where else to ask a question about Menhir. Is there an equivalent to Bison’s %precedence (not %prec), that defines precedence but not associativity?
mcclurmc has joined #ocaml
<mrvn> if not then just split the rule by precedences
Haudegen has quit [Ping timeout: 240 seconds]
dgryski has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
xificurC has joined #ocaml
tmtwd_ has joined #ocaml
ztennix has joined #ocaml
nullcatxxx_ has joined #ocaml
gustav_ has quit [Ping timeout: 268 seconds]
ygrek has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
octachron has quit [Quit: Leaving]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
gustav_ has joined #ocaml
ztennix has quit [Ping timeout: 244 seconds]
nullcatxxx_ has joined #ocaml
m4b has joined #ocaml
<m4b> hi there; could someone point me to a github project which uses ppx_deriving? I can't seem to get it to link correctly with oasis in a current project...
<smondet> m4b: I use ppx_deriving_yojson but not oasis: https://github.com/hammerlab/ketrew
<smondet> it sould be just about adding the findlib package to the command line
<m4b> smondet: k i will take a look; yes i followed their instructions which seems to indicate that all I need to do is add this line to _tags: `<src/*>: package(ppx_deriving.std)`, but i get warnings when building that the tag is unused, and then build errors when trying to invoke the generated show functions...
<mrvn> not *.ml?
<m4b> that's straight from their instructions: https://github.com/whitequark/ppx_deriving
<m4b> according to that, it says all you need is to add that to your _tags if you're using ocamlbuild (which my oasis project does)
<m4b> i've tried it only simpler cases too, and can't seem to get it to work right; i'm probably doing something dumb as usual
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
ollehar1 is now known as ollehar
ygrek has quit [Ping timeout: 250 seconds]
Kakadu has quit [Remote host closed the connection]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
xificurC has quit [Ping timeout: 244 seconds]
lobo has quit [Quit: leaving]
rgrinberg has quit [Ping timeout: 244 seconds]
larhat1 has quit [Quit: Leaving.]
larhat1 has joined #ocaml
larhat1 has quit [Client Quit]
larhat1 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
larhat1 has quit [Read error: No route to host]
larhat1 has joined #ocaml
ztennix has joined #ocaml
swgillespie has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tmtwd_ has quit [Ping timeout: 272 seconds]
tmtwd has quit [Ping timeout: 250 seconds]
ollehar1 has joined #ocaml
m4b has quit [Remote host closed the connection]
ztennix has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 255 seconds]
ollehar1 is now known as ollehar
Haudegen has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
tmtwd has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
tmtwd_ has joined #ocaml