Ticket #10 (new defect)

Opened 6 years ago

Does ReferencedType need to be removed?

Reported by: dom Owned by: dan
Priority: major Milestone:
Component: component1 Version:
Keywords: Cc:

Description

data ASNType a {- :: * -> * -} where
    BT    :: ASNBuiltin a -> ASNType a
    RT    :: ReferencedType -> ASNType a
    ConsT :: ASNType a -> ESS a -> ASNType a
Note: See TracTickets for help on using tickets.