11 Jan
2014
11 Jan
'14
9:45 p.m.
On Sat, Jan 11, 2014 at 9:40 PM, Ben Foppa
I've been playing with TypeLits recently, trying to create a vector with type-fixed size. I've hit a stumbling block trying to compile this (simplified) code:
(...)
Can anybody shed light on this? It seems like the kind of thing that ScopedTypeVariables should solve, but it doesn't make a difference.
ScopedTypeVariables works here. Did you remember that explicit top level `forall` is needed to actually declare type variables to be scoped? -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net