From e4dc63f6657153da1a8c906f669581905f054e4a Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 14 Oct 2008 14:34:08 +0000 Subject: rudimentary abstract syntax type checker and solver in PGF --- src/GF/Command/TreeOperations.hs | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'src/GF/Command') 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 -- cgit v1.2.3