diff options
| author | krasimir <krasimir@chalmers.se> | 2009-11-12 20:12:59 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-11-12 20:12:59 +0000 |
| commit | 3aa208dd2bd1ae0f1958c5a2e68b2d4ad6e14b7e (patch) | |
| tree | f65912f63038ad801c1971a0b68eb4ab03c59548 | |
| parent | 3d838e0172c6524b403d25ace5b039e23ab5e479 (diff) | |
parteval -> partial evaluation
| -rw-r--r-- | src/GF/Compile/Optimize.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile/Optimize.hs b/src/GF/Compile/Optimize.hs index f54d3b012..ed7384e89 100644 --- a/src/GF/Compile/Optimize.hs +++ b/src/GF/Compile/Optimize.hs @@ -97,7 +97,7 @@ evalInfo opts ms m c info = do -- | the main function for compiling linearizations partEval :: Options -> SourceGrammar -> (Context,Type) -> Term -> Err Term -partEval opts gr (context, val) trm = errIn (render (text "parteval" <+> ppTerm Qualified 0 trm)) $ do +partEval opts gr (context, val) trm = errIn (render (text "partial evaluation" <+> ppTerm Qualified 0 trm)) $ do let vars = map (\(bt,x,t) -> x) context args = map Vr vars subst = [(v, Vr v) | v <- vars] |