diff options
| author | Sylvain Henry <hsyl20@gmail.com> | 2018-06-15 16:23:53 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-15 16:23:54 -0400 |
| commit | fe770c211631e7b4c9b0b1e88ef9b6046c6585ef (patch) | |
| tree | e6a061a92d8d0d71d40c699982ee471627d816e0 /testsuite/tests/generics/GenDerivOutput.stderr | |
| parent | 42f3b53b5bc4674e41f16de08094821fe1aaec00 (diff) | |
| download | haskell-fe770c211631e7b4c9b0b1e88ef9b6046c6585ef.tar.gz | |
Built-in Natural literals in Core
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
Diffstat (limited to 'testsuite/tests/generics/GenDerivOutput.stderr')
| -rw-r--r-- | testsuite/tests/generics/GenDerivOutput.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/generics/GenDerivOutput.stderr b/testsuite/tests/generics/GenDerivOutput.stderr index d531e914f4..9c008e0038 100644 --- a/testsuite/tests/generics/GenDerivOutput.stderr +++ b/testsuite/tests/generics/GenDerivOutput.stderr @@ -116,7 +116,7 @@ Derived type family instances: 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel - ('GHC.Base.Just + ('GHC.Maybe.Just "element") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness @@ -124,7 +124,7 @@ Derived type family instances: (GHC.Generics.Rec0 a) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel - ('GHC.Base.Just + ('GHC.Maybe.Just "rest") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness @@ -146,7 +146,7 @@ Derived type family instances: 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel - ('GHC.Base.Just + ('GHC.Maybe.Just "element") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness @@ -154,7 +154,7 @@ Derived type family instances: GHC.Generics.Par1 GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel - ('GHC.Base.Just + ('GHC.Maybe.Just "rest") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness @@ -180,14 +180,14 @@ Derived type family instances: 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel - 'GHC.Base.Nothing + 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel - 'GHC.Base.Nothing + 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) @@ -211,14 +211,14 @@ Derived type family instances: 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel - 'GHC.Base.Nothing + 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) GHC.Generics.Par1 GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel - 'GHC.Base.Nothing + 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) |