companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
wingsorc has quit [Quit: Leaving]
Tuplanolla has quit [Quit: Leaving.]
jbrown has joined #ocaml
mxns has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
mxns has joined #ocaml
richbridger has joined #ocaml
aquijoule__ has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
osa1 has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
KeyJoo has joined #ocaml
borne has quit [Ping timeout: 260 seconds]
mxns has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
KeyJoo has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
jmct has quit [Ping timeout: 272 seconds]
mrallen1 has quit [Read error: Connection reset by peer]
mrallen1 has joined #ocaml
ec has quit [Ping timeout: 265 seconds]
jmct has joined #ocaml
ec has joined #ocaml
andreas303 has quit [Ping timeout: 268 seconds]
andreas303 has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]
ansiwen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
inkbottle has quit [Quit: Konversation terminated!]
narimiran has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
osa1 has joined #ocaml
vicfred has quit [Quit: Leaving]
_whitelogger has joined #ocaml
decentpenguin has quit [Read error: Connection reset by peer]
decentpenguin has joined #ocaml
labor[m] has quit [*.net *.split]
Haudegen has joined #ocaml
mxns has joined #ocaml
labor[m] has joined #ocaml
stites[m] has quit [Ping timeout: 240 seconds]
samoht[m] has quit [Ping timeout: 240 seconds]
avsm[m] has quit [Ping timeout: 240 seconds]
smondet[m] has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
flux has quit [Ping timeout: 265 seconds]
jimt[m] has quit [Ping timeout: 246 seconds]
labor[m] has quit [Ping timeout: 258 seconds]
dash has quit [Ping timeout: 244 seconds]
lnxw37d4 has quit [Ping timeout: 244 seconds]
aspiwack[m] has quit [Ping timeout: 244 seconds]
pqwy[m] has quit [Ping timeout: 265 seconds]
aecepoglu[m] has quit [Ping timeout: 265 seconds]
peddie has quit [Ping timeout: 265 seconds]
tjammer[m] has quit [Ping timeout: 240 seconds]
borne has joined #ocaml
mxns has quit [Ping timeout: 268 seconds]
benc has joined #ocaml
mxns has joined #ocaml
BitPuffin has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
bartholin has joined #ocaml
ewd has joined #ocaml
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
mxns has joined #ocaml
peddie has joined #ocaml
stites[m] has joined #ocaml
avsm[m] has joined #ocaml
labor[m] has joined #ocaml
flux has joined #ocaml
lnxw37d4 has joined #ocaml
aspiwack[m] has joined #ocaml
jimt[m] has joined #ocaml
dash has joined #ocaml
aecepoglu[m] has joined #ocaml
pqwy[m] has joined #ocaml
smondet[m] has joined #ocaml
samoht[m] has joined #ocaml
tjammer[m] has joined #ocaml
tane has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
terrorjack has joined #ocaml
olle_ has joined #ocaml
terrorjack has quit [Remote host closed the connection]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
benc has quit [Remote host closed the connection]
jnavila has joined #ocaml
terrorjack has joined #ocaml
terrorjack has quit [Remote host closed the connection]
terrorjack has joined #ocaml
terrorjack has quit [Remote host closed the connection]
terrorjack has joined #ocaml
terrorjack has quit [Remote host closed the connection]
terrorjack has joined #ocaml
benc_ has joined #ocaml
benc_ has quit [Client Quit]
omni has joined #ocaml
emias has quit [Quit: WeeChat 2.3]
mrallen1 has quit [Remote host closed the connection]
ec has quit [Remote host closed the connection]
Duns_Scrotus has quit [Remote host closed the connection]
mgsk has quit [Remote host closed the connection]
jmct has quit [Remote host closed the connection]
mfp has joined #ocaml
ec has joined #ocaml
ec has quit [Remote host closed the connection]
ec has joined #ocaml
mrallen1 has joined #ocaml
jmct has joined #ocaml
Duns_Scrotus has joined #ocaml
mgsk has joined #ocaml
<omni> if anyone is using Alpine Linux in any form, I have an MR (awaiting approval) for upgrading to 4.11.1 and re-add broader platform support https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/18213
<omni> I've disabled tests for x86 since (just) one test is failing, I'd appreciate any input anyone might have on that
emias has joined #ocaml
<avsm[m]> omni: looks good to me. what's the failing x86 test? (i dont quite have the time right now to register on the gitlab instance to post the comment there)
<avsm[m]> omni: for mips, it's a bytecode architecture now, so you can probably not block it due to lack of CI
<avsm[m]> (i.e. you can make it work by not trying to build ocamlopt in the tests)
<omni> avsm[m]: I think you can log in with a regular github.com or gitlab.com account
<omni> I've quoted the error in a comment to the MR, where I also have a link to the CI pipeline output for the build
mxns has joined #ocaml
orbifx has joined #ocaml
<orbifx> Hello all
<orbifx> is it invalid to have a recursive function with a (type x) declaration in it?
<octachron> No
mxns has quit [Ping timeout: 264 seconds]
<orbifx> octachron: I'm getting the error: The type constructor a would escape its scope. But I'm passing that value to a recursive call. Any idea why?
<olle_> paste code (pastebin)
<octachron> It sounds like your function is recursive polymorphic.
<octachron> In that case, you need to explicit the recursive function type: `let f: type a. .... = fun ...`. Otherwise, recursive function are monomorphic in the body of theur definition.
<orbifx> octachron: ah, let me try that. I used `let f (type a) .. =`
<orbifx> is there a difference between those two syntaxes?
<d_bot> <craigfe> `type a.` = `(type a)` + `'a.`, roughly speaking
<orbifx> olle_: the code is a bit of mess right now ^^
Haudegen has quit [Quit: Bin weg.]
<d_bot> <craigfe> i.e. introduces a locally-abstract type _and_ requires it to be polymorphic
robmyers has quit [Remote host closed the connection]
terrorjack has quit [Remote host closed the connection]
<orbifx> octachron: thanks. So there is not why to write this without a `= fun` notation, it has to be written that way?
terrorjack has joined #ocaml
<octachron> Indeed since the function name need to be annotated.
<olle_> A weird quirk in OCaml, I'd say
<orbifx> thanks octachron, trying it now. olle_ what do you mean?
borne has quit [Quit: WeeChat 3.0]
borne has joined #ocaml
robmyers has joined #ocaml
<olle_> You usually want one way to do things.
<olle_> In OCaml it's idiomatic to use let f x y = ... for functions
<olle_> But when you want the extra polymorphy thingy, you need to rewrite it
<orbifx> hmm
<orbifx> is this an ML limitation or ocaml specifically?
<d_bot> <Christophe> out of curiosity, do you need that kind of annotation in the interface files, or is it only for implementations ?
mxns has joined #ocaml
<orbifx> octachron: it worked, thanks. Any tutorial or guide on the whole type a. notation and significance? The manual assumes knowledge
<octachron> olle_ `let f x y` is a syntactic sugar which is desugared to `fun x -> ` .
<olle_> octachron: point still stands :|
<octachron> Christophe, only in implementation: all types variables are implicitly universally quantified (i.e "val f: 'a -> 'a" means "val f:'a. 'a -> 'a") in interfaces.
mxns has quit [Ping timeout: 260 seconds]
<d_bot> <Christophe> That's what I would have guessed, thank you for confirming !
mxns has joined #ocaml
zebrag has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Max SendQ exceeded]
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Remote host closed the connection]
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
vicfred has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
olle_ has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 240 seconds]
stites[m] has quit [Ping timeout: 240 seconds]
stites[m] has joined #ocaml
aspiwack[m] has quit [Ping timeout: 258 seconds]
aspiwack[m] has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
terrorjack has quit [Read error: Connection reset by peer]
terrorjack has joined #ocaml
smerdyakov99 has joined #ocaml
penguwin9 has joined #ocaml
infinigon_ has joined #ocaml
inkbottle has joined #ocaml
bartholin has quit [Quit: Leaving]
amr_ has joined #ocaml
johnel_ has joined #ocaml
Geekingfrog has quit [Quit: ZNC 1.8.2 - https://znc.in]
Geekingfrog has joined #ocaml
rpcope- has joined #ocaml
zebrag has quit [*.net *.split]
rpcope has quit [*.net *.split]
infinigon has quit [*.net *.split]
amr has quit [*.net *.split]
johnel has quit [*.net *.split]
smerdyakov9 has quit [*.net *.split]
penguwin has quit [*.net *.split]
penguwin9 is now known as penguwin
smerdyakov9 has joined #ocaml
infinigon has joined #ocaml
smerdyakov9 has quit [Max SendQ exceeded]
infinigon has quit [Ping timeout: 254 seconds]
infinigon_ is now known as infinigon
avsm[m] has quit [Ping timeout: 244 seconds]
borne has quit [Ping timeout: 260 seconds]
avsm[m] has joined #ocaml
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
Haudegen has joined #ocaml
mxns has joined #ocaml
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
breitenj- has joined #ocaml
breitenj has quit [Ping timeout: 265 seconds]
Tuplanolla has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
jnavila has quit [Remote host closed the connection]
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
_tjr_ has quit [Quit: quitting]
_tjr_ has joined #ocaml
ansiwen has quit [*.net *.split]
remexre has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
ski has quit [*.net *.split]
haesbaert has quit [*.net *.split]
engil has quit [*.net *.split]
Leonidas has quit [*.net *.split]
SoF has quit [*.net *.split]
dan64 has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
Amaan has quit [*.net *.split]
interruptinuse has quit [*.net *.split]
Khady has quit [*.net *.split]
srax has quit [*.net *.split]
Ankhers has quit [*.net *.split]
inkbottle has quit [Quit: Konversation terminated!]
engil has joined #ocaml
remexre has joined #ocaml
DanielRichman has joined #ocaml
srax has joined #ocaml
Serpent7776 has joined #ocaml
interruptinuse has joined #ocaml
Amaan has joined #ocaml
ansiwen has joined #ocaml
Ankhers has joined #ocaml
dan64 has joined #ocaml
Khady has joined #ocaml
haesbaert has joined #ocaml
ski has joined #ocaml
olle has joined #ocaml
Leonidas has joined #ocaml
SoF has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
mxns has joined #ocaml
orbifx has quit [Ping timeout: 272 seconds]
olle has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 272 seconds]
inkbottle has joined #ocaml
mxns has joined #ocaml
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
mxns has joined #ocaml
_tjr_ has joined #ocaml
_tjr_ has quit [Changing host]
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
vicfred has quit [Quit: Leaving]
mxns has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
mxns has quit [Ping timeout: 240 seconds]
vicfred has joined #ocaml
ewd has quit [Ping timeout: 246 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 240 seconds]
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
mxns has joined #ocaml
<d_bot> <Chum> Wait
<d_bot> <Chum> Ocaml doesn’t have Tuple ?
<d_bot> <Chum> How would u reverse a tuple in this case
<d_bot> <Chum> Will it be the same as reversing a list
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
mxns has joined #ocaml
<sleepydog> Chum: can you elaborate? `let flip (x,y) = (y,x)`
mxns has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]