Tag types should be internally stored nominally, not structurally

1ae30f5
Opened by Patrick Walton at 2011-01-27 02:01:59

Currently, tag types are stored structurally in ast.ml. Instead they should reference the actual MOD_ITEM_tag. This issue causes a number of ill effects: issue #150 stems from this (although it can be fixed before this is), as well as the problem whereby if two modules A and B both contain "type foo = tag(a(), b(), c())", the types are interchangeable.

  1. WONTFIX (not required for bootstrapping; code is all different in rustc).

    Graydon Hoare at 2011-01-27 02:01:59