<span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; "><div><div class="im" style="color: rgb(80, 0, 80); ">&gt;<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: arial; font-size: small; ">Why do you have the S in the return type of Finite.++ ?</span><br>
<br></div><div>Typo. Plus is sufficient. <br><br></div><div>What I would really like is a nice way of implementing concat (i.e. concatenate a finite number of finite lists, of various &quot;sizes&quot;, into a single finite list).</div>
<div><br></div><div>/J</div></div></span><br><div class="gmail_quote">2010/10/13 Ozgur Akgun <span dir="ltr">&lt;<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Jonas,<div><br><div class="gmail_quote">2010/10/13 Jonas Almström Duregård <span dir="ltr">&lt;<a href="mailto:jonas.duregard@chalmers.se" target="_blank">jonas.duregard@chalmers.se</a>&gt;</span><div class="im"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<font face="&#39;courier new&#39;, monospace">(++) :: Finite s1 a -&gt; Finite s2 a -&gt; Finite (S (Plus s1 s2)) a<br>
(++) (Finite a) (Finite b) = Finite $ a Prelude.++ b<br>infixr 5 ++</font></blockquote></div></div><div><br></div>Why do you have the S in the return type of Finite.++ ?<br><font color="#888888">
<div><br></div><div>Ozgur</div></font></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>