<d_bot>
<syrusakbary> I'm trying to create a WebAssembly integration for OCaml... anyone have already experience on using c/libffi bindings in OCaml?
ArthurStrong has quit [Quit: leaving]
<d_bot>
<Scred> need help with ocaml
<d_bot>
<Scred> easy program that I am having troubles debugging
mxns has joined #ocaml
vicfred has quit [Quit: Leaving]
<d_bot>
<beheddard> python is just so nice for scientific work to be honest. I toyed with julia briefly, but I'd rather use Ocaml with pyplot bindings if I am going to use another language
<amr>
Julia has list and generator comprehensions. Dict and set you can then get from a generator at the expense of one extra set of parentheses
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
infinity0 has quit [Remote host closed the connection]
mxns has joined #ocaml
infinity0 has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 256 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
vicfred has joined #ocaml
clmg has joined #ocaml
<clmg>
Why is OCaml better than Haskell?
clmg has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
<d_bot>
<darrenldl> i don't know if anyone is making that claim here
vicfred has quit [Quit: Leaving]
narimiran has joined #ocaml
<d_bot>
<Scred> fuck you
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
snowpanda has joined #ocaml
seliopou has quit [Ping timeout: 256 seconds]
seliopou has joined #ocaml
<zmagii>
Is there an interactive type tutorial for OCaml in Emacs?
<zmagii>
(Like, can I load an OCaml file and execute lines with C-RET?
seliopou has quit [Ping timeout: 240 seconds]
seliopou has joined #ocaml
remexre has quit [Ping timeout: 256 seconds]
remexre has joined #ocaml
jlr has joined #ocaml
mxns has joined #ocaml
shawnw has joined #ocaml
Haudegen has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
Tuplanolla has joined #ocaml
borne has joined #ocaml
orbifx has joined #ocaml
snowpanda has quit [Quit: Leaving...]
johnel_ is now known as johnel
<octachron>
zmagii, tuareg has an interactive mode for executing lines or buffer in the REPL.
jnavila has joined #ocaml
<d_bot>
<Christophe> But it's not a tutorial
<d_bot>
<Christophe> I think the interesting part here is the ocaml tutorial that would use tuareg mode to be interactive?
jnavila has quit [Ping timeout: 256 seconds]
<ymherklotz>
Does anyone actually know of a good guide to get the repl in tuareg to work for dune projects?
<ymherklotz>
Flycheck and everything else works well, but never got the repl to work, also not sure what repl to use, like the default ocaml one or utop
arecaceae has quit [Remote host closed the connection]
<d_bot>
<Drup> Hmm, there is no `-emacs` argument to `dune utop` .... @rgrinberg is there a strong reason for that ?
arecaceae has joined #ocaml
<ymherklotz>
Ah that actually helped me along a bit!
<ymherklotz>
There is: dune utop . -- -emacs
<ymherklotz>
But it still doesn't find all my modules yet
<vsiles>
is anyone using the `select` library stanza in dune ?
<vsiles>
I'm moving from dune lang 1.0 to 2.X and it looks like I can no longer refer to filenames in sub directories... that's sad
<vsiles>
Looking for a workaround
remexre has quit [Ping timeout: 256 seconds]
remexre has joined #ocaml
mfp has joined #ocaml
__anshikaaa__ has joined #ocaml
__anshikaaa__ has quit [Client Quit]
bartholin has joined #ocaml
boxscape has joined #ocaml
mxns has joined #ocaml
shawnw has quit [Ping timeout: 260 seconds]
waleee-cl has joined #ocaml
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
andreas303 has quit [Ping timeout: 268 seconds]
andreas303 has joined #ocaml
orbifx has quit [Quit: orbifx]
ewd has joined #ocaml
TheLemonMan has joined #ocaml
boxscape has quit [Quit: Connection closed]
boxscape has joined #ocaml
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
boxscape has quit [Client Quit]
boxscape has joined #ocaml
orbifx has joined #ocaml
vicfred has joined #ocaml
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
boxscape has quit [Quit: Connection closed]
bartholin has quit [Client Quit]
borne has quit [Ping timeout: 272 seconds]
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
jbrown has quit [Quit: Leaving]
jlr has quit [Ping timeout: 272 seconds]
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
borne has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
ewd has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
vicfred has quit [Ping timeout: 240 seconds]
andreas303 has quit [Ping timeout: 268 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
omni has quit [Ping timeout: 265 seconds]
omni has joined #ocaml
vicfred has joined #ocaml
vicfred has quit [Client Quit]
andreas303 has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
raver has quit [Ping timeout: 272 seconds]
banjiewen__ has quit [Ping timeout: 268 seconds]
terabit has quit [Ping timeout: 272 seconds]
tomjack has quit [Read error: Connection reset by peer]
narimiran has quit [Ping timeout: 265 seconds]
tomjack has joined #ocaml
sz0 has quit [Ping timeout: 264 seconds]
banjiewen__ has joined #ocaml
sz0 has joined #ocaml
terabit has joined #ocaml
zebrag has joined #ocaml
neiluj has quit [Quit: leaving]
mxns has joined #ocaml
motherfsck has quit [Read error: Connection reset by peer]
qwr has joined #ocaml
<d_bot>
<Scred> guys
<d_bot>
<Scred> go fuck yourselves
<d_bot>
<Scred> litteraly
<qwr>
type 'a zz = [> `A ] as 'a and 'a bzz = { moo: 'a zz };; gives Type 'a zz should be an instance of [> `A ] zz - what i'm doing wrong?
<qwr>
with separate declarations its ok, but i'm wanting to declare circular type like with `A of bzz
tane has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
<steenuil>
qwr: do you need the type parameter for anything?
<steenuil>
you could just do `type zz = [> `A ] and bzz = { moo: zz }`
<steenuil>
oh right, there's the [>
<qwr>
i want to leave the type open for additional variants, otherwise would use plain variants
adrien has quit [*.net *.split]
jun has quit [*.net *.split]
jun has joined #ocaml
adrien has joined #ocaml
<steenuil>
this seems to work: `type 'a zz = ([> `A ] as 'a) and 'a bzz = { moo: ([> `A ] as 'a) };;`
<steenuil>
but then there's really no need for two declarations I guess
seliopou has quit [Ping timeout: 246 seconds]
<qwr>
hm yes, in the real type there are 10 variants, which i would not like to duplicate :)
<qwr>
of course I could use plain variants with | Other 'a, but it looks like it should be possible with polymorphic variants without repeating them :)
<octachron>
You can split the ast_node and pattern_part from the mutually recursive group (by removing the constraint 'a = 'a ast) and replace 'a ast_node by 'a ast ast_node
mxns has quit [Ping timeout: 264 seconds]
<qwr>
ok, that worked, only thing is that now the ast_node has no constraint on 'a