25 Oct
2007
25 Oct
'07
11:49 a.m.
On 10/25/07, Simon Peyton-Jones
| 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.
| Since what I propossed is more "bypassing the problem" than a | workaround I don't know if its significant for the ticket.
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. Thanks, Fons