diff options
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 7 |
1 files changed, 5 insertions, 2 deletions
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 |
