[GHC] #12708: RFC: Representation polymorphic Num

GHC ghc-devs at haskell.org
Sat Dec 10 23:32:43 UTC 2016


#12708: RFC: Representation polymorphic Num
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Core Libraries    |              Version:  8.0.1
      Resolution:                    |             Keywords:
                                     |  LevityPolymorphism
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by carter):

 Replying to [comment:22 goldfire]:
 > I still believe this is a great idea and would welcome a formal proposal
 about this. I also still believe that this is something better done in a
 library for a release or so before we start mucking with something so
 fundamental. There's nothing about this that cannot be done in a library
 (modulo `RebindableSyntax`).


 I agree with richard, experimental changes to the core num prelude,
 especially those  using still new constructs should happen in userland
 first.

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


More information about the ghc-tickets mailing list