Ord instance for TypeRep?

Carl Witty cwitty at newtonlabs.com
Wed Apr 7 13:21:47 EDT 2004

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

More information about the Libraries mailing list