diff options
| author | aarne <unknown> | 2004-04-23 13:45:07 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-23 13:45:07 +0000 |
| commit | 233d6910e4716f078876541bfbd4ce6163ffd0c8 (patch) | |
| tree | d81b2a452ab8d7f8081250f3d64448ee7e44b5cc /src/GF/UseGrammar | |
| parent | 2e0c510285ac1cabefea0ab68ffb1215d7297578 (diff) | |
ditt o datt
Diffstat (limited to 'src/GF/UseGrammar')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index ac47a9758..8cde78c59 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -191,7 +191,9 @@ customTermCommand = (exp2termCommand gr (computeAbsTerm gr) t)) ,(strCI "paraphrase", \g t -> let gr = grammar g in exp2termlistCommand gr (mkParaphrases gr) t) ----- ,(strCI "typecheck", \g t -> err (const []) return (checkIfValidExp g t)) + ,(strCI "typecheck", \g t -> let gr = grammar g in + err (const []) (return . const t) + (checkIfValidExp gr (tree2exp t))) ,(strCI "solve", \g t -> err (const [t]) (return . loc2tree) (uniqueRefinements (grammar g) (tree2loc t))) ,(strCI "context", \g t -> err (const [t]) (return . loc2tree) |