0003848: inappropriate error message for ill-typed type paths - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0003848

OCaml

OCaml general

public

2005-11-08 10:20

2012-09-11 14:06

Reporter

administrator

Assigned To

Priority

low

Severity

text

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

4.00.1+dev

Fixed in Version

Summary

0003848: inappropriate error message for ill-typed type paths

Description

Full_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

Tags

No tags attached.

Relationships

Notes
(0003451) doligez (manager) 2005-12-15 14:29	Lookup functions from Env module should report more details for failures.

(0008062) doligez (manager) 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