Skip to content
  • Sylvain Henry's avatar
    Built-in Natural literals in Core · fe770c21
    Sylvain Henry authored
    Add support for built-in Natural literals in Core.
    
    - Replace MachInt,MachWord, LitInteger, etc. with a single LitNumber
      constructor with a LitNumType field
    - Support built-in Natural literals
    - Add desugar warning for negative literals
    - Move Maybe(..) from GHC.Base to GHC.Maybe for module dependency
      reasons
    
    This patch introduces only a few rules for Natural literals (compared
    to Integer's rules). Factorization of the built-in rules for numeric
    literals will be done in another patch as this one is already big to
    review.
    
    Test Plan:
      validate
      test build with integer-simple
    
    Reviewers: hvr, bgamari, goldfire, Bodigrim, simonmar
    
    Reviewed By: bgamari
    
    Subscribers: phadej, simonpj, RyanGlScott, carter, hsyl20, rwbarton,
    thomie
    
    GHC Trac Issues: #14170, #14465
    
    Differential Revision: https://phabricator.haskell.org/D4212
    fe770c21