2010/10/13 Jonas Almström Duregård <jonas.dureg...@chalmers.se>:
> ...and you can always do
>
> hack :: Vec n a -> FixedVec a
> hack x :: FixedVec undefined
>
> Also I'm guessing 1, 2 and 17 are just examples, he really wants arbitrary
> length finite lists.

  Indeed. Where I said "is necessarily" I meant "is not necessarily".

--
Jason Dusek
Linux User #510144 | http://counter.li.org/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to