adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
traviss has joined #ocaml
weird_error has joined #ocaml
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]
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 240 seconds]
kvda has quit [Quit: Textual IRC Client: www.textualapp.com]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
bitwinery has quit [Quit: Leaving]
gareppa has joined #ocaml
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?
<Armael> lambda is an internal representation, the documentation is the implementation of the compiler
gareppa has joined #ocaml
nullifidian_ is now known as nullifidian
sagax has quit [Quit: Konversation terminated!]
sagax has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
Serpent7776 has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
barockobamo has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
pkkm has joined #ocaml
smazga has joined #ocaml
ski has quit [Ping timeout: 264 seconds]
ski has joined #ocaml
ziyourenxiang has quit [Ping timeout: 265 seconds]
spew has joined #ocaml
threewood has left #ocaml [#ocaml]
malc_ has joined #ocaml
AtumT has joined #ocaml
gareppa has quit [Quit: Leaving]
GreyFaceNoSpace has quit [Remote host closed the connection]
Mrbuck has joined #ocaml
Mrbuck has left #ocaml ["WeeChat 1.4"]
malina has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
j9m has quit [Ping timeout: 265 seconds]
j9m has joined #ocaml
mbuf has quit [Quit: Leaving]
bartholin has joined #ocaml
jaar has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
ggole has quit [Quit: Leaving]
gareppa has joined #ocaml
jnavila has joined #ocaml
smazga has quit [Quit: leaving]
Haudegen has joined #ocaml
dckc has quit [Ping timeout: 276 seconds]
traviss has quit [Quit: Leaving]
vicfred has quit [Quit: Leaving]
dckc has joined #ocaml
vicfred has joined #ocaml
vicfred has quit [Client Quit]
vicfred has joined #ocaml
bitwinery has joined #ocaml
vicfred has quit [Ping timeout: 245 seconds]
count3rmeasure has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 240 seconds]
traviss has joined #ocaml
KeyJoo has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
<spew> can someone recommend a way to make a char QCheck.Gen.t that only returns characters in the range A-Z, a-z, 0-9?
<spew> companion_cube: I'm looking at you buddy
<spew> QCheck.Gen.printable is too broad
KeyJoo has quit [Ping timeout: 245 seconds]
<spew> okay I came up with a way that's not bad
<spew> this in case anyone is curious: let rec filter c = match c with 'a' .. 'z' -> pure c | _ -> printable >>= filter
<spew> let me know anyone if you have a better idea
jnavila has quit [Remote host closed the connection]
<spew> slightly better: let rec filter chargen = chargen >>= fun c -> match c with 'a' .. 'z' -> pure c | _ -> filter chargen
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
tane has quit [Quit: Leaving]
gareppa has quit [Quit: Leaving]
malc_` has joined #ocaml
malc_ has quit [Remote host closed the connection]
<companion_cube> spew:you could use the integer ranges for the ascii codes, and then `Gen.map Char.chr` it
<companion_cube> although it's not very nice
<spew> that would be more efficient
malc_` has left #ocaml [#ocaml]
<companion_cube> the problem with filter is that if you do it wrong, you get a non-terminating generator
<spew> yes, I mean technically it never has to terminate
<companion_cube> like `filter (fun x -> x < 0) (1 -- 10)`
<spew> if I get very very unlucky
<spew> or yeah alternatively if chargen were "pure $"
<companion_cube> if you write one with the `map Char.chr`, please contribute it ;)
<spew> pure '$' I mean
<spew> companion_cube: will do :)
<spew> if I weren't going to explode with too much work already, that is
<companion_cube> you might also have to put a filter in the shrink, btw
<companion_cube> to prevent chars from shrinking below 'a'
<companion_cube> being shrunk*
vicfred has joined #ocaml
kakadu has quit [Remote host closed the connection]
zapashcanon[m] has joined #ocaml
zapashcanon has left #ocaml ["WeeChat 2.6"]
Hrundi_V_Bakshi has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
nullifidian_ is now known as nullifidian
AtumT has quit [Ping timeout: 276 seconds]
spew has quit [Quit: Connection closed for inactivity]
Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 276 seconds]
zolk3ri has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml