<Jumeb>
File "dune-project", line 1, characters 11-14:
<Jumeb>
1 | (lang dune 2.8)
<Jumeb>
^^^
<Jumeb>
Error: Version 2.8 of dune is not supported.
<Jumeb>
Supported versions:
<Jumeb>
- 0.0
<Jumeb>
- 1.0 to 1.2
<Jumeb>
Makefile:26: recipe for target 'all' failed
<Jumeb>
make: *** [all] Error 1
<Jumeb>
`
<d_bot>
<NULL> Upgrade dune as well, you have an old version it appears
<d_bot>
<NULL> You can `opam update && opam upgrade` more generally
<Jumeb>
Yes, unfortunately it is still 1.2.2
<d_bot>
<NULL> `hash -d opam`
Tuplanolla has quit [Quit: Leaving.]
<Jumeb>
My opam version is now 2.1.0, but I still get the above error
Jumeb has quit [Quit: Client closed]
wingsorc has quit [Quit: Leaving]
brettgilio has quit [Quit: Leaving...]
brettgilio has joined #ocaml
rgrinberg has joined #ocaml
andreypopp has quit [Ping timeout: 245 seconds]
andreypopp has joined #ocaml
wyrd has joined #ocaml
jess has quit [Quit: Lost terminal]
jess has joined #ocaml
zebrag has quit [Remote host closed the connection]
waleee has quit [Ping timeout: 252 seconds]
infinity0_ has joined #ocaml
infinity0 is now known as Guest732
infinity0_ is now known as infinity0
average has quit [Quit: Connection closed for inactivity]
mbuf has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
Serpent7776 has joined #ocaml
nfc_ has quit [Ping timeout: 265 seconds]
mro has joined #ocaml
wyrd has quit [Quit: leaving]
wyrd has joined #ocaml
wyrd has quit [Client Quit]
cedric has joined #ocaml
wyrd has joined #ocaml
wyrd has quit [Quit: leaving]
nfc_ has joined #ocaml
wyrd has joined #ocaml
Haudegen has joined #ocaml
cedric has quit [Quit: Konversation terminated!]
wyrd has quit [Quit: leaving]
wyrd has joined #ocaml
wyrd has quit [Client Quit]
wyrd has joined #ocaml
glassofethanol has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
glassofethanol has quit [Ping timeout: 252 seconds]
hendursa1 has joined #ocaml
mro has quit [Remote host closed the connection]
hendursaga has quit [Ping timeout: 276 seconds]
mro has joined #ocaml
glassofethanol has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
kakadu has joined #ocaml
gravicappa has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 245 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot>
<patricoferris> To avoid filling up the general channel Jumeb (and if you can't join the outreachy channel because you are using IRC) please feel free to open an issue on v3.ocaml.org-server where I can help you out
rond_ has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
motherfsck has joined #ocaml
nd__ has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 264 seconds]
hendursa1 has quit [Ping timeout: 276 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
rond_ has quit [Quit: Client closed]
hendursa1 has joined #ocaml
mro has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<Alistair> Type theorists out there, I've been reading up on HM(X) (http://cristal.inria.fr/~remy/mpri/cours.pdf), and I was wondering how you'd express a mutually recursive `let rec` w/ it. Any hints?
mro has joined #ocaml
<d_bot>
<andreypopp> I'm yet to implement this in my HM(=) implementation but curious what are the issues you can see with it?
<d_bot>
<andreypopp>
<d_bot>
<andreypopp> As I understand you'd need to lower it to constraint level similar to what they do with `let in` constraint abstraction.
<d_bot>
<andreypopp> happy to be proven wrong though as I'd really like to keep constraints language simple.
<d_bot>
<andreypopp> (and obviously not a type theorist here)
gravicappa has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
<d_bot>
<Alistair> The `let in` constraint abstraction is not required for the definition of the type system (but for it's inference)
<d_bot>
<Alistair> I've come up a typing rule for it thats admissible under a simple fixpoint, but need to see whether it'll work out
<d_bot>
<Drup> @TheBloodlessMan Pretty sure "The essence of ML type inference" answers that question explicitely. IIRC, it's not particularly difficult.
<companion_cube>
has anyone studied a restriction of OCaml that does away with let polymorphism?
<companion_cube>
or, rather, where it's restricted to toplevel functions
<d_bot>
<Drup> companion_cube: plenty, all the languages without full inference
<companion_cube>
do you have to forgot inference?
<d_bot>
<Drup> @TheBloodlessMan You might need an additional form of constraints that is not shown in the shorten presentation from those slides, to tie the knot
<companion_cube>
forgo*
<d_bot>
<Drup> Not really, but otherwise it's kinda crap
<companion_cube>
what about a subset of OCaml that typechecks both normally and without let polymorphism? :p
<d_bot>
<Drup> yes, as I said, kinda crap 😄
<d_bot>
<Alistair> Yes, Haskell's OutsideIn removes local let polymorphism. If I recall correctly, there was a study into the usage of local polymorphism in OCaml, but not too sure who did it 😅
<companion_cube>
@Drup kinda crap unless you actually need it, is all
<companion_cube>
I wonder if gospel needs it for example
<companion_cube>
too much polymorphism is a curse for code analysis
<d_bot>
<Drup> hm, OutsideIn can still do some local generalization, no ?
zebrag has joined #ocaml
<d_bot>
<Alistair> Nope
<d_bot>
<Drup> really ? erk. At least you can annotated to force it
<d_bot>
<Alistair> Well the initial algorithm from "Complete and Decidable inference for GADTs" can
<d_bot>
<Alistair> but, their generalization to OutsideIn(X) cannot
<d_bot>
<Alistair> Due to global type class constraints if I remember correctly
<d_bot>
<Drup> ah yeah, it's the usual double edged sword
hendursa1 has quit [Quit: hendursa1]
<d_bot>
<Drup> (in any case, OutsideIn(X) definitely qualifies in my mind as "languages without full inference")
<d_bot>
<Alistair> I've not been able to find it in emlti. They deal w/ a simple fixpoint (w/ syntactic sugar to letrec), but no mutual recursion.
hendursaga has joined #ocaml
<d_bot>
<Drup> ah, mutual recursion ... you might need parallel lets in order to deal with that properly, it's a bit trickier
<companion_cube>
@Drup I'm interested in a specializable fragment of OCaml
<companion_cube>
(well, s/I/we at work/ anyway)
<companion_cube>
and that clashes hard with some of the polymorphic features
<d_bot>
<Drup> yeah, it does, ocaml's design is very non-specializable
<companion_cube>
which is not great for Gospel I'm sure
<d_bot>
<Drup> I'm not so sure about that. They are going to need to handle some form of polymorphism anyway
<d_bot>
<Drup> (There is a concrete plan for polymorphic functions and abstract types)
<companion_cube>
well if you're talking to theorem provers you can kiss let polymorphism goodbye
<companion_cube>
(or inline the lets, which is a workaround I think)
<companion_cube>
polymorphic functions that are specializable? or even polymorphic recursion? :p
<d_bot>
<Drup> It's not like all those code verifier never inline anything 😄
<d_bot>
<Drup> in any case, I would separate the need for performance (proper speialization) and for verification. I don't think they align so much
<companion_cube>
no, verification often requires specialization because most tools support very limited forms of polymorphism
<companion_cube>
well
<companion_cube>
I should say monomorphization, as well. not just specialization
<companion_cube>
(which is useful to get rid of HO)
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
rond_ has joined #ocaml
gravicappa has joined #ocaml
mbuf has quit [Quit: Leaving]
salkin has quit [Remote host closed the connection]
mro has joined #ocaml
glassofethanol has quit [Quit: leaving]
mro has quit [Ping timeout: 252 seconds]
rond_ has quit [Quit: Client closed]
hackinghorn has joined #ocaml
mro has joined #ocaml
mclovin has quit [Quit: Bridge terminating on SIGTERM]
mewfree[m] has quit [Quit: Bridge terminating on SIGTERM]
krnkktz has quit [Quit: Bridge terminating on SIGTERM]
saltrocklamp[m] has quit [Quit: Bridge terminating on SIGTERM]
smondet[m] has quit [Quit: Bridge terminating on SIGTERM]
marinelli[m] has quit [Quit: Bridge terminating on SIGTERM]
schube[m] has quit [Quit: Bridge terminating on SIGTERM]
CodeBitCookie[m] has quit [Quit: Bridge terminating on SIGTERM]
krnkktz has joined #ocaml
nd___ has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
nd__ has quit [Ping timeout: 245 seconds]
mg has quit [Quit: sysupgrade]
nd___ has quit [Ping timeout: 268 seconds]
bartholin has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
mclovin has joined #ocaml
schube[m] has joined #ocaml
CodeBitCookie[m] has joined #ocaml
saltrocklamp[m] has joined #ocaml
smondet[m] has joined #ocaml
mewfree[m] has joined #ocaml
marinelli[m] has joined #ocaml
<companion_cube>
is there a way to disable "depext" in opam by default?
nd__ has joined #ocaml
mg has joined #ocaml
mg has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
hendursaga has joined #ocaml
Haudegen has joined #ocaml
hornhack has joined #ocaml
hackinghorn has quit [Ping timeout: 265 seconds]
mro has quit [Remote host closed the connection]
waleee has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
wonko has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
gravicappa has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 245 seconds]
Serpent7776 has quit [Quit: leaving]
kurfen has quit [Quit: WeeChat 2.3]
hexology has quit [Quit: hex on you ...]
mro has joined #ocaml
wyrd has quit [Quit: leaving]
mro has quit [Ping timeout: 252 seconds]
wonko has quit [Ping timeout: 245 seconds]
Tuplanolla has joined #ocaml
cedric has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
p4bl0 has quit [Remote host closed the connection]