Forget this: the kind error is due to another mistake. Thanks for your help. fr. le mar 15-04-2003 à 03:19, François-Régis Sinot a écrit :
Hi
Could anyone recall me the syntax for instance declarations ? (eg what form should have the 2nd argument to Instance ?)
My best guess was something like:
genReg' :: Q [Dec] genReg' = do dec1<-fun "out" [clause [pvar "x"] (normal [|foo|]) []] ctx1<-ctxt [] clss<-tapp (tcon (TconName "Regular")) (tcon (TconName "Tree")) return [Instance ctx1 clss [dec1]]
intended to produce something like:
instance Regular Tree where out x = ...
But it gives a kind error on Tree:
Kind error: `Tree' is not applied to enough type arguments When checking kinds in `Regular Tree' In the instance declaration for `Regular Tree'
More generally, is there some kind of comprehensive up-to-date documentation for this kind of questions ?
Thanks, fr.
_______________________________________________ template-haskell mailing list template-haskell@haskell.org http://www.haskell.org/mailman/listinfo/template-haskell