Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

message d'erreur pas clair #3713

Closed
vicuna opened this issue Sep 19, 2002 · 1 comment
Closed

message d'erreur pas clair #3713

vicuna opened this issue Sep 19, 2002 · 1 comment

Comments

@vicuna
Copy link

vicuna commented Sep 19, 2002

Original bug ID: 1395
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour,

je n'ai pas assez de connaissances pour savoir si l'exemple suivant est
typable en théorie (sans doute un problème avec le fait que le type c
n'est pas connu au bon moment), mais le message d'erreur ne me semble peut
convaincant :

    Objective Caml version 3.06+3 (2002-09-18)

class type c = object

method m : 'a. (#c as 'a) -> bool

end
;;
The abbreviation #c expands to type #c but is used with type < .. >

@vicuna
Copy link
Author

vicuna commented Feb 2, 2005

Comment author: administrator

Wish granted a while ago (JG)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant