25 Oct
2007
25 Oct
'07
5:53 p.m.
On 10/25/07, Alfonso Acosta
On 10/25/07, Simon Peyton-Jones
wrote: | where mkSysDef :: Name -> [String] -> [String] -> SysDef
Ah I see. Although you presumably meant mkSysDef :: Name -> Q ([String] -> [String] -> SysDef) else it'd be ill-typed.
Yes, sure, sorry for the typo.
Actually mkSysDef :: Name -> Q ([String] -> [String] -> SysDef) would also be ill-typed, it should be mkSysDef :: Name -> ExpQ.
It's a nice illustration of why the proposed feature is useful. I'd be happy if you added it.
I'll add it then.
done