[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 carter):

 woops, mispoke, i'm a bit exhausted. There is no such support :)

 do you have a strawman data model for a type level rationals? Eg using one
 of the preexisting libraries for type level ints, building up an
 associated rational set of operations and model types?

 Also on the template haskell front, I meant that via template haskell you
 could do a function that lets you write rationals in decimal notation
 using template haskell, because decimal numbers can be parsed as
 rationals.

 eg in $(makeRatType 7.3),   7.3 would be turned into rational value. This
 works at the value level, ableit at template haskell time so you can
 construct the type

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