diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-17 14:47:55 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-17 14:47:55 +0000 |
| commit | 050d435278d3a4dec32ef7c00458fa674aba5a42 (patch) | |
| tree | ce8dfef8ec5934b72e53b052b5330162eee3d448 /src/compiler/GF/Compile/Compute | |
| parent | 6f8e52c944e807eb5e122b35b68dfafc20b6c54f (diff) | |
Compute/ConcreteNew.hs: eliminate selections from wildcard tables
This patch also includes some commented out code that was used to search for
the source of code size explosions and an eta expansion bug.
Diffstat (limited to 'src/compiler/GF/Compile/Compute')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/ConcreteNew.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs index 181d48830..7c471f1cc 100644 --- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs +++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs @@ -298,6 +298,7 @@ select env vv = --let vs = map (value0 env) ats i <- maybeErr "no match" $ findIndex (==v2) vs return (ix (gloc env) "select" rs i) + (VT _ _ [(PW,Bind b)],_) -> {-trace "eliminate wild card table" $-} b [] (v1@(VT _ _ cs),v2) -> err (\_->ok2 VS v1 v2) (err bug id . valueMatch env) $ match (gloc env) cs v2 |