Haudegen has quit [Remote host closed the connection]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
halogenandtoast has quit [Ping timeout: 248 seconds]
silver has quit [Read error: Connection reset by peer]
halogenandtoast has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 265 seconds]
pierpal has joined #ocaml
halogenandtoast has quit [Ping timeout: 256 seconds]
halogenandtoast has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
theglass has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 256 seconds]
halogenandtoast has quit [Ping timeout: 264 seconds]
pierpa has quit [Quit: Page closed]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
caltelt_ has joined #ocaml
jimmyrcom has quit [Ping timeout: 265 seconds]
jbrown has quit [Ping timeout: 240 seconds]
mengu_ has quit [Remote host closed the connection]
hdon has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
cbot has quit [Quit: Leaving]
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
caltelt_ has quit [Ping timeout: 248 seconds]
pierpal has quit [Remote host closed the connection]
shinnya has joined #ocaml
smondet[m] has quit [Ping timeout: 240 seconds]
nkhodyunya has quit [Ping timeout: 245 seconds]
regnat[m] has quit [Ping timeout: 245 seconds]
rgr[m] has quit [Ping timeout: 245 seconds]
multiocracy[m] has quit [Ping timeout: 245 seconds]
peddie[m] has quit [Ping timeout: 245 seconds]
ansiwen has quit [Ping timeout: 256 seconds]
drsmkl[m] has quit [Ping timeout: 240 seconds]
hdurer[m] has quit [Ping timeout: 240 seconds]
RouvenAssouly[m] has quit [Ping timeout: 240 seconds]
remix2000[m] has quit [Ping timeout: 260 seconds]
yetanotherion[m] has quit [Ping timeout: 260 seconds]
bglm[m] has quit [Ping timeout: 260 seconds]
srenatus has quit [Ping timeout: 255 seconds]
h11 has quit [Ping timeout: 245 seconds]
Walter[m] has quit [Ping timeout: 245 seconds]
caseypme[m] has quit [Ping timeout: 245 seconds]
flux[m] has quit [Ping timeout: 256 seconds]
dlebrecht[m] has quit [Ping timeout: 256 seconds]
M-martinklepsch has quit [Ping timeout: 256 seconds]
Haudegen[m] has quit [Ping timeout: 260 seconds]
aspiwack[m] has quit [Ping timeout: 260 seconds]
copy` has quit [Ping timeout: 260 seconds]
M-jimt has quit [Ping timeout: 245 seconds]
Bluddy[m] has quit [Ping timeout: 260 seconds]
orbifx[m] has quit [Ping timeout: 255 seconds]
equalunique[m] has quit [Ping timeout: 255 seconds]
spectrumgomas[m] has quit [Ping timeout: 276 seconds]
neatonk[m] has quit [Ping timeout: 256 seconds]
isaachodes[m] has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
halogenandtoast has joined #ocaml
halogenandtoast has quit [Ping timeout: 255 seconds]
malina has joined #ocaml
ansiwen has joined #ocaml
shw has left #ocaml [#ocaml]
equalunique[m] has joined #ocaml
multiocracy[m] has joined #ocaml
M-martinklepsch has joined #ocaml
peddie[m] has joined #ocaml
bglm[m] has joined #ocaml
RouvenAssouly[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
M-jimt has joined #ocaml
drsmkl[m] has joined #ocaml
aspiwack[m] has joined #ocaml
remix2000[m] has joined #ocaml
hdurer[m] has joined #ocaml
caseypme[m] has joined #ocaml
srenatus has joined #ocaml
copy` has joined #ocaml
smondet[m] has joined #ocaml
h11 has joined #ocaml
dlebrecht[m] has joined #ocaml
isaachodes[m] has joined #ocaml
Bluddy[m] has joined #ocaml
Haudegen[m] has joined #ocaml
rgr[m] has joined #ocaml
Walter[m] has joined #ocaml
neatonk[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
orbifx[m] has joined #ocaml
regnat[m] has joined #ocaml
nkhodyunya has joined #ocaml
flux[m] has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 255 seconds]
madroach has quit [Quit: leaving]
mk9 has joined #ocaml
jnavila has joined #ocaml
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
TarVanimelde has joined #ocaml
cthuluh has joined #ocaml
gareppa has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
gareppa has quit [Quit: Leaving]
pierpal has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
TarVanimelde has quit [Quit: TarVanimelde]
nephanth has joined #ocaml
dakk has joined #ocaml
MercurialAlchemi has joined #ocaml
dakk has quit [Remote host closed the connection]
tarptaeya has joined #ocaml
mk9 has quit [Quit: mk9]
Haudegen has joined #ocaml
mfp has joined #ocaml
hdon has joined #ocaml
zolk3ri has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
inr__ is now known as inr
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
argent_smith has joined #ocaml
malina has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
mengu has joined #ocaml
tarptaeya has quit [Ping timeout: 256 seconds]
tarptaeya has joined #ocaml
jnavila has joined #ocaml
tarptaeya_ has joined #ocaml
hdon has joined #ocaml
tarptaeya has quit [Ping timeout: 256 seconds]
mnemem has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
silver has joined #ocaml
nephanth has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
malina has joined #ocaml
halogenandtoast has joined #ocaml
kalio has quit [Quit: WeeChat 2.1]
kalio has joined #ocaml
halogenandtoast has quit [Ping timeout: 265 seconds]
dhil has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
malina has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
jnavila has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
argent_smith1 has joined #ocaml
spew has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
jack5638 has quit [Ping timeout: 276 seconds]
jbrown has joined #ocaml
jack5638 has joined #ocaml
mnemem has quit [Ping timeout: 256 seconds]
halogenandtoast has joined #ocaml
jnavila has joined #ocaml
shw has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
btbytes has joined #ocaml
btbytes has quit [Client Quit]
halogenandtoast has quit [Ping timeout: 240 seconds]
argent_smith1 has quit [Quit: Leaving.]
spew has quit [Quit: Leaving...]
mnemem has joined #ocaml
mnemem has quit [Ping timeout: 248 seconds]
psnively has joined #ocaml
psnively has quit [Client Quit]
psnively has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
_y has joined #ocaml
<_y>
hey! reading the manual and experimenting with Scanf, i found this hackish format to match either \n or <EOF>: "%_1[\r]@\n"
FreeBirdLjj has joined #ocaml
<_y>
(in fact this also matches \r\n and \r<EOF> but it’s a feature i don’t care about)
<_y>
this is somewhat painful, does someone knows of a better way (still using Scanf)?
<_y>
*know
<octachron>
_y, you could use a %r reader, something like "let end_or_newline ib = if Scanf.Scanning.end_of_input ib then true else Scanf.bscanf ib "\n" false"
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
<_y>
octachron, true
AustrianBavarian has joined #ocaml
<AustrianBavarian>
hI :) noobie here. Does anybody know what I can do if ocamlfind can not find package but it is clearly installed?
<wilfredh>
I think this is some module voodoo parameterised over a type somehow?
<wilfredh>
I'm trying to work out what the correct incantation is for values of type 'int list option'
clog has quit [Ping timeout: 245 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<thizanne>
int list is a type
<thizanne>
list int is a value
<thizanne>
alcotest provides you some value combinators that describe types
<thizanne>
it's like if you wrote:
<thizanne>
let int = 42
<wilfredh>
oh, they're values that happen to have the same name as types?
<thizanne>
let list x = [x]
<thizanne>
let foo = list int
mnemem has quit [Ping timeout: 256 seconds]
<thizanne>
yes
<thizanne>
which is totally ok because there is no place in the language where you can use either a value or a type
<wilfredh>
thanks, that makes sense
<wilfredh>
so I'll have to look more closely at the docs, as my intuitions of what a list (the type) is, don't necessarily apply to the list function defined in alcotest
jnavila has joined #ocaml
<wilfredh>
perfect, Alcotest.(check (option (list int))) is what I needed :)
tane has quit [Quit: Leaving]
dhil has quit [Ping timeout: 265 seconds]
pierp has joined #ocaml
jnavila has quit [Remote host closed the connection]
mnemem has joined #ocaml
mnemem has quit [Ping timeout: 265 seconds]
jao has joined #ocaml
mengu has joined #ocaml
FreeBirdLjj has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
Aequus has joined #ocaml
discord has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
clog has joined #ocaml
mengu has joined #ocaml
mengu has quit [Client Quit]
wilfredh has quit [Ping timeout: 240 seconds]
pierpal has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
halogenandtoast has joined #ocaml
larhat has quit [Quit: Leaving.]
mnemem has joined #ocaml
halogenandtoast has quit [Ping timeout: 264 seconds]
ziyourenxiang has joined #ocaml
Guest11839 is now known as tsani
cbot has joined #ocaml
TheRuralJuror has quit [Remote host closed the connection]