From c9d10ab5ed8b82ba0f74a25ca30103ccf0985e6d Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 30 Apr 2004 11:28:35 +0000 Subject: random gen to fill given term --- src/GF/UseGrammar/Parsing.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/UseGrammar/Parsing.hs') diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs index 48b6ffac6..5d601bc58 100644 --- a/src/GF/UseGrammar/Parsing.hs +++ b/src/GF/UseGrammar/Parsing.hs @@ -5,6 +5,7 @@ import qualified AbsGFC as C import GFC import MkGFC (trExp) ---- import CMacros +import MMacros (refreshMetas) import Linear import Str import CF @@ -68,7 +69,7 @@ tokens2trms opts sg cn parser as = do _ -> do (ts1,ss) <- checkErr $ mapErr postParse ts0 if null ts1 then raise ss else return () - ts2 <- mapM (checkErr . (annotate gr) . trExp) ts1 ---- + ts2 <- mapM (checkErr . annotate gr . refreshMetas [] . trExp) ts1 ---- if forgive then return ts2 else do let tsss = [(t, allLinsOfTree gr cn t) | t <- ts2] ps = [t | (t,ss) <- tsss, -- cgit v1.2.3