summaryrefslogtreecommitdiff
path: root/src/compiler/GF
diff options
context:
space:
mode:
authorLiyana <nliyanaam@smu.edu.sg>2020-11-10 17:15:20 +0800
committerLiyana <nliyanaam@smu.edu.sg>2020-11-10 17:15:20 +0800
commit8ca4baf470da2fd607d89e7679f7376a56b3f8fb (patch)
tree04aa96dfaf3438716b8b47304bc0eccb735e032b /src/compiler/GF
parent1f7584bf98346c6d044df631a82353fd1c5972af (diff)
Deleted redundant pattern match
Diffstat (limited to 'src/compiler/GF')
-rw-r--r--src/compiler/GF/Compile/Compute/ConcreteNew.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs
index ea55e77cb..6f00c45e1 100644
--- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs
+++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs
@@ -528,7 +528,7 @@ value2term' stop loc xs v0 =
-- VGlue v1 v2 -> Glue (v2t v1) (v2t v2)
-- VExtR v1 v2 -> ExtR (v2t v1) (v2t v2)
VError err -> return (Error err)
- _ -> bug ("value2term "++show loc++" : "++show v0)
+
where
v2t = v2txs xs
v2txs = value2term' stop loc