adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
KeyJoo has quit [Ping timeout: 258 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
davs has joined #ocaml
donflopez has joined #ocaml
davs has quit [Ping timeout: 268 seconds]
sh0t has quit [Remote host closed the connection]
davs has joined #ocaml
orbifx has quit [Ping timeout: 255 seconds]
davs has quit [Ping timeout: 248 seconds]
davs has joined #ocaml
mengu has quit [Remote host closed the connection]
zolk3ri has quit [Quit: leaving]
malina has joined #ocaml
enterprisey has joined #ocaml
zmt00 has quit [Quit: Leaving]
zmt00 has joined #ocaml
<whoman> someone was looking for this - and a few people said it was impossible ? really ?
snhmib has quit [Read error: Connection reset by peer]
_snhmib has joined #ocaml
davs has quit [Ping timeout: 248 seconds]
pierpa has quit [Quit: Page closed]
VermillionAzure has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
silver has quit [Read error: Connection reset by peer]
malina has quit [Quit: Throwing apples of Montserrat]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nomicflux has joined #ocaml
shinnya has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
seangrove has joined #ocaml
nomicflux has quit [Quit: nomicflux]
sapristi has joined #ocaml
sapristi has quit [Quit: Leaving]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
jao has quit [Ping timeout: 248 seconds]
_snhmib has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
alexelcu has quit [Quit: The Lounge - https://thelounge.github.io]
alexelcu has joined #ocaml
zv has quit [Quit: WeeChat 1.9]
zv has joined #ocaml
zv has quit [Client Quit]
zv has joined #ocaml
<rgrinberg> Drup: jbuilder finally supports classical ppx: https://github.com/diml/ppxfind
Anmol_Gautam has joined #ocaml
Anmol_Gautam has quit [Client Quit]
ski has joined #ocaml
anmol has joined #ocaml
<anmol> How to start reading ocaml source code?
<anmol> Which directories to read first?
anmol has quit [Client Quit]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest2075
infinity0_ is now known as infinity0
Guest2075 has quit [Ping timeout: 248 seconds]
zmt00 has quit [Quit: Leaving]
osa1 has joined #ocaml
osa1 has quit [Changing host]
osa1 has joined #ocaml
zv has quit [Ping timeout: 248 seconds]
zv has joined #ocaml
shinnya has joined #ocaml
davs has joined #ocaml
Jesin has quit [Ping timeout: 255 seconds]
kerrhau has quit [Ping timeout: 260 seconds]
davs has quit [Ping timeout: 248 seconds]
kerrhau has joined #ocaml
enterprisey has quit [Remote host closed the connection]
TarVanimelde has joined #ocaml
davs has joined #ocaml
davs has quit [Ping timeout: 248 seconds]
davs has joined #ocaml
Jesin has joined #ocaml
slash^ has joined #ocaml
wxyzzyrd has quit [Ping timeout: 255 seconds]
KeyJoo has joined #ocaml
wxyzzyrd has joined #ocaml
wxyzzyrd has quit [Ping timeout: 255 seconds]
BitPuffin|osx has joined #ocaml
davs_ has joined #ocaml
davs has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
cbot has quit [Quit: Leaving]
snhmib has joined #ocaml
davs has joined #ocaml
argent_smith has joined #ocaml
davs_ has quit [Ping timeout: 255 seconds]
donflopez has joined #ocaml
orbifx has joined #ocaml
govg has joined #ocaml
argent_smith has quit [Quit: Leaving.]
davs has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 248 seconds]
davs has joined #ocaml
davs has quit [Quit: leaving]
osa1 has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
greyfacenospace has joined #ocaml
<M-martinklepsch> I'm trying to replicate this: https://github.com/diml/lambda-term/blob/master/examples/read_yes_no.ml but I'm confused about why Lwt is used so heavily. Could someone explain the rationale behind that design?
nalc has joined #ocaml
davs has joined #ocaml
nalc has quit [Quit: Textual IRC Client: www.textualapp.com]
nalc has joined #ocaml
KeyJoo has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
andreas__ has joined #ocaml
emliunix has quit [Ping timeout: 264 seconds]
andreas___ has joined #ocaml
silver has joined #ocaml
andreas__ has quit []
andreas___ has quit [Quit: Updating details, brb]
andreas_ has joined #ocaml
jao has joined #ocaml
KeyJoo has quit [Ping timeout: 268 seconds]
jnavila has quit [Ping timeout: 255 seconds]
<andreas_> I'm once again wrestling with the value restriction. Any bright ideas on how to tiptoe around this elegantly? https://gist.github.com/andreas/1cf5c9e67528023c0232d6067c9f8aa3
<andreas_> My best suggestion so far is to change silly_int to `unit -> ('a, int option -> 'a) arg_typ`, but this makes the API more cumbersome and unintuitive.
jnavila has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
osa1 has joined #ocaml
malina has joined #ocaml
zv has quit [Ping timeout: 255 seconds]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<octachron> andreas_, with this code extract, it is not clear why arg_type needs to be a GADTs, a simple record works as well and avoid the problem with the value restriction
<andreas_> octachron: in the actual code, the GADT is required to build up a function type..
malina has quit [Remote host closed the connection]
<octachron> I would say that a good part of the design of GADTs heavy library is to try to avoid exposing the GATDs to the users as much as possible
<octachron> so it is kind of hard to answer "how to avoid problems with the value restriction" without the full set constraints
<octachron> *full set of constraints
mengu has joined #ocaml
donflopez has joined #ocaml
kakadu has joined #ocaml
donflopez has quit [Client Quit]
<andreas_> Yeah, GADTs definitely come at a cost.
<andreas_> I think it's one of the best features of the library also, though..
<andreas_> The GraphQL library that is.
snhmib has quit [Ping timeout: 248 seconds]
donflopez has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
<Drup> rgrinberg: oh, that is good
<Drup> Just need to add that to the documentation :3
shinnya has quit [Ping timeout: 260 seconds]
<Drup> M-martinklepsch: it's partially a consequence of how lambda-term works, but in general it's quite useful. For example, you can still do things while waiting for users to enter their command. It's not used in this small example, but if you want complicated completion or disk access while allowing your user to type, it's very useful
snhmib has joined #ocaml
<Drup> andreas_: that's more or less unavoidable with difflists. I mention that in my post :/
<Drup> I'm not sure lists that supports concatenation are so useful in your case, though. Are they ?
snhmib has quit [Ping timeout: 240 seconds]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nalc has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
donflopez has quit [Client Quit]
mengu has quit [Quit: Leaving...]
zolk3ri has joined #ocaml
<rgrinberg> Drup: yeah, once it's released to opam
<andreas_> Drup: concatenation is not necessary in my case... every list is only used in one context. In this case, it's a single element in the list which seems to be the problem.
<andreas_> A single element can be used in multiple lists.
<Drup> I would propose to separate the items of the list from the spine of the list
<Drup> you never have multiple-arguments single elements, do you ?
<andreas_> no
<Drup> then it's fine
<Drup> the current situation is a bit akin to you returning singleton lists every time you return an element
<Drup> you don't need that, you can return elements, and then use the syntactic sugar you have on the list to bring everything together
nomicflux has joined #ocaml
<Drup> We ended up with something similar in dinosaure's farfadet: https://www.youtube.com/watch?v=5XouyzSAXkg
<andreas_> Would you be able to elaborate in the context of the above Gist?
<andreas_> Ok, I'll take a look at farfadet.
<Drup> order are the elements, fmt is the list itself
<Drup> (except farfadet as multiple-argument elements, so we still need the 'v)
<octachron> andreas_, it is mostly a matter of moving all the complicated type-level logic to the list type itself and having simple type for elements
<Drup> yes
<andreas_> Perfect, I'll give that a go. Many thanks!
<Drup> This way, the elements don't have type variables, only the list does
<Drup> so you "confine" value-restriction annoyances
argent_smith has joined #ocaml
<M-martinklepsch> I'm trying to get this example to work but I'm getting a type mismatch on the equal expression on this line: https://github.com/diml/lambda-term/blob/master/examples/read_yes_no.ml#L14 — what am I missing?
nomicflux has quit [Quit: nomicflux]
<Drup> hm, maybe a change in camomille
<Drup> I think there was a release recently
davs has quit [Ping timeout: 260 seconds]
emliunix has joined #ocaml
emliunix has quit [Client Quit]
jimmyrcom_ has joined #ocaml
emliunix has joined #ocaml
orbifx has joined #ocaml
nomicflux has joined #ocaml
osa1 has quit [Ping timeout: 255 seconds]
zv has joined #ocaml
<M-martinklepsch> Drup: I think I understand the types but for some reason the equal expression expects an `int`: This expression has type CamomileLibrary.UPervasives.uchar but an expression was expected of type int
KeyJoo has joined #ocaml
<M-martinklepsch> none of the expressions seem to return an `int` so I don't really get where this is coming from
<Drup> try to downgrade camomille
<M-martinklepsch> (but the way of pattern matching destructuring is also new to me so ...)
nomicflux has quit [Quit: nomicflux]
davs has joined #ocaml
<M-martinklepsch> Hm, tried with 0.8.6 (was 0.8.7) now but no change. And 0.8.5 doesn't compile
riveter has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
riveter has joined #ocaml
jimmyrcom_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
jimmyrcom_ has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
Drup has quit [Quit: Tatayoyo]
gargawel has quit [Read error: Connection reset by peer]
Drup has joined #ocaml
ShalokShalom has quit [Ping timeout: 248 seconds]
cthuluh has quit [Remote host closed the connection]
spew has quit [Ping timeout: 260 seconds]
osa1 has joined #ocaml
davs has quit [Quit: leaving]
donflopez has joined #ocaml
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
dmi3y has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
spew has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zmt00 has joined #ocaml
donflopez has joined #ocaml
Siegfried has joined #ocaml
ilbelkyr has quit [Quit: :tiuQ]
ilbelkyr has joined #ocaml
sh0t has joined #ocaml
ewanas has joined #ocaml
ewanas has quit [Changing host]
ewanas has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Wlad_1608 has joined #ocaml
spew has quit [Ping timeout: 250 seconds]
ilbelkyr has left #ocaml [#ocaml]
ewanas has quit [Client Quit]
jimmyrcom_ has quit [Remote host closed the connection]
ewanas has joined #ocaml
Wlad_1608 has left #ocaml ["AndroIRC"]
jimmyrcom_ has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
wxyzzyrd has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
<rgrinberg> M-martinklepsch: what's your problem with camomile? (I was involved in the recent releases so I might have caused some of these problems)
kakadu_ has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
Siegfried has quit [Quit: Textual IRC Client: www.textualapp.com]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 255 seconds]
dmi3y has quit [Quit: dmi3y]
kerrhau has quit [Ping timeout: 248 seconds]
dmi3y has joined #ocaml
donflopez has joined #ocaml
<M-martinklepsch> rgrinberg: hey :) basically I couldn't get the lambda-term example linked above to work with latest camomile
<rgrinberg> M-martinklepsch: which version of OCaml, and what's the error?
<rgrinberg> Maybe I just forgot to update the examples in lambda-term
<rgrinberg> let me check
<M-martinklepsch> 4.04, error is that the equal expression expects an `int`:  "This expression has type CamomileLibrary.UPervasives.uchar but an expression was expected of type int"
<rgrinberg> Hmm, that doesn't seem like it's an error due to anything that occured recently
<rgrinberg> I wonder when was the last time this code compiled
<rgrinberg> ok well that example works for me
<rgrinberg> what's your version of Camomile?
<rgrinberg> and zed?
<rgrinberg> 0.8.7 and 1.6 for me respectively
<M-martinklepsch> same
<octachron> M-martinklepsch, are you using Core or Base?
<M-martinklepsch> octachron: Base
<octachron> Base redefine `=` to `int->int->bool`, there is the problem.
wxyzzyrd has quit [Ping timeout: 255 seconds]
<M-martinklepsch> I'll try to publish the code on Github later today
kerrhau has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Client Quit]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
tane has quit [Quit: Leaving]
<M-martinklepsch> octachron: oooooohhh!
seangrove has quit [Ping timeout: 240 seconds]
sapristi has joined #ocaml
VermillionAzure has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
osa1 has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
barcabuona has joined #ocaml
greyfacenospace has quit [Quit: Ex-Chat]
kerrhau has quit [Quit: bye!]
jao has joined #ocaml
donflopez has joined #ocaml
pierpa has joined #ocaml
snhmib has joined #ocaml
donflopez has quit [Client Quit]
KeyJoo has quit [Read error: Connection reset by peer]
snhmib has quit [Quit: WeeChat 1.6]
snhmib has joined #ocaml
KeyJoo has joined #ocaml
KeyJoo has quit [Remote host closed the connection]
KeyJoo has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
dmi3y has quit [Quit: dmi3y]
donflopez has joined #ocaml
madpat_ has joined #ocaml
malina has joined #ocaml
madpat_ has quit [Client Quit]
jnavila has quit [Remote host closed the connection]
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
ewanas has quit [Quit: Leaving]
cthuluh has joined #ocaml
snhmib has quit [Quit: WeeChat 1.6]
snhmib has joined #ocaml
madpat has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
snhmib has quit [Client Quit]
snhmib has joined #ocaml
jimmyrcom_ has joined #ocaml
Exagone313 has quit [Quit: see ya!]
snhmib has quit [Client Quit]
snhmib has joined #ocaml
Exagone313 has joined #ocaml
jbrown has joined #ocaml
snhmib has quit [Client Quit]
snhmib has joined #ocaml
snhmib has quit [Client Quit]
snhmib has joined #ocaml
donflopez has quit [Quit: Textual IRC Client: www.textualapp.com]
donflopez has joined #ocaml
baboum has joined #ocaml
orbifx has joined #ocaml
madpat has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
madpat has joined #ocaml
sapristi has quit [Quit: Leaving]
spew has quit [Ping timeout: 240 seconds]
ShalokShalom has joined #ocaml
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
phase_ has joined #ocaml
phase_ has quit [Client Quit]
madpat has quit [Quit: Have a good day! :)]
madpat has joined #ocaml
FreeBirdLjj has joined #ocaml
baboum has quit [Quit: WeeChat 1.9.1]
silver_ has joined #ocaml
silver has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBird_ has joined #ocaml
barcabuona has left #ocaml ["WeeChat 1.9.1"]
FreeBird_ has quit [Ping timeout: 255 seconds]
snhmib has quit [Read error: Connection reset by peer]
snhmib has joined #ocaml
nomicflux has joined #ocaml
argent_smith has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
jlam has quit [Ping timeout: 248 seconds]
jlam has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
kakadu has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
ShalokShalom has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
KeyJoo has quit [Ping timeout: 260 seconds]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ziyourenxiang has quit [Remote host closed the connection]
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
zolk3ri has quit [Quit: leaving]