diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-26 11:50:48 -0500 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-26 11:50:48 -0500 |
| commit | 0e022e56b130ab9d277965b794e70d8d3fb29533 (patch) | |
| tree | 9ed3ae9e1e88095c37d3b9035ddc82756533a81e /compiler/ghc.cabal.in | |
| parent | 40c753f14b314e74723465e6f79316657307f373 (diff) | |
| download | haskell-0e022e56b130ab9d277965b794e70d8d3fb29533.tar.gz | |
Turn EvTerm (almost) into CoreExpr (#14691)
Ideally, I'd like to do
type EvTerm = CoreExpr
and the type checker builds the evidence terms as it goes. This failed,
becuase the evidence for `Typeable` refers to local identifiers that are
added *after* the typechecker solves constraints. Therefore, `EvTerm`
stays a data type with two constructors: `EvExpr` for `CoreExpr`
evidence, and `EvTypeable` for the others.
Delted `Note [Memoising typeOf]`, its reference (and presumably
relevance) was removed in 8fa4bf9.
Differential Revision: https://phabricator.haskell.org/D4341
Diffstat (limited to 'compiler/ghc.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index 1e3447b49f..d4387cbab0 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -471,6 +471,7 @@ Library TcTypeable TcType TcEvidence + TcEvTerm TcUnify TcInteract TcCanonical |