Type reps inside GHC...

[Simon Peyton-Jones]

RdrName, Name, Id
are the three things it gets instantiated to.  
* Parser generates HsExpr RdrName
* REnamer generates HsExpr Name
* Typechecker generates HsExpr Id

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of MR K P SCHUPKE
| Sent: 03 September 2004 16:10
| To: glasgow-haskell-users at haskell.org
| Subject: Type reps inside GHC...
| 
| 
| 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
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users