diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-05-21 09:00:32 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-05-21 13:04:09 +0100 |
| commit | b7e80ae005d0072eda79135c371a794dc48f70e1 (patch) | |
| tree | d58ed53143606ea688e5e1a5e175a5725625393e /compiler/deSugar/Match.hs | |
| parent | 5f3fb71213e78838cd3060be37ad2d9dd1ed247f (diff) | |
| download | haskell-b7e80ae005d0072eda79135c371a794dc48f70e1.tar.gz | |
Remove TcType.toTcType
In the olden days we insisted that only TcTyVars could appear
in a TcType. But now we are more accommodating; see TcType
Note [TcTyVars and TyVars in the typechecker]
This patch removes a function that converted a Type to a TcType.
It didn't do anything useful except statisfy an invariant that
we no longer have. Now it's gone.
Diffstat (limited to 'compiler/deSugar/Match.hs')
| -rw-r--r-- | compiler/deSugar/Match.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/deSugar/Match.hs b/compiler/deSugar/Match.hs index 0044cbe49f..6b548a4f5a 100644 --- a/compiler/deSugar/Match.hs +++ b/compiler/deSugar/Match.hs @@ -39,7 +39,6 @@ import MatchCon import MatchLit import Type import Coercion ( eqCoercion ) -import TcType ( toTcTypeBag ) import TyCon( isNewTyCon ) import TysWiredIn import SrcLoc @@ -733,7 +732,7 @@ matchWrapper ctxt mb_scr (MG { mg_alts = L _ matches mk_eqn_info vars (L _ (Match { m_pats = pats, m_grhss = grhss })) = do { dflags <- getDynFlags ; let upats = map (unLoc . decideBangHood dflags) pats - dicts = toTcTypeBag (collectEvVarsPats upats) -- Only TcTyVars + dicts = collectEvVarsPats upats ; tm_cs <- genCaseTmCs2 mb_scr upats vars ; match_result <- addDictsDs dicts $ -- See Note [Type and Term Equality Propagation] addTmCsDs tm_cs $ -- See Note [Type and Term Equality Propagation] |