0001833: Bug modules recursifs - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0001833

OCaml

OCaml general

public

2003-09-14 19:08

2009-07-09 17:26

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

3.11.0

Summary

0001833: Bug modules recursifs

Description

Je continue mon mailing de masse :-)

Le programme suivant provoque l'erreur: "Unbound type constructor s"

====
module type S = sig type t end

module rec M :
sig
  type s = C of int
  include S with type t = s
end =
struct
  type s = C of int
  type t = s
end
====

Sans le "rec", ça passe.

-- Alain

Additional Information

Appears fixed in 3.11.0...

Tags

No tags attached.

Relationships

Notes
(0000173) administrator (administrator) 2003-09-15 15:12	This is consistent with the typing algorithm used to elaborate rec sigs: "include" statements that involve components of the rec sig are not allowed. I doubt this will ever change, but leave this as a feature wish just in case. -XL, 2003-09-15

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue
2009-07-09 17:26	xleroy	Status	acknowledged => closed
2009-07-09 17:26	xleroy	Resolution	open => fixed
2009-07-09 17:26	xleroy	Fixed in Version	=> 3.11.0
2009-07-09 17:26	xleroy	Description Updated
2009-07-09 17:26	xleroy	Additional Information Updated

Copyright © 2000 - 2011 MantisBT Group