Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

On Friday 04 March 2005 23:44, Keean Schupke wrote:

Benjamin Franksen wrote:

...

Consider:

class Bogus a b instance Bogus Int Char

How do you express the /instance/ in TH? Using AppT?

That would be:

(using 6.4 syntax)

AppT (AppT (ConT (mkName "Bogus")) (ConT ''Int)) (ConT ''Char)

If the instance is using type variables:

instance Bogus Int a

you get:

AppT (AppT (ConT (mkName "Bogus")) (ConT ''Int)) (VarT (mkName "a"))

OK, I can see now that this makes sense syntactically. Still, it is strange that the class name is handled as if it were a type constructor. Anyway, thanks. Ben