orbifx has quit [Quit: AtomicIRC: The nuclear option.]
jerith_ is now known as jerith
python476 has quit [Ping timeout: 246 seconds]
fluter has quit [Ping timeout: 240 seconds]
lobo has quit [Quit: leaving]
ollehar has quit [Quit: ollehar]
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
mfp has quit [Quit: Leaving]
fluter has joined #ocaml
Haudegen has joined #ocaml
teknozulu has joined #ocaml
TBads has quit [Ping timeout: 240 seconds]
ncthom91 has joined #ocaml
Kakadu has quit [Remote host closed the connection]
^elyse^ has quit [Quit: Leaving...]
Bahman has quit [Quit: Ave atque vale]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
malc_ has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 272 seconds]
pierpa` has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ncthom91 has joined #ocaml
nullcatxxx_ has joined #ocaml
badon has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
teknozulu has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
TBads has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
contempt has quit [Disconnected by services]
contempt has joined #ocaml
vodkaInf1rno has joined #ocaml
sgnb` has joined #ocaml
agumonkey has quit [Ping timeout: 264 seconds]
drmem has quit [Ping timeout: 264 seconds]
tizoc has quit [Ping timeout: 264 seconds]
tkr_ has joined #ocaml
stomp has quit [Ping timeout: 264 seconds]
fds_ has quit [Ping timeout: 264 seconds]
GooseYAr1 has quit [Ping timeout: 264 seconds]
def` has quit [Ping timeout: 264 seconds]
inr_ has joined #ocaml
DanielRi1hman has joined #ocaml
yaewa has joined #ocaml
w1gz has quit [Ping timeout: 264 seconds]
theblatte has quit [Ping timeout: 264 seconds]
cow-orker has joined #ocaml
boegel|quassel has joined #ocaml
fds has joined #ocaml
adrien_z- has joined #ocaml
stomp has joined #ocaml
bernardofpc has joined #ocaml
theblatte has joined #ocaml
mrvn_ has joined #ocaml
lambdahands_ has joined #ocaml
Cypi_ has joined #ocaml
drmem has joined #ocaml
sigjuice_ has joined #ocaml
agumonkey has joined #ocaml
TBads has quit [*.net *.split]
fluter has quit [*.net *.split]
moei has quit [*.net *.split]
lambdahands has quit [*.net *.split]
cow-orke1 has quit [*.net *.split]
Sorella has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
mrvn has quit [*.net *.split]
segmond has quit [*.net *.split]
cschneid has quit [*.net *.split]
n1ftyn8_ has quit [*.net *.split]
sgnb has quit [*.net *.split]
boegel has quit [*.net *.split]
sigjuice has quit [*.net *.split]
tizoc has joined #ocaml
tkr has quit [*.net *.split]
srcerer has quit [*.net *.split]
bernardo1pc has quit [*.net *.split]
Cypi has quit [*.net *.split]
adrien_znc has quit [*.net *.split]
schoppenhauer has quit [*.net *.split]
inr has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
eikke has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
Intensity has quit [*.net *.split]
Johann has quit [*.net *.split]
infinity0 has quit [*.net *.split]
lyxia has quit [*.net *.split]
clockish has quit [*.net *.split]
pippijn has quit [*.net *.split]
sheijk has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
larhat has quit [*.net *.split]
psy_ has quit [*.net *.split]
jrslepak has quit [*.net *.split]
jimt has quit [*.net *.split]
cdidd has quit [*.net *.split]
deavid has quit [*.net *.split]
mal`` has quit [*.net *.split]
bugabinga has quit [*.net *.split]
nopf has quit [*.net *.split]
Ravana has quit [*.net *.split]
ggVGc has quit [*.net *.split]
jlouis has quit [*.net *.split]
switchy has quit [*.net *.split]
cschneid has joined #ocaml
lambdahands_ is now known as lambdahands
def` has joined #ocaml
Cypi_ is now known as Cypi
srcerer has joined #ocaml
aaronelkins has joined #ocaml
FreeBirdLjj has joined #ocaml
mrvn_ has quit [Ping timeout: 250 seconds]
AlexRussia has quit [Ping timeout: 250 seconds]
tg has quit [Ping timeout: 250 seconds]
gustav___ has quit [Ping timeout: 250 seconds]
w1gz has joined #ocaml
apache2 has joined #ocaml
segmond has joined #ocaml
kolko has quit [Ping timeout: 250 seconds]
Fleurety has quit [Ping timeout: 250 seconds]
apache2_ has quit [Ping timeout: 250 seconds]
vodkaInferno has joined #ocaml
Cypi has quit [Ping timeout: 250 seconds]
vodkaInf1rno has quit [Ping timeout: 250 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
cyraxjoe has quit [Ping timeout: 250 seconds]
mac10688 has quit [Ping timeout: 250 seconds]
cthuluh has quit [Ping timeout: 250 seconds]
fluter has joined #ocaml
mrvn has joined #ocaml
Haudegen has joined #ocaml
Cypi has joined #ocaml
Johann has joined #ocaml
gustav___ has joined #ocaml
infinity0 has joined #ocaml
lyxia has joined #ocaml
clockish has joined #ocaml
pippijn has joined #ocaml
profan has joined #ocaml
dmbaturin has joined #ocaml
sheijk has joined #ocaml
kolko has joined #ocaml
deavid has joined #ocaml
mal`` has joined #ocaml
nopf has joined #ocaml
jimt has joined #ocaml
cdidd has joined #ocaml
Ravana has joined #ocaml
ggVGc has joined #ocaml
bugabinga has joined #ocaml
psy_ has joined #ocaml
jrslepak has joined #ocaml
Sorella_ has joined #ocaml
jlouis has joined #ocaml
larhat has joined #ocaml
GooseYArd has joined #ocaml
switchy has joined #ocaml
Sorella_ has quit [Changing host]
Sorella_ has joined #ocaml
schoppenhauer has joined #ocaml
cyraxjoe has joined #ocaml
n1ftyn8_ has joined #ocaml
tg has joined #ocaml
AlexRussia has joined #ocaml
mac10688 has joined #ocaml
darkf has joined #ocaml
cthuluh has joined #ocaml
Fleurety has joined #ocaml
nullcatxxx_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
FreeBirdLjj has joined #ocaml
ygrek has joined #ocaml
ncthom91 has joined #ocaml
skeuomorf has joined #ocaml
skeuomorf has quit [Ping timeout: 240 seconds]
skeuomorf has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
tmtwd has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
skeuomorf has quit [Ping timeout: 240 seconds]
skeuomor2 has joined #ocaml
skeuomor2 is now known as skeuomorf
skeuomorf has quit [Ping timeout: 240 seconds]
skeuomorf has joined #ocaml
ianhedoesit has joined #ocaml
native_killer has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
skeuomor1 has joined #ocaml
skeuomorf has quit [Ping timeout: 265 seconds]
slash^ has joined #ocaml
native_killer has quit [Quit: Leaving]
mac10688 has quit [Ping timeout: 260 seconds]
python476 has joined #ocaml
kolko has quit [Ping timeout: 255 seconds]
mac10688 has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 265 seconds]
zpe_ has joined #ocaml
JacobEdelman has quit [Quit: Connection closed for inactivity]
mac10688 has quit [Ping timeout: 252 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ryanartecona has quit [Quit: ryanartecona]
pierpa` has quit [Ping timeout: 240 seconds]
Sorella_ has quit [Quit: Connection closed for inactivity]
zpe_ has quit [Remote host closed the connection]
zpe_ has joined #ocaml
skeuomor1 is now known as skeuomorf
tane has joined #ocaml
skeuomorf has quit [Ping timeout: 240 seconds]
<adrien>
is it possible to have cmdliner output its --help message in something that similar to the "traditional" output for --help, i.e. not a manpage but like gnu mv's --help
<adrien>
basically I don't want a 10 feet manpage
<adrien>
especially considering my target users won't have groff nor a pager most of the time
python476 has quit [Quit: Page closed]
zpe_ has quit [Remote host closed the connection]
sh0t has joined #ocaml
python476 has joined #ocaml
<flux>
that would be nice, I think
^elyse^ has joined #ocaml
mort___ has joined #ocaml
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
orbifx has joined #ocaml
Bahman has joined #ocaml
skeuomorf has joined #ocaml
IbnFirnas has joined #ocaml
eikke has joined #ocaml
Intensity has joined #ocaml
IbnFirnas has quit [Changing host]
IbnFirnas has joined #ocaml
mfp has joined #ocaml
skeuomorf is now known as Guest71625
tane has quit [Quit: Verlassend]
mort___ has quit [Quit: Leaving.]
Guest71625 is now known as skeuomorf
skeuomorf has quit [Changing host]
skeuomorf has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
python476 has left #ocaml [#ocaml]
python476 has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
tmtwd has quit [Ping timeout: 272 seconds]
zpe_ has joined #ocaml
cschneid has quit [Ping timeout: 240 seconds]
cschneid has joined #ocaml
Haudegen has joined #ocaml
jmasseo has quit [Ping timeout: 260 seconds]
jyc has quit [Ping timeout: 264 seconds]
jmasseo has joined #ocaml
python476 has quit [Quit: Page closed]
python476 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
mort___ has joined #ocaml
^elyse^ has quit [Quit: Leaving...]
Lis has joined #ocaml
sh0t has quit [Quit: Leaving]
Lis has quit [Client Quit]
Lis has joined #ocaml
yegods has quit [Remote host closed the connection]
nullcatx_ has quit [Read error: Connection reset by peer]
<companion_cube>
sbrouf: -I src/ would help, I think
<companion_cube>
using ocamlbuild, too
<sbrouf>
ok -I src did it, thanks a bunch :)
<ollehar1>
-I is include, right?
<companion_cube>
yes
<ollehar1>
include source path, to be precise
<Maelan>
aow, i just found (), true and false are now valid constructor names
<Maelan>
but i can’t figure out the syntax to construct () with arguments
Simn has quit [Quit: Leaving]
luzie has quit [Quit: WeeChat 1.4-dev]
sepp2k has quit [Quit: Leaving.]
<Maelan>
hm, utop was guilty
<Maelan>
the expected syntax just works in the default REPL
<Maelan>
actually, utop completely fails with that
<Maelan>
after typing:
<Maelan>
utop # type t = () of int ;;
<Maelan>
(which is accepted)
<Maelan>
utop gives the following error on any single command typed:
<Maelan>
utop # 0 ;;
<Maelan>
Error: The constructor () expects 1 argument(s), but is applied here to 0 argument(s)
<Maelan>
is this known?
luzie has joined #ocaml
orbifx has quit [Quit: WeeChat 1.3]
<thizanne>
Maelan: it works with ocaml, it's utop's fault also
orbifx2 has quit [Quit: AtomicIRC: The nuclear option.]
<Drup>
Maelan: that you have camlp4 auto loaded
tmtwd has quit [Ping timeout: 250 seconds]
sbrouf has quit [Ping timeout: 272 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
TBads has joined #ocaml
nullcatxxx_ has joined #ocaml
<python476>
ocaml complains when I nest function p0 | p1 ... px -> function ... what does it mean ?
ygrek has joined #ocaml
<Maelan>
python476, maybe you forgot to enclose the inner pattern matching (with parentheses or begin … end)?
<python476>
I did neither of that
nullcatxxx_ has quit [Ping timeout: 276 seconds]
<python476>
no wait, I tried parens, in vain
<python476>
Maelan: aight, it was a 'higher' type error
<python476>
I misunderstood the problem
<python476>
(duh)
<Maelan>
Drup, i do not think so
<Maelan>
if i write « #camlp4o » i get a parse error when defining « type t = () of int »
<Maelan>
(the same in utop and ocaml)
struk|desk2 is now known as struk|desk
<Maelan>
(but if type t was defined before, () is still recognized as a constructor of type t (with the same bug in utop if () is non-constant))
zpe has quit [Remote host closed the connection]
<thizanne>
you should not actually care about how to use () as a constructor, Maelan :)
<Maelan>
very true
<Maelan>
the case of true|false is curious too
<Maelan>
# type t = true ;;
<Maelan>
# true = false ;;
<Maelan>
==> Error: This variant expression is expected to have type t; The constructor false does not belong to type t
<Maelan>
# false = true ;;
<Maelan>
==> - : bool = false
<Maelan>
# not true ;;
<Maelan>
==> - : bool = false
python476 has quit [Ping timeout: 246 seconds]
<Maelan>
so the new constructor ‘true’ does not shadow the standard one, ‘true’ still means the standard one if it was first inferred to be of type bool
cyraxjoe has joined #ocaml
cyraxjoe_ has quit [Ping timeout: 255 seconds]
<Maelan>
… just realized this is the usual behaviour :/
^elyse^ has quit [Quit: Leaving]
agumonkey has quit [Read error: No route to host]
agumonkey_ has joined #ocaml
agumonkey_ is now known as agumonkey
<Drup>
Maelan: that's constructor disambiguation at work
<Maelan>
i find it very confusing
<Drup>
that's because you are using it in a completely absurde case
<Drup>
type t = true of bool ;;
<Drup>
true true ;;
mcclurmc has joined #ocaml
Kakadu has quit [Remote host closed the connection]