diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-03-11 15:24:49 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-12 12:03:19 +0100 |
| commit | 4d791b4f77975422df38f6b43084008edd097f1b (patch) | |
| tree | 327edc081c24a62309a88aa2db4f6c407eb12700 /testsuite/tests/ghci.debugger/scripts/print031.stdout | |
| parent | e46742f5c51938bc7c992ac37fecc6df8cab7647 (diff) | |
| download | haskell-4d791b4f77975422df38f6b43084008edd097f1b.tar.gz | |
Simplify: Make generated names more useful
makeTrivial is responsible for concocting names during simplification.
Previously, however, it would make no attempt to generate a name that
might be useful to later readers of the resulting Core. Here we add a
bit of state to SimplEnv: a finite depth stack of binders within which
we are currently simplifying. We then derive generated binders from this
context.
See #11676.
Open questions:
* Is there a better way to accomplish this?
* Is `maxContextDepth` too large/small?
Test Plan: Validate, look at Core.
Reviewers: austin, simonpj
Reviewed By: simonpj
Subscribers: thomie, simonpj
Differential Revision: https://phabricator.haskell.org/D1970
GHC Trac Issues: #11676
Diffstat (limited to 'testsuite/tests/ghci.debugger/scripts/print031.stdout')
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/print031.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/print031.stdout b/testsuite/tests/ghci.debugger/scripts/print031.stdout index 6a326a6fae..0a13e0a225 100644 --- a/testsuite/tests/ghci.debugger/scripts/print031.stdout +++ b/testsuite/tests/ghci.debugger/scripts/print031.stdout @@ -2,5 +2,5 @@ Breakpoint 0 activated at print031.hs:7:7-19 MkT2 [Just (Phantom 1)] Stopped in Print031.f, print031.hs:7:7-19 _result :: Bool = _ -x :: t (Phantom a6) = [Just (Phantom 1)] +x :: t (Phantom a) = [Just (Phantom 1)] x = [Just (Phantom 1)] |