summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/Treeless/Uncase.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/Treeless/Uncase.hs')
-rw-r--r--src/full/Agda/Compiler/Treeless/Uncase.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/full/Agda/Compiler/Treeless/Uncase.hs b/src/full/Agda/Compiler/Treeless/Uncase.hs
index 2f13674..68aa509 100644
--- a/src/full/Agda/Compiler/Treeless/Uncase.hs
+++ b/src/full/Agda/Compiler/Treeless/Uncase.hs
@@ -1,5 +1,4 @@
{-# LANGUAGE CPP #-}
-{-# LANGUAGE PatternGuards #-}
module Agda.Compiler.Treeless.Uncase (caseToSeq) where
import Control.Applicative
@@ -65,5 +64,5 @@ uncase t = case t of
-- Primitive operations are already strict
tApp (TPrim PSeq) [_, b@(TApp (TPrim op) _)]
- | op `elem` [PAdd, PSub, PMul, PLt, PEq, PGeq, PRem, PQuot] = b
+ | op `elem` [PAdd, PSub, PMul, PLt, PGeq, PRem, PQuot] || isPrimEq op = b
tApp f es = TApp f es