Both ghc and Hugs find that the two equations in the following
definition specify conflicting arities for the function untokens.
> untokens :: a -> [[a]] -> [a]
> untokens separator [ ] = [ ]
> untokens separator = foldr1 insertSeparator
> where
> insertSeparator tokenA tokenB = tokenA++[separator]++tokenB
However, the following definition passes muster.
> untokens :: a -> [[a]] -> [a]
> untokens separator [ ] = [ ]
> untokens separator tokens = foldr1 insertSeparator tokens
> where
> insertSeparator tokenA tokenB = tokenA++[separator]++tokenB
Why is that?
__________________________________________________________________
Rex Page, Director
School of Computer Science [EMAIL PROTECTED]
University of Oklahoma 405-325-4397
Norman OK 73019-0631 fax 405-325-4044
__________________________________________________________________
pi ~ 3.1415926535 8979323846 5028841971 6939937510 5820974944
5923078164 0628620899 8628034825 3421170679 8214808651 ...
Shanks and Wrench, Mathematics of Computation, 1962
