diff options
| author | aarne <unknown> | 2005-09-15 15:22:00 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-09-15 15:22:00 +0000 |
| commit | 989fb2e4d37f77171ffa0a27c6d92826985118e8 (patch) | |
| tree | 896cd4d471085e3c89a068d205dd9d1d5b074043 /src/GF/UseGrammar/GetTree.hs | |
| parent | eeb833ca43b3c8c6b78d59b708b45abf9ade9b36 (diff) | |
MAth
Diffstat (limited to 'src/GF/UseGrammar/GetTree.hs')
| -rw-r--r-- | src/GF/UseGrammar/GetTree.hs | 8 |
1 files changed, 5 insertions, 3 deletions
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 |