13 Oct
2010
13 Oct
'10
3:35 p.m.
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