_whitelogger_ has quit [Remote host closed the connection]
_whitelogger_ has joined #ocaml
_whitelogger_ has joined #ocaml
Serpent7776 has joined #ocaml
Serpent7776 has joined #ocaml
narimiran has quit [Ping timeout: 256 seconds]
narimiran has quit [Ping timeout: 256 seconds]
shawnw has joined #ocaml
shawnw has joined #ocaml
shawnw has quit [Quit: Leaving]
shawnw has quit [Quit: Leaving]
shawnw has joined #ocaml
shawnw has joined #ocaml
steenuil has quit [Ping timeout: 240 seconds]
steenuil has quit [Ping timeout: 240 seconds]
steenuil has joined #ocaml
steenuil has joined #ocaml
tryte_ has joined #ocaml
tryte_ has joined #ocaml
tryte has quit [Ping timeout: 268 seconds]
tryte has quit [Ping timeout: 268 seconds]
laokz has joined #ocaml
laokz has joined #ocaml
brj has quit [Ping timeout: 265 seconds]
brj has quit [Ping timeout: 265 seconds]
vicfred has quit [Quit: Leaving]
vicfred has quit [Quit: Leaving]
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
dhil has joined #ocaml
Haudegen has joined #ocaml
Haudegen has joined #ocaml
brj has joined #ocaml
brj has joined #ocaml
_whitelogger_ has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
borne has joined #ocaml
narimiran has joined #ocaml
wonko7 has joined #ocaml
hosewiejacke has joined #ocaml
Haudegen has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
bartholin has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
chripell_ has joined #ocaml
chripell has quit [Ping timeout: 260 seconds]
laokz has joined #ocaml
nepascourir has joined #ocaml
laokz has quit [Remote host closed the connection]
laokz has joined #ocaml
laokz has quit [Ping timeout: 240 seconds]
mphi has joined #ocaml
mphi has quit [Quit: mphi]
nepascourir has quit [Quit: Leaving]
glass is now known as theglass
mfp has joined #ocaml
henistein has joined #ocaml
henistein has left #ocaml [#ocaml]
narimiran has quit [Ping timeout: 265 seconds]
gareppa has joined #ocaml
gareppa has quit [Client Quit]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
laokz has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Nahra` has joined #ocaml
Nahra` has quit [Remote host closed the connection]
Nahra has joined #ocaml
laokz has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
hosewiejacke has quit [Ping timeout: 245 seconds]
shawnw has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 244 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
hosewiejacke has joined #ocaml
mxns has joined #ocaml
zebrag has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
<d_bot_>
<annazolkieve> It turns out that the distribution was Ubuntu 16.04. The solution for my issues was to install Ubuntu 20.04 and then redo all the steps. Thanks for the attention.
Haudegen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
laokz has joined #ocaml
mxns has joined #ocaml
laokz has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
waleee-cl has joined #ocaml
vicfred has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
hosewiejacke has quit [Ping timeout: 245 seconds]
cervelle has joined #ocaml
cervelle has left #ocaml [#ocaml]
hosewiejacke has joined #ocaml
nepascourir has joined #ocaml
brj has quit [Ping timeout: 258 seconds]
vicfred has quit [Quit: Leaving]
brj has joined #ocaml
vicfred has joined #ocaml
narimiran has joined #ocaml
nepascourir has quit [Quit: Leaving]
spiegelau has joined #ocaml
spiegelau has quit [Client Quit]
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
ArthurStrong has joined #ocaml
hosewiejacke has quit [Ping timeout: 245 seconds]
hosewiejacke has joined #ocaml
flux has quit [Ping timeout: 268 seconds]
BitPuffin has quit [Ping timeout: 268 seconds]
hosewiejacke has quit [Ping timeout: 272 seconds]
Haudegen has quit [Quit: Bin weg.]
benc_ has joined #ocaml
andreas31 has quit [Ping timeout: 268 seconds]
andreas31 has joined #ocaml
BitPuffin has joined #ocaml
<benc_>
I try to compile an ocaml project using js_of_ocaml on windows.
<benc_>
Some webpage advises using esy to compile on windows. After setting up the project, the compilation fails with js_of_ocaml-ppx not found.
<benc_>
After looking around I have found that in the esy repository the package @opam/js_of_ocaml-ppx does not exist while @opam/js_of_ocaml exists.
<benc_>
I have two questions, is there a way to use ocaml on windows easily and if it is with esy why jsoo is not found ?
flux has joined #ocaml
ArthurStrong has quit [Ping timeout: 245 seconds]
mxns has quit [Ping timeout: 244 seconds]
mxns has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
neiluj has joined #ocaml
zebrag has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
borne has quit [Ping timeout: 264 seconds]
mxns has quit [Ping timeout: 260 seconds]
mbuf has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
Haudegen has joined #ocaml
mxns has joined #ocaml
hackinghorn has joined #ocaml
borne has joined #ocaml
<hackinghorn>
hii
<hackinghorn>
what is the difference between .cmt and .cmti
Anarchos has joined #ocaml
<d_bot_>
<Christophe> `i` extensions are usually for interfaces, rule of
<d_bot_>
<Christophe> thumb
<d_bot_>
<octachron> `cmt` and `cmti` are fragments of the typed tree (the intermediary representation after typechecking). `cmt` are from implementation (aka ml) files and `cmti` from interface (aka mli) files.
Tuplanolla has joined #ocaml
<hackinghorn>
ahh thanks
<hackinghorn>
d_bot_ are multiple people?
<hackinghorn>
so if I -bin-annot, it can produce both .cmt and .cmti?
<hackinghorn>
oh .ml will give .cmt and .mli gives .cmti?
<companion_cube>
hackinghorn: it's the bridge to discord, yes
<d_bot_>
<octachron> And yes: ml ⇒ cmt, mli ⇒ cmti
<hackinghorn>
thankss, discord here I come
mxns has quit [Ping timeout: 268 seconds]
tane has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
<d_bot_>
<EduardoRFS> benc_: @opam/js_of_ocaml-ppx works for me with esy, may I se your json manifest?
<d_bot_>
<froyo> sooo can you define something ubiquitous like haskell's `undefined` in a strict language like ocaml? I mean it's probably not as useful without laziness (besides as a typechecking placeholder).
<d_bot_>
<froyo> note that
<d_bot_>
<froyo> ```ocaml
<d_bot_>
<froyo> let undefined = assert false
<d_bot_>
<froyo> ```
<d_bot_>
<froyo> works, but the assertion error message is in the wrong place (it points where undefined is.. defined :P).
<d_bot_>
<froyo>
<d_bot_>
<froyo> ```ocaml
<d_bot_>
<froyo> exception Undefined
<d_bot_>
<froyo> let undefined = raise Undefined
<d_bot_>
<froyo> ```
<d_bot_>
<froyo> is the closest i can think of. is that it perhaps? exceptions are bottoms after all, yeah?
<benc_>
EduardoRFS: esy works on ubuntu with my manifest file but not on windows the manifest is quit simple : {"dependencies": { "ocaml": "4.11.x","@opam/dune": "*", "@opam/js_of_ocaml" :"*","@opam/js_of_ocaml-ppx" :"*" }}
<d_bot_>
<Drup> @HYPHEN your second piece of code also fails eagerly
<d_bot_>
<Drup> you need something like `let undefined () = assert false`
<d_bot_>
<froyo> yeah none are lazy
<d_bot_>
<Drup> or ... you can write "assert false" at the right place
<d_bot_>
<Drup> it's not much longer than undefined 🙂
<d_bot_>
<froyo> thought about that, and `lazy`, but then the type is no longer `'a`
<d_bot_>
<froyo> that's what I do (and see in the wild)
<d_bot_>
<froyo> merlin does `(??)` but it doesn't compile
<steenuil>
lazy in OCaml is explicit, you have to force it with Lazy.force
zebrag has quit [Quit: Konversation terminated!]
<steenuil>
it's more useful to think of it as a value you don't have to recompute
zebrag has joined #ocaml
hosewiejacke has joined #ocaml
<d_bot_>
<roddy> Yeah the usual thing for placeholder purposes is just to put `assert false` or `failwith "Unimplemented"` where you need
hosewiejacke has quit [Remote host closed the connection]
ArthurStrong has joined #ocaml
vicfred has quit [Quit: Leaving]
<d_bot_>
<froyo> lazy is also explicit on type-level. so you can have, with your `undefined` definition, either laziness or generality -- not both.
<d_bot_>
<froyo> i mean you're still general over anything lazy fwiw. so then to have both, your entire codebase would have to be lazy xD
<d_bot_>
<froyo> y'know what'd be cool? Module-level laziness and a `strict` keyword.
<d_bot_>
<froyo>
<d_bot_>
<froyo> ```ocaml
<d_bot_>
<froyo> module lazy M
<d_bot_>
<froyo> = struct
<d_bot_>
<froyo> (** Everything here is lazily evaluated
<d_bot_>
<froyo> * unless annotated with {strict} **)
<d_bot_>
<froyo> end
<d_bot_>
<froyo> ```
narimiran has quit [Ping timeout: 258 seconds]
kini has quit [Quit: bye]
kini has joined #ocaml
landonf has quit [Excess Flood]
landonf has joined #ocaml
tryte_ has quit [Quit: _]
tryte has joined #ocaml
oriba has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
<d_bot_>
<Nina> Hello Humans : )
<d_bot_>
<Nina> Just joined today !
mxns has quit [Ping timeout: 268 seconds]
wonko7 has quit [Ping timeout: 265 seconds]
<d_bot_>
<froyo> o/
<d_bot_>
<Butanium> Welcome !
Serpent7776 has quit [Quit: leaving]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
mxns has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
ArthurStrong has quit [Quit: leaving]
mxns has quit [Ping timeout: 245 seconds]
mxns has joined #ocaml
kini has quit [Remote host closed the connection]
kini has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
hackinghorn has quit [Ping timeout: 256 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]