import Desugar ( deSugarExpr )
import SimplCore ( simplifyExpr )
import TcRnDriver ( tcRnStmt, tcRnExpr, tcRnType )
-import Type ( Type )
+import Type ( Type, tyVarsOfTypes )
import PrelNames ( iNTERACTIVE )
import {- Kind parts of -} Type ( Kind )
+import Id ( idType )
import CoreLint ( lintUnfolding )
import DsMeta ( templateHaskellNames )
import SrcLoc ( SrcSpan, noSrcLoc, interactiveSrcLoc, srcLocSpan, noSrcSpan, unLoc )
hsc_FC = fc_var,
hsc_MLC = mlc_var,
hsc_OptFuel = optFuel,
- hsc_type_env_var = Nothing,
- hsc_global_rdr_env = emptyGlobalRdrEnv,
- hsc_global_type_env = emptyNameEnv } ) }
+ hsc_type_env_var = Nothing } ) }
knownKeyNames :: [Name] -- Put here to avoid loops involving DsMeta,
-- ToDo: improve SrcLoc
; if lint_on then
let ictxt = hsc_IC hsc_env
- tyvars = varSetElems (ic_tyvars ictxt)
+ tyvars = varSetElems (tyVarsOfTypes (map idType (ic_tmp_ids ictxt)))
in
case lintUnfolding noSrcLoc tyvars prepd_expr of
Just err -> pprPanic "compileExpr" err