avsm changed the topic of #mirage to: mirage 2 released! party on!
smondet has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
smondet` has joined #mirage
smondet has quit [Ping timeout: 240 seconds]
brson has quit [Ping timeout: 240 seconds]
brson has joined #mirage
agarwal1975 has joined #mirage
agarwal1975 has quit [Client Quit]
brson has quit [Ping timeout: 250 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
mcclurmc has quit [Ping timeout: 265 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
mcclurmc has joined #mirage
srenatus[m] has joined #mirage
rgrinberg has quit [Ping timeout: 250 seconds]
mcclurmc has quit [Ping timeout: 260 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
tg has joined #mirage
apache2_ has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
jermar has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
andreas23 has joined #mirage
dezzy has joined #mirage
smondet` has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
_whitelogger has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
xet7_ is now known as xet7
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
demonimin has quit [Ping timeout: 248 seconds]
yomimono has joined #mirage
mato_ is now known as mato
demonimin has joined #mirage
demonimin has quit [Changing host]
demonimin has joined #mirage
NhanH has quit [Ping timeout: 240 seconds]
NhanH has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
agarwal1975 has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
rgrinberg has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
agarwal1975 has joined #mirage
jermar has quit [Ping timeout: 248 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
srenatus[m] has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mcclurmc has joined #mirage
andreas23 has quit [Quit: Leaving.]
brson has joined #mirage
mort___ has joined #mirage
copy` has joined #mirage
noddy has joined #mirage
ricarkol has joined #mirage
srenatus[m] has quit [Ping timeout: 240 seconds]
smondet has joined #mirage
ricarkol has quit [Quit: Page closed]
NhanH has quit [Ping timeout: 240 seconds]
mort___1 has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
NhanH has joined #mirage
ebagdasa has joined #mirage
brson has quit [Ping timeout: 260 seconds]
brson has joined #mirage
ebagdasa has quit [Read error: Connection reset by peer]
yomimono has quit [Quit: Leaving]
<demonimin> what do the infix operators in a config.ml do: @@, @->, $?
<demonimin> I have a stripped down unikernel that builds, but I don't understand most of it
<hannes> a $ b is the same as a (b) (thus syntactic sugar to avoid parens)
<demonimin> I don't get the difference between @@ and $ yet. Thanks for the functoria link.
jermar has joined #mirage
<hannes> ups, ehm... $ is also from functoria https://mirage.github.io/functoria/Functoria.html#VAL($)
<hannes> (or as part of Functoria_key with a slightly different meaning https://mirage.github.io/functoria/Functoria_key.html#VAL($) )
<demonimin> Thank you, that's much clearer
brson has quit [Quit: leaving]
mort___ has joined #mirage
mort___2 has joined #mirage
mort___1 has quit [Ping timeout: 240 seconds]
mort___ has quit [Ping timeout: 248 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
noddy has quit [Ping timeout: 265 seconds]
rgrinberg has joined #mirage
mort___2 has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
mort___ has joined #mirage
noddy has joined #mirage
rgrinberg has quit [Read error: Connection reset by peer]
_whitelogger has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Read error: Connection reset by peer]
_whitelogger_ has joined #mirage
_whitelogger has quit [*.net *.split]
smondet has quit [*.net *.split]
reynir has quit [*.net *.split]
tg has quit [Remote host closed the connection]
Drup has quit [*.net *.split]
lobo has quit [*.net *.split]
pris has quit [*.net *.split]
tg has joined #mirage
noddy has quit [*.net *.split]
pris has joined #mirage
lobo has joined #mirage
Drup has joined #mirage
mcclurmc has quit [Ping timeout: 260 seconds]
strmpnk has quit [Ping timeout: 260 seconds]
strmpnk has joined #mirage
mrutland has quit [Ping timeout: 260 seconds]
mrutland has joined #mirage
smondet has joined #mirage
noddy has joined #mirage
<demonimin> ocaml-cstruct has "let blit_to_string = blit_to_bytes" at https://github.com/mirage/ocaml-cstruct/blob/master/lib/cstruct.ml#L210
<demonimin> And I get this when calling blit_to_string: "Error: This expression has type string but an expression was expected of type
<demonimin> Bytes.t = bytes". Am I doing anything wrong?
brson has joined #mirage
rgrinberg has joined #mirage
<demonimin> hmm, seems like mirage is using safe strings, and the module I'm porting isn't designed for it. I'll have to patch it, oh joy
mcclurmc has joined #mirage
jermar has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
mcclurmc has quit [Ping timeout: 248 seconds]