Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001276OCaml~DO NOT USE (was: OCaml general)public2002-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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker