Type reps inside GHC...

Keean Schupke k.schupke at imperial.ac.uk
Fri Sep 3 11:14:32 EDT 2004

Erm just thought isnt this precisely where having a 'kind' definition
would be useful... so we can specify which types are valid by membersip
of a kind... (with reference to Simon PJs post about a 'kind' statement)

>Playing with HsSyn types (like HsModule)... I have got down to the
>definition level like:
>Sig id = Sig (Location name) (LHsDecl name)
>what type is name? Presumably it can be a range of types, 
>what are valid types for name? 
>	Keean.
>Glasgow-haskell-users mailing list
>Glasgow-haskell-users at haskell.org

More information about the Glasgow-haskell-users mailing list