#x27; , f 123 ) )
> let {...} in (f 'a',f 123) :: Num Char => (Bool,Bool)
>
> This (maybe) indicates how hugs make evidence elimination in
> runtime while Haskell 98 don´t do that. I don´t have a clear
> idea about this, please someone can help me?. Thanks.
AF
his happend because Num Char can never be satisfied with a
predicate evidence. However in hugs without 98 mode the result
of the previos line is :
Prelude> :t ( let f = \x -> x == x in (f 'a' , f 123 ) )
let {...} in (f 'a',f 123) :: Num Char => (Bool,Bool)
This (may
