From 2d96a50219f883344e00a1f23f275b2a141ffc4e Mon Sep 17 00:00:00 2001 From: Martin Fredin Date: Mon, 24 Apr 2023 10:47:33 +0200 Subject: [PATCH] Change name --- src/TypeChecker/TypeCheckerBidir.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/TypeChecker/TypeCheckerBidir.hs b/src/TypeChecker/TypeCheckerBidir.hs index 9c90531..9682f7b 100644 --- a/src/TypeChecker/TypeCheckerBidir.hs +++ b/src/TypeChecker/TypeCheckerBidir.hs @@ -396,13 +396,13 @@ checkPattern patt t_patt = case patt of -- Γ ⊢ K p₁ p₂ ↑ B ⊣ Δ PInj name ps -> do t_inj <- maybeToRightM "unknown constructor" =<< lookupInj name - let ps' = getParams t_inj - unless (length ps' == length ps) $ + let ts = getParams t_inj + unless (length ts' == length ps) $ throwError "Wrong number of arguments!" sub <- substituteTVarsOf t_inj subtype (sub $ getDataId t_inj) t_patt let checkP p t = checkPattern p =<< apply (sub t) - ps' <- zipWithM checkP ps ps' + ps' <- zipWithM checkP ps ts apply (T.PInj (coerce name) (map fst ps'), t_patt) where substituteTVarsOf = \case