Poly/ML / Bugs / #3 Incorrect prefix when pretty printing hierarchical types

#3 Incorrect prefix when pretty printing hierarchical types

Status: open

Owner: nobody

Labels: None

Priority: 1

Updated: 2011-12-12

Created: 2011-12-12

Creator: Phil Clayton

Private: No

In some cases, the type name printed back to users does not exist due to an incorrect prefix. The attached example shows A.t is printed as A.B.t which is not a valid type name. More confusingly, the A.B.t may actually exist as a type that is distinct from A.t.

Discussion

Phil Clayton - 2011-12-12

pp_hier_type_issue.sml

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Phil Clayton - 2011-12-12

priority: 5 --> 1
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Incorrect prefix when pretty printing hierarchical types

Group

Searches

Help

#3 Incorrect prefix when pretty printing hierarchical types

Discussion