diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/GeneratePMCFG.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index 6eaaa9bff..5a3f01c86 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -154,9 +154,7 @@ convert opts gr cenv loc term ty@(_,val) pargs = then-} normalForm cenv loc (expand ty term) -- new evaluator --else term -- old evaluator is invoked from GF.Compile.Optimize -expand ty@(context,val) = recordExpand val . etaExpand ty - -etaExpand (context,val) = mkAbs pars . flip mkApp args +expand (context,val) = mkAbs pars . recordExpand val . flip mkApp args where pars = [(Explicit,v) | v <- vars] args = map Vr vars vars = map (\(bt,x,t) -> x) context |