[GHC] #9869: Add new notation for negative numbers when using {-# LANGUAGE NegativeLiterals #-}

GHC ghc-devs at haskell.org
Sat Dec 6 20:26:16 UTC 2014


#9869: Add new notation for negative numbers when using {-# LANGUAGE
NegativeLiterals #-}
-------------------------------------+-------------------------------------
              Reporter:  bg_         |            Owner:  bg_
                  Type:  feature     |           Status:  closed
  request                            |        Milestone:
              Priority:  low         |          Version:  7.8.3
             Component:  Compiler    |         Keywords:
            Resolution:  invalid     |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
Changes (by carter):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 ~ is already used by haskell for type equality in constraints, eg  `(size
 ~7 )=> SizedList size Int`
 so its not clear how  adding a new meaning for ~ would improve matters.

 closing this as invalid baring discussion on libraries list, ghc-users,
 ghc-devs or #ghc irc channel to the contrary.
 (that is, some additional discussion should happen on a mailing list for
 this proprosal to have teeth.)

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


More information about the ghc-tickets mailing list