barockobamo has quit [Remote host closed the connection]
octachron has joined #ocaml
barockobamo has joined #ocaml
weird_error has joined #ocaml
hvn has quit [Ping timeout: 276 seconds]
gareppa has joined #ocaml
jaar has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 245 seconds]
pino|work has joined #ocaml
gareppa has quit [Quit: Leaving]
iovec has quit [Quit: Connection closed for inactivity]
ziyourenxiang_ has quit [Remote host closed the connection]
ziyourenxiang_ has joined #ocaml
narimiran_ has joined #ocaml
narimiran has quit [Ping timeout: 245 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gareppa has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gareppa has quit [Remote host closed the connection]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
narimiran_ is now known as narimiran
bartholin has quit [Remote host closed the connection]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
<rntz2>
is there any good way to use dune together with menhir's --only-tokens and --external-tokens flags?
<rntz2>
oh, I think I've figured it out
jbrown has quit [Quit: Leaving]
jbrown has joined #ocaml
_whitelogger has joined #ocaml
weird_error has quit [Quit: weird_error]
weird_error has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
Haudegen has joined #ocaml
Serpent7776 has joined #ocaml
weird_error has quit [Quit: weird_error]
gobears has joined #ocaml
gravicappa has quit [Ping timeout: 276 seconds]
jaar has quit [Ping timeout: 276 seconds]
gobears has quit [Ping timeout: 240 seconds]
rople has quit [Ping timeout: 240 seconds]
jaar has joined #ocaml
Bitinvestor has quit [Ping timeout: 260 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
jnavila has joined #ocaml
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
spew has joined #ocaml
ygrek has joined #ocaml
tane has joined #ocaml
sepp2k has quit [Read error: Connection reset by peer]
trakjohnson[m] has quit [Remote host closed the connection]
keep-learning[m] has quit [Write error: Connection reset by peer]
Virgile[m] has quit [Remote host closed the connection]
hdurer[m] has quit [Read error: Connection reset by peer]
otini has quit [Read error: Connection reset by peer]
Haudegen[m] has quit [Read error: Connection reset by peer]
jimt[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Read error: Connection reset by peer]
stan[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
ptival[m] has quit [Read error: Connection reset by peer]
dl3br[m] has quit [Read error: Connection reset by peer]
zapashcanon[m] has quit [Remote host closed the connection]
copy` has quit [Read error: Connection reset by peer]
flux[m] has quit [Read error: Connection reset by peer]
peddie has quit [Write error: Connection reset by peer]
rgr[m] has quit [Read error: Connection reset by peer]
aecepoglu[m] has quit [Remote host closed the connection]
smondet[m] has quit [Remote host closed the connection]
ct-pierre has joined #ocaml
ct-pierre has quit [Client Quit]
jack5638 has quit [Ping timeout: 250 seconds]
jack5638 has joined #ocaml
smazga has joined #ocaml
FreeBirdLjj has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
gravicappa has joined #ocaml
barockobamo has quit [Remote host closed the connection]
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
<narimiran>
i don't know if i should ask here or in #vim: is there a way to disable syntax highlighting for ocaml comments in (neo)vim? i would prefer the comment to be just gray/faded, but currently it is highlighted just like normal code.
apostolis has joined #ocaml
<apostolis>
Hello, I am having a syntax error : class agdaConf ?(packages=[])
<apostolis>
: agdaConfig configurable
<apostolis>
configurable is a type of a class , and it is polymorphic over a type ty' : [ ty' ] configurable.
<apostolis>
Here , I want to instantiate that ty' to agdaConfig, but it seems that I am doing something wrong.
<apostolis>
Ok, I just had to add brackets.
Haudegen has quit [Quit: Bin weg.]
AtumT has joined #ocaml
gareppa has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
aecepoglu[m] has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
ptival[m] has joined #ocaml
flux[m] has joined #ocaml
aspiwack[m] has joined #ocaml
keep-learning[m] has joined #ocaml
Haudegen[m] has joined #ocaml
rgr[m] has joined #ocaml
peddie has joined #ocaml
smondet[m] has joined #ocaml
otini has joined #ocaml
jimt[m] has joined #ocaml
zapashcanon[m] has joined #ocaml
hdurer[m] has joined #ocaml
copy` has joined #ocaml
stan[m] has joined #ocaml
Virgile[m] has joined #ocaml
sepp2k has joined #ocaml
regnat[m] has joined #ocaml
trakjohnson[m] has joined #ocaml
dl3br[m] has joined #ocaml
isaachodes[m] has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
smazga has quit [Ping timeout: 264 seconds]
smazga has joined #ocaml
gareppa has quit [Quit: Leaving]
kakadu has joined #ocaml
jaar has quit [Ping timeout: 250 seconds]
<ggole>
It's disappointing how flaky ppx_deriving seems to be in practice. ord doesn't support inline records properly, and compare doesn't know how to compare built-in types.
<ggole>
Seems I'll be writing this one by hand. :/
bartholin has joined #ocaml
count3rmeasure has joined #ocaml
infinity0 has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
gobears has joined #ocaml
presiden has quit [Ping timeout: 245 seconds]
iAmerikan has quit [Ping timeout: 268 seconds]
ravenousmoose has joined #ocaml
iAmerikan has joined #ocaml
presiden has joined #ocaml
gareppa has joined #ocaml
infinity0 has joined #ocaml
apostolis has quit [Quit: WeeChat 2.3]
gareppa has quit [Quit: Leaving]
jaar has joined #ocaml
jaar has quit [Ping timeout: 276 seconds]
gobears has quit []
jbrown has quit [Ping timeout: 276 seconds]
KeyJoo has quit [Quit: KeyJoo]
jbrown has joined #ocaml
ggole has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 250 seconds]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 268 seconds]
Nahra_ has joined #ocaml
Nahra_ has quit [Client Quit]
Haudegen has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]
kvda has joined #ocaml
kakadu has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hop3 has joined #ocaml
<hop3>
Hey, guys, I need to make a GUI for a program written in OCaml that could be executed in a website as well. As I am familiar with Python, I was thinking about using Pyml and Pyforms/Django. Any thoughts?
spew has quit [Quit: Connection closed for inactivity]
fixme has joined #ocaml
smazga has quit [Quit: leaving]
weird_error has joined #ocaml
ziyourenxiang_ has joined #ocaml
hop3 has quit [Ping timeout: 246 seconds]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 252 seconds]
Haudegen has quit [Ping timeout: 268 seconds]
AtumT_ has quit [Read error: Connection reset by peer]