diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-09 13:22:24 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-21 15:57:03 +0100 |
| commit | a0e8bb74e734c65e8f7466f6f2d4f64666f871d8 (patch) | |
| tree | 855d99d8bed48c8340115282ef5aae7619c3cbcf /testsuite | |
| parent | 0df2348a329ed5f4b3893e6b8dc77066a0d77242 (diff) | |
| download | haskell-a0e8bb74e734c65e8f7466f6f2d4f64666f871d8.tar.gz | |
Implement -dsuppress-unfoldings
This extra "suppress" flag helps when there are a lot of Ids
with big unfoldings that clutter up the dump
Also slightly refactor printing of coercions in Core
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index f2b5ee6fcf..cd14bd1754 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -10,8 +10,8 @@ T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=False) - Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N}] -T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N + Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: a ~# a)}] +T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: a ~# a) -- RHS size: {terms: 4, types: 7, coercions: 0} absurd :: forall a. Int :~: Bool -> a |