7 Apr
2004
7 Apr
'04
3:21 p.m.
On Wed, 2004-04-07 at 01:22, Simon Peyton-Jones wrote:
It's not as simple as it sounds. The difficulty is this:
Is typeOf (x::Int) > type (y::Bool)
If the semantics of the language is well defined, there should be an answer, otherwise you could write programs in which different Haskell implementations give different answers.
Why not just document it as unspecified? There are already such expressions in the language; for instance, I would be astounded if all Haskell implementations gave the same answer for 'show (tan 1e20)'. Carl Witty