zolk3ri has quit [Remote host closed the connection]
weird_error has quit [Quit: weird_error]
jimt is now known as Jim7J1AJH
kvda has joined #ocaml
_5HT has joined #ocaml
_5HT has quit [Ping timeout: 268 seconds]
analogue has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
analogue has quit [Quit: Leaving]
silver has quit [Read error: Connection reset by peer]
Jim7J1AJH is now known as jimt
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
jimt is now known as Jim7J1AJH
<simpson>
Hi! Still learning the language. I have a situation that boils down to this short example, playing around at toplevel: https://bpaste.net/show/zdjt This doesn't type-check; how can I help it?
hvn has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tormen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
tormen_ has quit [Ping timeout: 265 seconds]
<lyxia>
module Bar(F : FOO with type t = unit) : BAR with type t = unit = struct type t = F.t let g = F.f end;;
<lyxia>
simpson: ^
FreeBirdLjj has joined #ocaml
Jim7J1AJH is now known as jimt
<simpson>
lyxia: Interesting. Thank you.
nullifidian has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kvda has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 265 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
_5HT has joined #ocaml
_5HT has quit [Ping timeout: 240 seconds]
jack5638 has quit [Ping timeout: 265 seconds]
jack5638 has joined #ocaml
gravicappa has joined #ocaml
hvn has quit [Ping timeout: 265 seconds]
mbuf has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
hvn has joined #ocaml
hvn has quit [Ping timeout: 245 seconds]
hvn has joined #ocaml
hvn has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 245 seconds]
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
hvn has joined #ocaml
gareppa has joined #ocaml
FreeBirdLjj has joined #ocaml
iovec has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
barockobamo has joined #ocaml
Serpent7776 has joined #ocaml
hvn has quit [Ping timeout: 268 seconds]
bartholin has quit [Remote host closed the connection]
gareppa has quit [Quit: Leaving]
hvn has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
gareppa has quit [Remote host closed the connection]
jack5638 has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
mfp has joined #ocaml
jaar has joined #ocaml
vicfred_ has quit [Quit: Leaving]
vicfred has joined #ocaml
hvn has quit [Ping timeout: 265 seconds]
gareppa has joined #ocaml
jaar has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
adrianbrink has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<Nikkel>
Is there any nice way to get an 'a from an Eliom_shared.S.Value 'a?
FreeBirdLjj has joined #ocaml
gravicappa has quit [Ping timeout: 245 seconds]
kini has quit [Quit: No Ping reply in 180 seconds.]
kini has joined #ocaml
ggole has joined #ocaml
barockobamo has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
<narimiran>
is there a way to make Vim have proper multiline comments, with opening parenthesis only at the start? (i'm using "tpope/vim-commentary", but the best i could do is for every line to have `(* .... *)`, which is not recommended from what i can see)
barockobamo has joined #ocaml
jaar has joined #ocaml
gravicappa has joined #ocaml
barockobamo has quit [Ping timeout: 246 seconds]
silver has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
nullifidian_ has joined #ocaml
narimiran_ has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
narimiran has quit [Ping timeout: 265 seconds]
zolk3ri has joined #ocaml
narimiran_ is now known as narimiran
malina has joined #ocaml
Haudegen has joined #ocaml
gareppa has quit [Quit: Leaving]
<CcxWrk>
narimiran: Maybe the Surround plugin would work for you.
<narimiran>
CcxWrk: i have that plugin too, i'll see if i can make it work. (or if you have the working solution already, i would like to hear about it :))
<CcxWrk>
Not really.
gravicappa has quit [Ping timeout: 265 seconds]
gareppa has joined #ocaml
gareppa has quit [Client Quit]
sagax has quit [Read error: Connection reset by peer]
count3rmeasure has joined #ocaml
gahr has quit [Quit: leaving]
gahr has joined #ocaml
count3rmeasure has quit [Client Quit]
count3rmeasure has joined #ocaml
sagax has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
gravicappa has joined #ocaml
barockobamo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tane has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<porchetta>
what does isout mean in the lambda representation?
<porchetta>
is there documentation on the possible functions defined inthe lambda representation?