Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Uncaught exception (Not_found) with (wrong) wildcard or unification type variable in place of a local abstract type #6690
Original bug ID: 6690
The ocamlopt compiler fails when compiling the attached file.
Failure occurs for both the first and the second wrong `vexpr' functions (they both have incorrect type annotations), the commented correct function compiles successfully.
Steps to reproduce
$ ocamlopt -version
Comment author: mandrykin
Actually, a wildcard or a type variable in place of the concrete type (unit or whatever) is also necessary to reproduce the failure, as the following
let vexpr (type visit_action) : (unit, 'result, visit_action) context -> unit -> visit_action =
leads to an error message.