aboutsummaryrefslogtreecommitdiff
path: root/src/HaskellCodeExplorer
diff options
context:
space:
mode:
Diffstat (limited to 'src/HaskellCodeExplorer')
-rw-r--r--src/HaskellCodeExplorer/AST/TypecheckedSource.hs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/HaskellCodeExplorer/AST/TypecheckedSource.hs b/src/HaskellCodeExplorer/AST/TypecheckedSource.hs
index 3ca9194..72b3c4a 100644
--- a/src/HaskellCodeExplorer/AST/TypecheckedSource.hs
+++ b/src/HaskellCodeExplorer/AST/TypecheckedSource.hs
@@ -85,7 +85,6 @@ import GHC.Data.FastString ( FastString
, mkFastString
, unpackFS
)
--- import GHC.Driver.Ppr ( pprTrace )
import GHC.Hs ( ABExport(..)
, ApplicativeArg(..)
, ArithSeqInfo(..)
@@ -131,10 +130,6 @@ import GHC.Hs ( ABExport(..)
, selectorAmbiguousFieldOcc
)
import GHC.Hs.Binds ( RecordPatSynField(..) )
--- import GHC.Hs.Dump ( BlankEpAnnotations(..)
--- , BlankSrcSpan(..)
--- , showAstData
--- )
import GHC.Hs.Expr ( HsExpansion(..)
, HsWrap(..)
, XXExprGhcTc(..)
@@ -174,7 +169,6 @@ import GHC.Types.Var ( Id
import GHC.Types.Var.Env ( TidyEnv )
import GHC.Unit.State ( UnitState )
import GHC.Utils.Misc ( thenCmp )
--- import GHC.Utils.Outputable ( showPprUnsafe )
import HaskellCodeExplorer.GhcUtils
import qualified HaskellCodeExplorer.Types as HCE
import Prelude hiding ( span )
@@ -601,11 +595,6 @@ foldTypecheckedSource :: LHsBinds GhcTc -> State ASTState ()
foldTypecheckedSource = foldLHsBindsLR
foldLHsExpr :: LHsExpr GhcTc -> State ASTState (Maybe Type)
--- foldLHsExpr lhe
--- | pprTrace "foldLHsExpr"
--- (showAstData NoBlankSrcSpan NoBlankEpAnnotations lhe)
--- False
--- = undefined
foldLHsExpr lhe@(L _ (HsVar _ (L _ identifier))) = restoreTidyEnv $ do
(identifier', mbTypes) <- tidyIdentifier identifier
addIdentifierToIdSrcSpanMap (getLocA lhe) identifier' mbTypes
@@ -1056,11 +1045,6 @@ foldLHsBindLR (L _ (PatSynBind _ PSB {..})) _ = restoreTidyEnv $ do
return Nothing
foldLPat :: LPat GhcTc -> State ASTState (Maybe Type)
--- foldLPat lp
--- | pprTrace "foldLPat"
--- (showAstData NoBlankSrcSpan NoBlankEpAnnotations lp)
--- False
--- = undefined
foldLPat ( L _span (XPat _ )) = return Nothing
foldLPat lp@(L _ (VarPat _ (L _ identifier))) = do
(identifier', _) <- tidyIdentifier identifier
@@ -1100,23 +1084,6 @@ foldLPat (L _span (SumPat _ pat _ _)) = do
-- TODO
_ <- foldLPat pat
return Nothing
--- no more conpatin / conpatout, just conpat (in the wildcard pattern _)
--- original
--- foldLPat (ghcDL -> L _span (ConPatIn _ _)) = return Nothing
--- foldLPat (ghcDL -> L span pat@ConPatOut {..}) = do
--- let (L idSpan conLike) = pat_con
--- conId =
--- case conLike of
--- RealDataCon dc -> dataConWorkId dc
--- PatSynCon ps -> patSynId ps
--- typ = conLikeResTy (unLoc pat_con) pat_arg_tys
--- (identifier', mbTypes) <- tidyIdentifier conId
--- addIdentifierToIdSrcSpanMap idSpan identifier' mbTypes
--- typ' <- tidyType typ
--- addExprInfo span (Just typ') "ConPatOut" (patSort pat)
--- _ <- foldHsConPatDetails pat_args
--- return . Just . varType $ identifier'
-
foldLPat lp@(L _ pat@(ConPat ConPatTc {..} (L _ conLike) args)) = do
let typ = conLikeResTy conLike cpt_arg_tys
typ' <- tidyType typ