>Why do you have the S in the return type of Finite.++ ?

Typo. Plus is sufficient. 

What I would really like is a nice way of implementing concat (i.e. concatenate a finite number of finite lists, of various "sizes", into a single finite list).

/J

2010/10/13 Ozgur Akgun <ozgurakgun@gmail.com>
Jonas,

2010/10/13 Jonas Almström Duregård <jonas.duregard@chalmers.se>

(++) :: Finite s1 a -> Finite s2 a -> Finite (S (Plus s1 s2)) a
(++) (Finite a) (Finite b) = Finite $ a Prelude.++ b
infixr 5 ++

Why do you have the S in the return type of Finite.++ ?

Ozgur

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe