Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004730OCamlOCaml generalpublic2009-02-25 10:252009-03-02 07:44
Reporterjm 
Assigned To 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.0+beta 
Target VersionFixed in Version3.11.1+dev 
Summary0004730: type 'a t = 'a is not correctly handled by the typechecker.
Description% cat a.ml
type 'a t = 'a
module M
  : sig val get : 'a t -> string end
  = struct let get t = t end;;
""^M.get 0
% ocamlc a.ml
% ./a.out
zsh: segmentation fault ./a.out
% ocamlc -v
The Objective Caml compiler, version 3.12.0+dev2 (2009-01-25)
Standard library directory: /usr/local/lib/ocaml
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0004844)
Christophe Troestler (reporter)
2009-03-01 16:19

Bug already present in version 3.10.2.
(0004846)
garrigue (manager)
2009-03-02 07:44

Thanks for reporting this incredibly stupid bug, which was due to a
wrong variable name when refactoring code in version 1.205.2.4 of ctype.ml.

This is now fixed in CVS, head and branches 3.10 and 3.11.

- Issue History
Date Modified Username Field Change
2009-02-25 10:25 jm New Issue
2009-03-01 16:19 Christophe Troestler Note Added: 0004844
2009-03-02 07:44 garrigue Note Added: 0004846
2009-03-02 07:44 garrigue Status new => closed
2009-03-02 07:44 garrigue Resolution open => fixed
2009-03-02 07:44 garrigue Fixed in Version => 3.11.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker