From 989fb2e4d37f77171ffa0a27c6d92826985118e8 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 15 Sep 2005 15:22:00 +0000 Subject: MAth --- src/GF/UseGrammar/GetTree.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/GF/UseGrammar/GetTree.hs') diff --git a/src/GF/UseGrammar/GetTree.hs b/src/GF/UseGrammar/GetTree.hs index e71475654..e980a3d95 100644 --- a/src/GF/UseGrammar/GetTree.hs +++ b/src/GF/UseGrammar/GetTree.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/03 21:51:59 $ +-- > CVS $Date: 2005/09/15 16:22:02 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.8 $ +-- > CVS $Revision: 1.9 $ -- -- how to form linearizable trees from strings and from terms of different levels -- @@ -24,6 +24,7 @@ import GF.Grammar.MMacros import GF.Grammar.Macros import GF.Compile.Rename import GF.Grammar.TypeCheck +import GF.Grammar.AbsCompute (beta) import GF.Compile.PGrammar import GF.Compile.ShellState @@ -42,7 +43,8 @@ string2treeErr :: StateGrammar -> String -> Err Tree string2treeErr _ "" = Bad "empty string" string2treeErr gr s = do t <- pTerm s - let t1 = refreshMetas [] t + let t0 = beta [] t + let t1 = refreshMetas [] t0 let t2 = qualifTerm abstr t1 annotate grc t2 where -- cgit v1.2.3