| Anonymous | Login | Signup for a new account | 2013-05-24 12:33 CEST |  |
| 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 | |||
| 0005449 | OCaml | OCaml general | public | 2011-12-23 17:13 | 2011-12-28 03:24 | |||
| Reporter | pilki | |||||||
| Assigned To | garrigue | |||||||
| Priority | none | Severity | feature | Reproducibility | N/A | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | ||||||||
| Target Version | Fixed in Version | 3.13.0+dev | ||||||
| Summary | 0005449: In GADT's, _ type variables are replaced with 'a, 'b, etc | |||||||
| Description | When you define the gadt: <<< type 'int eq_int = EqInt : int eq_int >>> ocamlc -i produces the correct interface <<< type 'int eq_int = EqInt : int eq_int >>> But if you define <<< type (_, _) eq = Eq: ('a, 'a) eq >>> you obtain <<< type ('a, 'b) eq = Eq : ('a, 'a) eq >>> where the _s have been replaced by type variables. The _ should be kept | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
|
(0006529) garrigue (manager) 2011-12-24 02:31 |
I see the point. Having new variables appear in type definitions may be confusing. However "_" is not a real variable name, so this requires some thinking. Maybe we could have just a special behavior only for type definitions, as one cannot add a constraint to an unnamed type parameter inside the definition. |
|
(0006543) garrigue (manager) 2011-12-28 03:24 |
Fixed in Printtyp and Oprint, revision 11964. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2011-12-23 17:13 | pilki | New Issue | |
| 2011-12-23 17:16 | protz | Relationship added | child of 0005444 |
| 2011-12-24 02:27 | garrigue | Assigned To | => garrigue |
| 2011-12-24 02:27 | garrigue | Status | new => assigned |
| 2011-12-24 02:31 | garrigue | Note Added: 0006529 | |
| 2011-12-24 02:31 | garrigue | Status | assigned => acknowledged |
| 2011-12-28 03:24 | garrigue | Note Added: 0006543 | |
| 2011-12-28 03:24 | garrigue | Status | acknowledged => closed |
| 2011-12-28 03:24 | garrigue | Resolution | open => fixed |
| 2011-12-28 03:24 | garrigue | Fixed in Version | => 3.13.0+dev |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |