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