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.