diff options
| author | aarne <unknown> | 2004-11-01 21:41:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-11-01 21:41:18 +0000 |
| commit | 2bd22e078aa0205f60bb414d2e7f17d73db1eaea (patch) | |
| tree | 4a070991183a09d21f4a517bf05fd4cfa1610df5 /src/GF/UseGrammar/Custom.hs | |
| parent | 42ff99469a12e54958f07b58b24f69834c9c1569 (diff) | |
some bug fixes in type check and solve
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index dfffd2b2a..f28bfc6e1 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -264,12 +264,10 @@ customTermCommand = in [tr | t <- generateTrees gr False cat 2 Nothing (Just t), Ok tr <- [annotate gr $ MM.qualifTerm (absId g) t]]) - - ,(strCI "typecheck", \g t -> let gr = grammar g in - err (const []) (return . const t) - (checkIfValidExp gr (tree2exp t))) + ,(strCI "typecheck", \g t -> err (const [t]) (return . loc2tree) + (reCheckState (grammar g) (tree2loc t))) ,(strCI "solve", \g t -> err (const [t]) (return . loc2tree) - (uniqueRefinements (grammar g) (tree2loc t))) + (solveAll (grammar g) (tree2loc t))) ,(strCI "context", \g t -> err (const [t]) (return . loc2tree) (contextRefinements (grammar g) (tree2loc t))) ,(strCI "reindex", \g t -> let gr = grammar g in |