Ord instance for TypeRep?
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)'.
More information about the Libraries