[Haskell-cafe] TypeLits and ScopedTypeVariables

Ben Foppa benjamin.foppa at gmail.com
Sun Jan 12 02:54:48 UTC 2014

That would explain why it worked in my instance declarations with
Boy do I feel silly.

On Sat, Jan 11, 2014 at 9:45 PM, Brandon Allbery <allbery.b at gmail.com>wrote:

> 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/46333c68/attachment.html>

More information about the Haskell-Cafe mailing list