Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001276OCamlOCaml generalpublic2002-07-30 14:062002-08-05 07:56
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001276: Vieux bug
DescriptionHello,

le bout de code ci-dessous fait planter le typeur (3.01, 3.04, 3.05)
avec un Invalid_argument("List.iter2"):

module X :
  sig type t = s and s end =
  struct type 'a s = int and t = t s end

-- Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0001000)
administrator (administrator)
2002-08-05 07:56

Ca vient bien sur du nombre different de parametres, qui n'est pas detecte' a`
temps.
J'ai implemente' la solution triviale: echouer dans Ctype.subst quand le nombre
de parametres differe.
Logiquement, il faudrait plutot tester ca dans Includemod, mais je ne sais pas
trop ou`.

Jacques
(0001001)
administrator (administrator)
2002-08-05 07:56

Quick fix by Jacques (2002-08-05)

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker