From 82f1c78718828e0b49fc6f6ed140234e016e4c7a Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Fri, 10 Jul 2015 13:48:24 +0200 Subject: Fix tests --- testsuite/tests/deSugar/should_compile/T2431.stderr | 2 ++ 1 file changed, 2 insertions(+) (limited to 'testsuite/tests/deSugar') 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 @~ _N}] T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ _N +-- RHS size: {terms: 4, types: 7, coercions: 0} absurd :: forall a. Int :~: Bool -> a [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType b] absurd = \ (@ a) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { } -- cgit v1.2.1