Don't force typechecked terms too early.

Fixes #1012
GaloisInc · Dec 11, 2020 · 9de193a · 9de193a
1 parent e5a6858
commit 9de193a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Cryptol/TypeCheck/Infer.hs b/src/Cryptol/TypeCheck/Infer.hs
@@ -171,7 +171,7 @@ appTys expr ts tGoal =
     P.ELocated e r ->
       do e' <- inRange r (appTys e ts tGoal)
          cs <- getCallStacks
-         pure $! if cs then ELocated r e' else e'
+         if cs then pure (ELocated r e') else pure e'
 
     P.ENeg        {} -> mono
     P.EComplement {} -> mono
@@ -373,7 +373,7 @@ checkE expr tGoal =
     P.ELocated e r  ->
       do e' <- inRange r (checkE e tGoal)
          cs <- getCallStacks
-         pure $! if cs then ELocated r e' else e'
+         if cs then pure (ELocated r e') else pure e'
 
     P.ESplit e ->
       do prim <- mkPrim "splitAt"