From 889e5a92e4e0c40ab249f9f86d0fa2647132d87a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 7 Oct 2003 15:17:55 +0000
Subject: Updates for editor. Dummies for hugs.

---
 src/GF/API.hs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/GF/API.hs')

diff --git a/src/GF/API.hs b/src/GF/API.hs
index ad97fa821..262c65382 100644
--- a/src/GF/API.hs
+++ b/src/GF/API.hs
@@ -20,6 +20,7 @@ import Randomized (mkRandomTree)
 import Zipper
 
 import MMacros
+import qualified Macros as M
 import TypeCheck
 import CMacros
 
@@ -126,8 +127,10 @@ optFile2grammarE = optFile2grammar
 string2treeInState :: GFGrammar -> String -> State -> Err Tree
 string2treeInState gr s st = do
   let metas = allMetas st
-  t <- pTerm s
-  annotate (grammar gr) $ qualifTerm (absId gr) $ refreshMetas metas t
+      xs    = map fst $ actBinds st
+  t0 <- pTerm s
+  let t = qualifTerm (absId gr) $ M.mkAbs xs $ refreshMetas metas $ t0
+  annotateExpInState (grammar gr) t st 
 
 string2srcTerm :: G.SourceGrammar -> I.Ident -> String -> Err G.Term
 string2srcTerm gr m s = do
-- 
cgit v1.2.3