mnemem has quit [Read error: Connection reset by peer]
mnemem has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
mnemem has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 258 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
_whitelogger has joined #ocaml
mengu has joined #ocaml
yawaramin has quit [Ping timeout: 258 seconds]
mengu has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
yawaramin has joined #ocaml
rdavison has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
mengu has joined #ocaml
enterprisey has quit [Quit: Leaving]
govg has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
yawaramin has quit [Ping timeout: 258 seconds]
cbot has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
lopex has quit [Quit: Connection closed for inactivity]
tane has quit [Quit: Leaving]
slash^ has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
rdavison has quit [Quit: rdavison]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest62127
infinity0_ is now known as infinity0
Guest62127 has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 255 seconds]
_whitelogger has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 258 seconds]
Associat0r has quit [Ping timeout: 258 seconds]
mengu has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
cbot has quit [Ping timeout: 258 seconds]
argent_smith has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mnemem has joined #ocaml
cbot has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
Associat0r has joined #ocaml
Associat0r has joined #ocaml
kolko has joined #ocaml
mfp__ has joined #ocaml
Space_Sheep has quit [Ping timeout: 240 seconds]
Space_Sheep has joined #ocaml
profan has quit [Remote host closed the connection]
shinnya has joined #ocaml
AltGr has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
mrgrieves has joined #ocaml
lgd has joined #ocaml
lgd has joined #ocaml
FreeBirdLjj has joined #ocaml
kolko has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
ziyourenxiang has joined #ocaml
lopex has joined #ocaml
erwantin has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
fraggle_ has joined #ocaml
AlexRussia has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
fraggle_ has joined #ocaml
jnavila has joined #ocaml
AltGr has left #ocaml [#ocaml]
ShalokShalom_ has joined #ocaml
AlexRussia has joined #ocaml
rand__ has joined #ocaml
enterprisey has joined #ocaml
jonasen has joined #ocaml
jonasen has joined #ocaml
mengu has joined #ocaml
jnavila has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
jnavila has joined #ocaml
jnavila has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
SpiceGuid has joined #ocaml
superherointj has joined #ocaml
raphaelss has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
jbrown has joined #ocaml
superherointj has joined #ocaml
AlexRussia has joined #ocaml
copy_ has joined #ocaml
FreeBirdLjj has joined #ocaml
rdavison has joined #ocaml
jlouis has joined #ocaml
mbuf has joined #ocaml
argent_smith has joined #ocaml
rdavison has joined #ocaml
mnemem has joined #ocaml
yawaramin has joined #ocaml
dakk has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
eni has joined #ocaml
kerrhau has joined #ocaml
kerrhau has joined #ocaml
stux|RC-only has joined #ocaml
shinnya has joined #ocaml
MooseAndCaml has joined #ocaml
<MooseAndCaml>
hi, does anyone here use yojson? Is there a pretty-print for writing, where records are on different lines, indented etc?
stux|RC-only has joined #ocaml
<smondet[m]>
MooseAndCaml: all the `Yojson.Safe.pretty_*` functions?
yawaramin has joined #ocaml
kakadu has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
kakadu_ has joined #ocaml
Associat0r has joined #ocaml
Associat0r has joined #ocaml
ygrek has joined #ocaml
TheLemonMan has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
stux|RC-only has joined #ocaml
<infinity0>
is there a way to pass a function like (eq : 'a . 'a -> 'a -> 'a) as a parameter into another higher-order function so that you can use it with two different instances for 'a inside that function
<infinity0>
i seem to remember ocaml had problems with this but forget what words to google for to read about it
<companion_cube>
I don't think you can, it's not ML polymorphism anymore :/
<companion_cube>
you probably need to wrap the function in a record
<companion_cube>
which will provide the explicit quantification
<infinity0>
ah, ouch
<Drup>
Yes, you need either records or objects for local universal quantifications
<Drup>
(note that inline records works)
<infinity0>
that worked, thanks
<infinity0>
type ('s, 'k) test_helper = { run_transition: 'a . ('s -> 'a * 's) -> world -> 'k list -> 'a * 'k list }