From 075c64d19dc45cbb754884d661cc9a8fb0af41b9 Mon Sep 17 00:00:00 2001 From: Jonathan Chan Date: Tue, 30 May 2023 15:13:20 -0400 Subject: [PATCH] Why didn't GHC warn me about this unused variable? --- src/TypeCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TypeCheck.hs b/src/TypeCheck.hs index f6540fe..94fdf38 100644 --- a/src/TypeCheck.hs +++ b/src/TypeCheck.hs @@ -244,7 +244,7 @@ tcTerm t@(DCon c j0 args) (Just ty) mk = do ] Telescope delta' <- Equal.displaceTele j0 (Telescope delta) Telescope deltai' <- Equal.displaceTele j0 (Telescope deltai) - newTele <- substTele delta params deltai' + newTele <- substTele delta' params deltai' args' <- tcArgTele args newTele mk return (ty, DCon c j0 args') _ ->