Commit e02e080a authored by tgedell's avatar tgedell
Browse files

[project @ 2003-02-06 19:39:35 by tgedell]

Changed so that PredType is declared as a type and not a datatype,
this caused a problem when generating external Core.
Added SourceType as a datatype since PredType refers to it.
parent 406a82d9
_interface_ TypeRep 1
_exports_ TypeRep Type PredType Kind SuperKind ;
_exports_ TypeRep Type SourceType PredType Kind SuperKind ;
_declarations_
1 data Type ;
1 data PredType ;
1 data SourceType ;
1 type PredType = SourceType ;
1 type Kind = Type ;
1 type SuperKind = Type ;
__interface TypeRep 1 0 where
__export TypeRep Type PredType Kind SuperKind ;
__export TypeRep Type SourceType PredType Kind SuperKind ;
1 data Type ;
1 data PredType ;
1 data SourceType ;
1 type PredType = SourceType ;
1 type Kind = Type ;
1 type SuperKind = Type ;
module TypeRep where
data Type
data PredType
data SourceType
type PredType = SourceType
type Kind = Type
type SuperKind = Type
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment