[Haskell-cafe] TypeLits and ScopedTypeVariables

[Brandon Allbery]

On Sat, Jan 11, 2014 at 9:40 PM, Ben Foppa <benjamin.foppa at 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 at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140111/345112a7/attachment.html>