From 3aa208dd2bd1ae0f1958c5a2e68b2d4ad6e14b7e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 12 Nov 2009 20:12:59 +0000
Subject: [PATCH] parteval -> partial evaluation

---
 src/GF/Compile/Optimize.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]