add unused code that should be there

efabcfbd · André Pacak · e7e43255 · efabcfbd
Commit efabcfbd authored Aug 22, 2019 by André Pacak
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/ExtendedTLC/EliminateContextArgument.hs src/ExtendedTLC/EliminateContextArgument.hs +2 -0

No files found.
--- a/src/ExtendedTLC/EliminateContextArgument.hs
+++ b/src/ExtendedTLC/EliminateContextArgument.hs
@@ -257,6 +257,8 @@ checkType p@(InR t _) = do
  checkType t
 checkType p@(Case e n1 t1 n2 t2 _) = do
  ty <- requiredType p
+  ety <- inferType e
+  (ty1, ty2) <- matchSum ety (show e)
  checkType t1
  checkType t2
 checkType t = do