Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000246OCaml~DO NOT USE (was: OCaml general)public2000-12-14 11:182000-12-15 01:46
Assigned To 
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000246: Variables de rangee faibles & signaturess
DescriptionFull_Name: Sylvain Boulme
Version: 3.00
OS: Linux RedHat 6.2
Submission from: (

Le parser (et le typeur ?) dans le toplevel reagit de facon anormale en
de variables de rangee faibles dans les signatures.

Par exemple, sous l'hypothese du code suivant :

class foo =
   method printA = "A"

module Titi =
    let f y (x:#foo) = x
    let blah = f 0

Le module "Titi" a la signature :

 val f : 'a -> (#foo as 'b) -> 'b
 val blah : (_#foo as 'a) -> 'a

Si on essaye de definir :

module type Toto =
    val f : 'a -> (#foo as 'b) -> 'b
    val blah : (_#foo as 'a) -> 'a

La reponse est
 The type constructor foo expects 0 argument(s),
 but is here applied to 1 argument(s)

De meme, si on essaye de definir :

module type Toto =
    val blah : < printA: string; _..>

La reponse est
  Syntax error: 'end' expected, the highlighted 'sig' might be unmatched



TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2000-12-15 01:46

The user cannot input weak type variables. Only the compiler can show them.

- 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