diff options
| author | aarne <unknown> | 2005-03-02 08:43:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-03-02 08:43:52 +0000 |
| commit | d1a21f95620423997279f4fc7f981d919e33e40b (patch) | |
| tree | a9dba4adc986091c3af2b3c38859314ae02ca406 /src/GF/UseGrammar/Custom.hs | |
| parent | 0bd427b5a83a97adca52c37219c7bfb8f8ca7e87 (diff) | |
bug fixes in generate and type check
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 4b12dba1a..8e2b79c07 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/02/24 11:46:38 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.42 $ +-- > CVS $Date: 2005/03/02 09:43:52 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.43 $ -- -- A database for customizable GF shell commands. -- @@ -302,8 +302,8 @@ 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 -> err (const [t]) (return . loc2tree) - (reCheckState (grammar g) (tree2loc t))) + ,(strCI "typecheck", \g t -> err (const []) (return . loc2tree) + (reCheckStateReject (grammar g) (tree2loc t))) ,(strCI "solve", \g t -> err (const [t]) (return . loc2tree) (solveAll (grammar g) (tree2loc t))) ,(strCI "context", \g t -> err (const [t]) (return . loc2tree) |