Merge pull request #84 from ffrixslee/issue-46

Issue 46 (various deprecations during compilation of GF)
This commit is contained in:
Inari Listenmaa
2021-06-29 23:48:00 +02:00
committed by GitHub
8 changed files with 27 additions and 17 deletions

View File

@@ -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