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: 6981 Reporter: labichn Assigned to:@garrigue Status: closed (set by @xavierleroy on 2017-02-16T14:16:27Z) Resolution: fixed Priority: normal Severity: crash Platform: x86_64 OS: Arch GNU/Linux OS Version: 4.1.6-1 Version: 4.02.3 Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: typing Related to:#6513 Monitored by:@hcarty
Bug description
See steps to reproduce for minimal example.
The bug occurs in a functor with two parameters, where the first module Bar contains a private row type (either PV or open object) and the second module contains a private, open object type that refers to any type inside of Bar (not just the private row type).
I'm unsure of what the behavior should be (found this during some refactoring with stale code), but I imagine it's not a unification error:
Fatal error: exception Ctype.Unify(_)
I was able to reproduce this error for all compiler versions 4.00.1 and above. In 3.12.1 the error is formatted slightly differently:
Fatal error: exception Ctype.Unify(_, _)
Steps to reproduce
cat bug.ml
module type S =
sig
type a
type b
end
module Foo
(Bar : S with type a = private [> `A])
(Baz : S with type b = private < b : Bar.b ; .. >) =
struct
end
ocamlc bug.ml
Fatal error: exception Ctype.Unify(_)
The text was updated successfully, but these errors were encountered:
Original bug ID: 6981
Reporter: labichn
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:16:27Z)
Resolution: fixed
Priority: normal
Severity: crash
Platform: x86_64
OS: Arch GNU/Linux
OS Version: 4.1.6-1
Version: 4.02.3
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Related to: #6513
Monitored by: @hcarty
Bug description
See steps to reproduce for minimal example.
The bug occurs in a functor with two parameters, where the first module Bar contains a private row type (either PV or open object) and the second module contains a private, open object type that refers to any type inside of Bar (not just the private row type).
I'm unsure of what the behavior should be (found this during some refactoring with stale code), but I imagine it's not a unification error:
Fatal error: exception Ctype.Unify(_)
I was able to reproduce this error for all compiler versions 4.00.1 and above. In 3.12.1 the error is formatted slightly differently:
Fatal error: exception Ctype.Unify(_, _)
Steps to reproduce
The text was updated successfully, but these errors were encountered: