<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
<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)
<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]