diff options
Diffstat (limited to 'src/GF/Command')
| -rw-r--r-- | src/GF/Command/TreeOperations.hs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/GF/Command/TreeOperations.hs b/src/GF/Command/TreeOperations.hs index d4b5d175a..a2670dc4f 100644 --- a/src/GF/Command/TreeOperations.hs +++ b/src/GF/Command/TreeOperations.hs @@ -1,11 +1,10 @@ module GF.Command.TreeOperations ( treeOp, allTreeOps - --typeCheck, ) where import GF.Compile.TypeCheck -import PGF (compute,paraphrase) +import PGF (compute,paraphrase,typecheck) -- for conversions import PGF.Data @@ -29,12 +28,9 @@ allTreeOps pgf = [ ("smallest",("sort trees from smallest to largest, in number of nodes", smallest)), ("typecheck",("type check and solve metavariables; reject if incorrect", - id)) + concatMap (typecheck pgf))) ] -typeCheck :: PGF -> Tree -> (Tree,(Bool,[String])) -typeCheck pgf t = (t,(True,[])) - smallest :: [Tree] -> [Tree] smallest = sortBy (\t u -> compare (size t) (size u)) where size t = case t of |