diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-12-14 13:41:58 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-14 13:41:58 -0500 |
| commit | 92377c27e1a48d0d3776f65c7074dfeb122b46db (patch) | |
| tree | dc55fdaebbcd8dbd0c1f53c80214c2996c7f3f0a /testsuite/tests/deSugar | |
| parent | 7e9debd4ceb068effe8ac81892d2cabcb8f55850 (diff) | |
| download | haskell-92377c27e1a48d0d3776f65c7074dfeb122b46db.tar.gz | |
Revert "Optimise nullary type constructor usage"
This was inadvertently merged.
This reverts commit 7e9debd4ceb068effe8ac81892d2cabcb8f55850.
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index 6e7df6c5de..86d74c2d35 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -1,9 +1,9 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 63, types: 39, coercions: 1, joins: 0/0} + = {terms: 63, types: 43, coercions: 1, joins: 0/0} --- RHS size: {terms: 2, types: 3, coercions: 1, joins: 0/0} +-- RHS size: {terms: 2, types: 4, coercions: 1, joins: 0/0} T2431.$WRefl [InlPrag=INLINE[final] CONLIKE] :: forall a. a :~: a [GblId[DataConWrapper], Caf=NoCafRefs, @@ -15,7 +15,7 @@ T2431.$WRefl [InlPrag=INLINE[final] CONLIKE] :: forall a. a :~: a T2431.$WRefl = \ (@a) -> T2431.Refl @a @a @~(<a>_N :: a GHC.Prim.~# a) --- RHS size: {terms: 4, types: 7, coercions: 0, joins: 0/0} +-- RHS size: {terms: 4, types: 8, coercions: 0, joins: 0/0} absurd :: forall a. (Int :~: Bool) -> a [GblId, Arity=1, Str=<U>b, Cpr=b, Unf=OtherCon []] absurd = \ (@a) (x :: Int :~: Bool) -> case x of { } |