diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-07-10 13:48:24 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-16 23:12:19 +0200 |
| commit | 82f1c78718828e0b49fc6f6ed140234e016e4c7a (patch) | |
| tree | 6037b10a41b2384b4f48371f5a6934a3955e95e2 /testsuite/tests/deSugar | |
| parent | 29f82250d81ace982d3231378bfb2eb4976fd456 (diff) | |
| download | haskell-82f1c78718828e0b49fc6f6ed140234e016e4c7a.tar.gz | |
Fix tests
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index 607ecc1b24..f2b5ee6fcf 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -2,6 +2,7 @@ ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 8, types: 19, coercions: 1} +-- RHS size: {terms: 2, types: 3, coercions: 1} T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a [GblId[DataConWrapper], Caf=NoCafRefs, @@ -12,6 +13,7 @@ T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N}] T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N +-- RHS size: {terms: 4, types: 7, coercions: 0} absurd :: forall a. Int :~: Bool -> a [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b] absurd = \ (@ a) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { } |