[GHC] #8697: Type rationals

[GHC]

#8697: Type rationals
-------------------------------------+------------------------------------
        Reporter:  MikeIzbicki       |            Owner:
            Type:  feature request   |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by MikeIzbicki):

 It would also be nice to support negative rationals in a clean way.  (For
 example, by typing just -1.3)
 I'm guessing this would be best done by adding support for integers, then
 making the rationals use the integers instead of Nats.  This might be
 confusing for the type checker though because it wouldn't know whether a
 number like 4 was a type int or a type nat.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8697#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler