On Sat, Jan 11, 2014 at 9:40 PM, Ben Foppa <benjamin.foppa@gmail.com> wrote:

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