Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006241OCamlOCaml typingpublic2013-11-18 08:432013-11-19 12:10
Reporteryallop 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version4.01.1+dev 
Summary0006241: Assumed inequality between paths involving functor arguments
Description$ cat packages.ml
type (_, _) t =
  A : ('a, 'a) t
| B : string -> ('a, 'b) t

module M (A : sig module type T end) (B : sig module type T end) =
struct
  let f : ((module A.T), (module B.T)) t -> string = function
    | B s -> s
end

module A = struct module type T = sig end end

module N = M(A)(A)

let x = N.f A
$ ocaml packages.ml
Segmentation fault (core dumped)
TagsNo tags attached.
Attached Files

- Relationships
child of 0005998assignedgarrigue GADT typing and exhaustiveness bugs 

-  Notes
(0010650)
garrigue (manager)
2013-11-19 12:10

Usual culprit.
Fixed in trunk and 4.01, revisions 14305-6.

- Issue History
Date Modified Username Field Change
2013-11-18 08:43 yallop New Issue
2013-11-18 08:44 yallop Relationship added child of 0005998
2013-11-19 12:10 garrigue Note Added: 0010650
2013-11-19 12:10 garrigue Status new => resolved
2013-11-19 12:10 garrigue Fixed in Version => 4.01.1+dev
2013-11-19 12:10 garrigue Resolution open => fixed
2013-11-19 12:10 garrigue Assigned To => garrigue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker