Deleted redundant pattern match
This commit is contained in:
1 parent
1f7584bf98
commit
8ca4baf470
1 file changed
+1
-1
@@ -528,7 +528,7 @@ value2term' stop loc xs v0 =
|
|||||||
-- VGlue v1 v2 -> Glue (v2t v1) (v2t v2)
|
-- VGlue v1 v2 -> Glue (v2t v1) (v2t v2)
|
||||||
-- VExtR v1 v2 -> ExtR (v2t v1) (v2t v2)
|
-- VExtR v1 v2 -> ExtR (v2t v1) (v2t v2)
|
||||||
VError err -> return (Error err)
|
VError err -> return (Error err)
|
||||||
_ -> bug ("value2term "++show loc++" : "++show v0)
|
|
||||||
where
|
where
|
||||||
v2t = v2txs xs
|
v2t = v2txs xs
|
||||||
v2txs = value2term' stop loc
|
v2txs = value2term' stop loc
|
||||||
|
|||||||
Reference in new issue
Block a user