Why didn't GHC warn me about this unused variable?

plclub · May 30, 2023 · 075c64d · 075c64d
1 parent 4901082
commit 075c64d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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')
     _ ->