Mark P Jones writes:
> | 2. Is there a way to modify the signatures to make it legal?
>
> Not that I can see!
>
> Personally, I think you've found a bug in the Haskell report! But, as
> it stands, others can reasonably say this is a bug in Hugs 98 ... I guess
> we should modify the typec
| Here are some questions for the Haskell-98 enthusiasts.
Are implementors allowed to answer too? :-) It was a nice little puzzle!
| 1. Why is the following declaration group illegal?
|
| f :: String
| f = g 1 ++ g True
|
| g :: Show a => a -> String
| g x = fst (show x, show f)
Wel
Magnus Carlsson wrote:
> Here are some questions for the Haskell-98 enthusiasts.
I'm not sure if I'm a Haskell-98 enthusiast, I still call myself
a Haskell enthusiast.
> 1. Why is the following declaration group illegal?
>
> f :: String
> f = g 1 ++ g True
>
> g :: Show a => a -> Strin