adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
jack5638 has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
barcabuona has quit [Ping timeout: 272 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
barcabuona has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
shinnya has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 260 seconds]
kakadu has quit [Remote host closed the connection]
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 260 seconds]
jlam__ is now known as jlam
rvm has quit [Ping timeout: 268 seconds]
larhat1 has quit [Quit: Leaving.]
rvm has joined #ocaml
rvm has quit [Client Quit]
jack5638 has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 255 seconds]
dudelson has quit [Ping timeout: 258 seconds]
agravier has joined #ocaml
agravier has quit [Quit: agravier]
agravier has joined #ocaml
pierpa has quit [Remote host closed the connection]
shinnya has joined #ocaml
agravier has quit [Quit: agravier]
shinnya has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
argent_smith has joined #ocaml
diphuser has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
larhat has joined #ocaml
florian has joined #ocaml
<florian> rgrinberg: Hi, one line of the output is re.str (version: 1.7.1)
larhat has quit [Client Quit]
<florian> Can that be a bug in obuild that it doesnt find re although it is installed on my system_
argent_smith has quit [Quit: Leaving.]
diphuser has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
cbot has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
jack5638 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
cbot has quit [Quit: Leaving]
zpe has joined #ocaml
Atrumx has joined #ocaml
<florian> before i switch to a different build tool, how could i tell if the problem is related to a broken dependency in one of my used libraries_
<florian> ?
kakadu has joined #ocaml
larhat has joined #ocaml
Anarchos has joined #ocaml
<def`_> what is the error message florian (copy-paste) >
Anarchos has quit [Client Quit]
<def`_> ?
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
barcabuona has quit [Ping timeout: 240 seconds]
barcabuona has joined #ocaml
okeuday_bak has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
diphuser has joined #ocaml
<florian> error: dependency re.str not found
<florian> def`_: nothing more
<florian> and with oasis it seems to work
<florian> although i didn't want to switch my build chain...
Algebr has joined #ocaml
silver has joined #ocaml
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 246 seconds]
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 260 seconds]
jack5638 has quit [Ping timeout: 255 seconds]
jack5638 has joined #ocaml
Anarchos has joined #ocaml
<def`_> hmm.. and you only have one opam switch?
diphuser has quit [Ping timeout: 240 seconds]
<florian> def`_: yes i do
<florian> i also tried that in multiple docker container but that had the same outcome
<def`_> :/ what's your build system?
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 245 seconds]
yegods has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 246 seconds]
jlam has quit [Ping timeout: 268 seconds]
jlam has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
TheLemonMan has joined #ocaml
_whitelogger has joined #ocaml
<florian> def`_:i use obuild
ontologiae has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
larhat1 has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 240 seconds]
groovy2shoes has quit [Excess Flood]
groovy2shoes has joined #ocaml
ontologiae has joined #ocaml
_whitelogger has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
larhat has joined #ocaml
ontologiae has joined #ocaml
jabroney has joined #ocaml
ziyourenxiang has joined #ocaml
letaris has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
ontologiae has joined #ocaml
zpe has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 260 seconds]
jlam has quit [Ping timeout: 268 seconds]
jlam has joined #ocaml
kamog has joined #ocaml
dudelson has joined #ocaml
markhkim has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
average has quit [Ping timeout: 245 seconds]
average has joined #ocaml
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ontologiae has quit [Ping timeout: 260 seconds]
tormen has joined #ocaml
ontologiae has joined #ocaml
tormen has quit [Quit: Lost terminal]
shinnya has quit [Ping timeout: 268 seconds]
jabroney has quit [Quit: Leaving.]
Anarchos has joined #ocaml
tormen has joined #ocaml
tormen has quit [Client Quit]
tormen has joined #ocaml
tormen has quit [Quit: Lost terminal]
tormen has joined #ocaml
jlam has quit [Ping timeout: 260 seconds]
jlam has joined #ocaml
tormen has quit [Quit: Lost terminal]
barcabuona has quit [Ping timeout: 255 seconds]
tormen has joined #ocaml
jlam__ has joined #ocaml
barcabuona has joined #ocaml
jlam has quit [Ping timeout: 245 seconds]
tormen has quit [Client Quit]
tormen has joined #ocaml
tormen has quit [Client Quit]
tormen has joined #ocaml
colonelj has joined #ocaml
<colonelj> Hi I've tried to write some OCaml code and I get loads of non-exhaustive pattern warnings, is there a neat way to write the code so I don't get them http://ideone.com/UFrbTK (also happy to receive style critique on the code)
jlam has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jlam__ has quit [Ping timeout: 246 seconds]
dudelson has quit [Ping timeout: 246 seconds]
<lyxia> use match
<octachron> colonelj, for tree rotations, the easiest way is probably to raise an exception (or assert false) and documents which invariants you are relying on
<octachron> (the avl invariants can be expressed in the type system, but you probably don't want to go down this rabbit hole)
<colonelj> yeah I saw a version where they did that
<octachron> colonelj, also using inline records might improve readability
Anarchos has quit [Quit: Vision[0.10.1]: i've been blurred!]
<colonelj> yeah, not much though
<Drup> you can remove quite a good amount of problematic matches simply by manipulating nodes instead of trees
<colonelj> not sure what you mean by that
<Drup> (even better if you turn node into a tuple, but I was too lazy for that :p
<Drup> I only did trivial code transformation, mostly removing intermediary Node constructors you put everywhere
<Drup> into a record*
Algebr has quit [Ping timeout: 245 seconds]
<colonelj> ok thanks that's an interesting way of solving it
<Drup> In a way, tree = node option. You are sure you have at least a node in the output of `insert`, so you don't need the option :)
<Drup> (that's enough to justify more complex rotations of course, so as octachron said, you just need to rely on external invariants)
<Drup> +not
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 268 seconds]
MercurialAlchemi has joined #ocaml
jnavila has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
larhat1 has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
Algebr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 260 seconds]
Algebr has quit [Ping timeout: 258 seconds]
jack5638 has quit [Ping timeout: 255 seconds]
Anarchos has joined #ocaml
jack5638 has joined #ocaml
cbot has joined #ocaml
Algebr has joined #ocaml
ygrek has joined #ocaml
diphuser has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
TheLemonMan has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
tormen has quit [Quit: Lost terminal]
SpiceGuid has joined #ocaml
SpiceGuid has quit [Client Quit]
tormen has joined #ocaml
colonelj has quit [Quit: leaving]
MercurialAlchemi has quit [Ping timeout: 268 seconds]
ontologiae has joined #ocaml
moei has quit [Quit: Leaving...]
ontologiae has quit [Ping timeout: 240 seconds]
Algebr has joined #ocaml
MercurialAlchemi has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
ocaml778 has joined #ocaml
ocaml778 has quit [Quit: Page closed]
ygrek has quit [Ping timeout: 268 seconds]
Atrumx has quit [Quit: exit]
ygrek has joined #ocaml
yegods has joined #ocaml
kakadu has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
Algebr has joined #ocaml
vramana has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.1]: i've been blurred!]
Algebr has quit [Ping timeout: 268 seconds]
ollehar has joined #ocaml
ontologiae has joined #ocaml
vramana has quit [Quit: vramana]
ontologiae has quit [Ping timeout: 268 seconds]
kamog has quit [Remote host closed the connection]
mengu has joined #ocaml
Simn has quit [Quit: Leaving]
zv has quit [Ping timeout: 246 seconds]
florian has quit [Remote host closed the connection]
letaris has quit [Ping timeout: 246 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
kareeeeem has joined #ocaml
ontologiae has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
ollehar has quit [Quit: ollehar]
ygrek has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
moei has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
strmpnk has quit [Ping timeout: 245 seconds]
rfv has quit [Ping timeout: 245 seconds]
banjiewen has quit [Ping timeout: 245 seconds]
timclassic has quit [Ping timeout: 245 seconds]
chelfi has quit [Ping timeout: 245 seconds]
mehdib has quit [Ping timeout: 245 seconds]
strmpnk has joined #ocaml
mehdib has joined #ocaml
rfv has joined #ocaml
banjiewen has joined #ocaml
chelfi has joined #ocaml
<Leonidas> Do you think we will end up with OCaml and OCaml4.02 (also known as "Bucklescript") or will the latter be ever updated?
Algebr has joined #ocaml
timclassic has joined #ocaml
Algebr has quit [Ping timeout: 245 seconds]
larhat has quit [Ping timeout: 260 seconds]
<Leonidas> I feel the way they integrated with the compiler will lead to lots of pain
zv has joined #ocaml
kakadu has quit [Remote host closed the connection]
diphuser has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
average has quit [Quit: leaving]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
infinity0_ has joined #ocaml
infinity0 is now known as Guest85834
infinity0 has joined #ocaml
infinity0_ is now known as infinity0
infinity0 has quit [Changing host]
Guest85834 has quit [Killed (barjavel.freenode.net (Nickname regained by services))]