Anonymous | Login | Signup for a new account | 2019-02-22 22:28 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
ID | Project | Category | View Status | Date Submitted | Last Update | |||
0004191 | OCaml | ~DO NOT USE (was: OCaml general) | public | 2006-12-21 03:09 | 2006-12-28 06:54 | |||
Reporter | jyh | |||||||
Assigned To | ||||||||
Priority | normal | Severity | trivial | Reproducibility | always | |||
Status | closed | Resolution | fixed | |||||
Platform | OS | OS Version | ||||||
Product Version | 3.09.3 | |||||||
Target Version | Fixed in Version | 3.10+dev | ||||||
Summary | 0004191: Incorrect type variable renaming in error messages about method types | |||||||
Description | The following error message is inconsistent about method "test" having type 'b -> bool, as well as 'a -> bool (incorrect). This is pretty trivial, but may be worth mentioning. # class ['a] is_x x = object (self : 'self) method test y = (x = y) end;; Characters 5-87: ..... ['a] is_x x = object (self : 'self) method test y = (x = y) end.... Some type variables are unbound in this type: class ['a] is_x : 'b -> object method test : 'b -> bool end The method test has type 'a -> bool where 'a is unbound | |||||||
Tags | No tags attached. | |||||||
Attached Files | ||||||||
![]() |
|||
Date Modified | Username | Field | Change |
2006-12-21 03:09 | jyh | New Issue | |
2006-12-28 06:54 | garrigue | Status | new => closed |
2006-12-28 06:54 | garrigue | Note Added: 0003889 | |
2006-12-28 06:54 | garrigue | Resolution | open => fixed |
2006-12-28 06:54 | garrigue | Fixed in Version | => 3.10+dev |
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 |