You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6690 Reporter: mandrykin Assigned to:@garrigue Status: closed (set by @xavierleroy on 2016-12-07T10:37:04Z) Resolution: fixed Priority: normal Severity: minor Platform: x86_64 OS: Linux (3.2.0) OS Version: Ubuntu 12.04 Version: 4.02.1 Fixed in version: 4.02.2+dev / +rc1 Category: typing Monitored by:@gasche
Bug description
The ocamlopt compiler fails when compiling the attached file.
Tested with current trunk version (@15621).
Failure occurs for both the first and the second wrong `vexpr' functions (they both have incorrect type annotations), the commented correct function compiles successfully.
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 =
function
| Local -> fun _ -> raise Exit
| Global -> fun _ -> raise Exit
Original bug ID: 6690
Reporter: mandrykin
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2016-12-07T10:37:04Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: x86_64
OS: Linux (3.2.0)
OS Version: Ubuntu 12.04
Version: 4.02.1
Fixed in version: 4.02.2+dev / +rc1
Category: typing
Monitored by: @gasche
Bug description
The ocamlopt compiler fails when compiling the attached file.
Tested with current trunk version (@15621).
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
4.03.0+dev5-2014-10-15
$ ocamlopt test_wildcard_or_variabe.ml
Fatal error: exception Not_found
File attachments
The text was updated successfully, but these errors were encountered: