Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003848OCamlOCaml generalpublic2005-11-08 10:202012-09-11 14:06
Reporteradministrator 
Assigned To 
PrioritylowSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Version4.00.1+devFixed in Version 
Summary0003848: inappropriate error message for ill-typed type paths
DescriptionFull_Name: Keiko NAKATA
Version: 3.09.0
OS: freebsd
Submission from: silicon.kurims.kyoto-u.ac.jp (130.54.16.72)


The type checker raises an error of Unbound type constructor
for the program below.
It should tell me ill-typedness of F(M).t.
(M does not match the argument signature F expects.)


module F(X:sig type t end) = struct type t = int end
module M = struct end
type t = F(M).t

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003451)
doligez (administrator)
2005-12-15 14:29

Lookup functions from Env module should report more details for failures.
(0008062)
doligez (administrator)
2012-09-11 14:06

Not sure when, but this was fixed between 3.09.0 and 4.00.0.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2005-12-15 14:29 doligez Note Added: 0003451
2005-12-15 14:29 doligez Priority normal => low
2005-12-15 14:29 doligez Severity minor => text
2005-12-15 14:29 doligez Description Updated
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-11 14:06 doligez Note Added: 0008062
2012-09-11 14:06 doligez Status acknowledged => closed
2012-09-11 14:06 doligez Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker