noddy2OOO has joined #ocaml
rond_ has joined #ocaml
dmiles has quit [Ping timeout: 252 seconds]
logicmoo has joined #ocaml
awordnot12 has joined #ocaml
awordnot12 has quit [Remote host closed the connection]
rond_ has quit [Quit: Page closed]
dtornabene has quit [Remote host closed the connection]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
zolk3ri has quit [Quit: leaving]
malina has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
iAmDecim has joined #ocaml
keep_learning_M has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
noddy2OOO has quit [Ping timeout: 245 seconds]
iAmDecim has quit [Ping timeout: 252 seconds]
iAmDecim has joined #ocaml
tormen has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
tormen_ has quit [Ping timeout: 272 seconds]
ygrek__ has quit [Ping timeout: 260 seconds]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
_whitelogger has joined #ocaml
iAmDecim has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
iAmDecim has quit [Ping timeout: 260 seconds]
sophiag has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
ggole has joined #ocaml
tennix has joined #ocaml
iAmDecim has joined #ocaml
freyr69 has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
sophiag has left #ocaml ["ERC (IRC client for Emacs 26.1)"]
rand__ has joined #ocaml
nikivi has quit [Ping timeout: 260 seconds]
sagotch has joined #ocaml
nikivi has joined #ocaml
iAmDecim_ has joined #ocaml
orbifx2 has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
gravicappa has quit [Remote host closed the connection]
gravicappa has joined #ocaml
orbifx2 has quit [Ping timeout: 268 seconds]
<
Leonidas>
SU2xU1: OCaml is not that hard to learn, but it depends more on you than on anything else
<
Leonidas>
if you're trying to do C in OCaml it will not be fun
<
Leonidas>
SU2xU1: if it is the employer I'm thinking of then learning OCaml in advance will not be particularly helpful for you
keep_learning_M has quit [Quit: This computer has gone to sleep]
iAmDecim_ has quit [Ping timeout: 252 seconds]
jave has quit [Ping timeout: 245 seconds]
rand__ has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
jave has joined #ocaml
carlosdagos has quit [Quit: Connection closed for inactivity]
asymptotically has joined #ocaml
Guest14665 has joined #ocaml
Guest14665 has quit [Remote host closed the connection]
iAmDecim_ has joined #ocaml
rotsix has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
mfp has joined #ocaml
wilfredh has joined #ocaml
pierpal has joined #ocaml
malina has joined #ocaml
zolk3ri has joined #ocaml
rotsix has quit [Ping timeout: 268 seconds]
slamzy has joined #ocaml
sagotch has quit [Quit: Leaving.]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
epicmorphism has joined #ocaml
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
sagotch has joined #ocaml
jao has joined #ocaml
noddy2OOO has joined #ocaml
jaar has joined #ocaml
spew has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
jao has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 250 seconds]
viceroy19 has joined #ocaml
viceroy19 has quit [Remote host closed the connection]
mildtaste has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
freyr69 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tennix has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
slamzy has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 260 seconds]
slamzy has joined #ocaml
sagotch has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bartholin has joined #ocaml
noddy2OOO has quit [Ping timeout: 240 seconds]
tennix has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
tennix has joined #ocaml
iAmDecim_ has joined #ocaml
noddy2OOO has joined #ocaml
<
lyxia>
that's neat
iAmDecim_ has quit [Ping timeout: 264 seconds]
<
jstolarek>
def`: these compilation times yesterday were for native codegen
tennix has quit [Ping timeout: 252 seconds]
<
def`>
jstolarek: is your code public? it is a nice benchmark for optimizing menhir
<
def`>
(in my experience, menhir --table is slower than ocamlyacc that is slower than menhir with the code generation backend)
Haudegen has quit [Remote host closed the connection]
<
Armael>
(you're speaking of runtime and not compilation time, right?)
tennix has joined #ocaml
waleee has quit [Quit: WeeChat 2.3]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
recj has joined #ocaml
jbrown has joined #ocaml
recj has quit [Read error: Connection reset by peer]
<
wilfredh>
I'm surprised `f2` has type `'a * 'b * 'c` here
<
wilfredh>
*has return type
<
Armael>
oh, I guess "as" has lower priority than ","
<
Armael>
so (x, y as z) is parsed as ((x, y) as z)
webshinra_ has joined #ocaml
recj has joined #ocaml
webshinra has quit [Ping timeout: 252 seconds]
<
wilfredh>
wouldn't that still mean that z had type `int * int`?
jnavila has joined #ocaml
<
Armael>
your code fails on my computer
<
Armael>
Error: The constructor Foo expects 2 argument(s),
<
Armael>
but is applied here to 1 argument(s)
sagotch has quit [Quit: Leaving.]
<
Armael>
and if I do type foo = Foo of (int * int);;
<
Armael>
then f2 has type int * int * (int * int)
<
Armael>
as you would expect
<
wilfredh>
I'm on ocaml 4.05.0, FWIW
<
Armael>
does the snippet typecheck on your computer?
<
wilfredh>
merlin seems happy, at least
<
Armael>
merlin is probably lying :-)
malina has quit [Ping timeout: 240 seconds]
<
wilfredh>
oh, you're right! I'd broken my merlin setup.
<
wilfredh>
(x, y as z) is parsed as ((x, y) as z) <- aha, this explains it perfectly!
<
wilfredh>
I was wondering "surely y is the same as z, so this is pointless?" but I'd not realised about precedence
raduom has joined #ocaml
<
Armael>
yes I also was confused
erkin has quit [Quit: Ouch! Got SIGIRL, dying...]
erkin has joined #ocaml
rand__ has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jaar has quit [Quit: Leaving]
recj has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
malina has joined #ocaml
kakadu has quit [Remote host closed the connection]
fraxamo has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
Guest75104 has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
Algebr` has joined #ocaml
Guest75104 has quit [Remote host closed the connection]
Habib has joined #ocaml
noddy2OOO has quit [Quit: WeeChat 2.3]
kakadu has joined #ocaml
asymptotically2 has joined #ocaml
asymptotically has quit [Remote host closed the connection]
asymptotically2 is now known as asymptotically
slamzy has quit [Remote host closed the connection]
slamzy has joined #ocaml
ggole has quit [Quit: ggole]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
asymptotically has quit [Quit: Leaving]
slamzy1234 has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
kjak has quit [Quit: Lost terminal]
fraxamo has quit [Quit: Leaving]
kjak has joined #ocaml
Habib has quit [Ping timeout: 268 seconds]
rand__ has quit [Quit: leaving]
iAmDecim_ has joined #ocaml
slamzy1234 has quit [Quit: Leaving]
iAmDecim_ has quit [Ping timeout: 252 seconds]
bartholin has quit [Remote host closed the connection]
recj has joined #ocaml
asymptotically has joined #ocaml
malina has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 244 seconds]
gravicappa has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim_ has quit [Ping timeout: 252 seconds]
shw has joined #ocaml
iAmDecim_ has joined #ocaml
asymptotically has quit [Quit: Leaving]
recj has quit [Ping timeout: 268 seconds]
kakadu has quit [Remote host closed the connection]
zolk3ri has joined #ocaml