diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-06-29 23:48:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 23:48:00 +0200 |
| commit | 6efbd23c5cf450f3702e628225872650a619270f (patch) | |
| tree | fbe74bc715730c2932da4e6d7492942beaecd1c0 /src/compiler/GF/Compile | |
| parent | 3a27fa0d390b86cab3ecc68418e4116ea5c4f8ba (diff) | |
| parent | 76bec6d71e7c4fdffa2e618ec6578e0858166465 (diff) | |
Merge pull request #84 from ffrixslee/issue-46
Issue 46 (various deprecations during compilation of GF)
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/ConcreteNew.hs | 2 |
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 |