ocamllabs/ocaml-modular-implicits

Update opam

Aaylor opened this issue · 5 comments

The modular implicits compiler is not updated on opam.
After a "opam upgrade && opam update", i still have this version :

4.02.1+dev0-2014-08-29

Some fixes are not available (as #7)

The opam repo is pointed at the head of the branch so it should get you the latest version. However, I don't think that opam upgrade && opam update will trigger reinstalls of compilers, you should try opam switch reinstall 4.02.0+module-implicits instead.

Even with the reinstallation, my version of modular-implicits compiler stay the same

The version string is out of date, but the compiler itself is up to date.

I still have the same issue with the example in #7

➜  rlwrap ocaml -dsource
        OCaml version 4.02.1+dev0-2014-08-29

# let f (implicit M : Map.S)  () = ();;

let f (implicit M : (M : Map.S))  () = ();;
val f : (implicit M : Map.S) -> unit -> unit = <fun>

It's not quite the same: the source printer was previously printing

let f (implicit M : (M : (module Map.S))) () = ();;

but now it's printing

let f (implicit M : (M : Map.S)) () = ();;

Feel free to re-open #7, since the printing is still not quite right. I'm going to close this issue, since the OPAM setup is working as intended.