typo in unboxed types section + feature request

[Hal Daume III]

Hi,

> There shouldn't be any difference, as far as I can tell.  The two types
> have the same representation.  But strange things do happen.  If you
> have an example where it makes a difference, we can take a look.

If I can manage to get a small example, I'll let you know (adds this to
his list of things to get small examples of).

Also, I'm curious about something.  You obviously can't do:

  5.0# < 6.0#

because they aren't instances of Ord (they can't be, as the have the wrong
kind).  Yet somehow:

  data Log = Log Float# deriving (Eq, Ord)

works fine.  Is this the compiler just being a little goosey about these
things (note that I'm not complaining -- not having to write Eq and Ord
instances is wonderful)?  And do I need to worry that maybe they're not
being derived correctly?

 - Hal