diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2019-03-19 19:54:58 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-20 20:23:15 -0400 |
| commit | f199a8437ba70e65910220625e690157af679573 (patch) | |
| tree | 34de4a99c7c56591743c2e749f3fcdf4ec0a83af /compiler | |
| parent | 7b213b8dc668be216cb2efd7140a2f0263a454e5 (diff) | |
| download | haskell-f199a8437ba70e65910220625e690157af679573.tar.gz | |
Check.hs: Fix a few typos
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/deSugar/Check.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs index db3a501fcf..0142c34409 100644 --- a/compiler/deSugar/Check.hs +++ b/compiler/deSugar/Check.hs @@ -335,8 +335,8 @@ checkSingle' locn var p = do fam_insts <- liftD dsGetFamInstEnvs clause <- liftD $ translatePat fam_insts p missing <- mkInitialUncovered [var] - tracePm "checkSingle: missing" (vcat (map pprValVecDebug missing)) - -- no guards + tracePm "checkSingle': missing" (vcat (map pprValVecDebug missing)) + -- no guards PartialResult prov cs us ds <- runMany (pmcheckI clause []) missing let us' = UncoveredPatterns us return $ case (cs,ds) of @@ -403,12 +403,12 @@ checkMatches' vars matches , [LMatch GhcTc (LHsExpr GhcTc)]) go [] missing = return (mempty, [], missing, []) go (m:ms) missing = do - tracePm "checMatches': go" (ppr m $$ ppr missing) + tracePm "checkMatches': go" (ppr m $$ ppr missing) fam_insts <- liftD dsGetFamInstEnvs (clause, guards) <- liftD $ translateMatch fam_insts m r@(PartialResult prov cs missing' ds) <- runMany (pmcheckI clause guards) missing - tracePm "checMatches': go: res" (ppr r) + tracePm "checkMatches': go: res" (ppr r) (ms_prov, rs, final_u, is) <- go ms missing' let final_prov = prov `mappend` ms_prov return $ case (cs, ds) of @@ -421,7 +421,7 @@ checkMatches' vars matches hsLMatchToLPats :: LMatch id body -> Located [LPat id] hsLMatchToLPats (dL->L l (Match { m_pats = pats })) = cL l pats - hsLMatchToLPats _ = panic "checMatches'" + hsLMatchToLPats _ = panic "checkMatches'" -- | Check an empty case expression. Since there are no clauses to process, we -- only compute the uncovered set. See Note [Checking EmptyCase Expressions] |