From 233d6910e4716f078876541bfbd4ce6163ffd0c8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 23 Apr 2004 13:45:07 +0000
Subject: ditt o datt

---
 src/GF/UseGrammar/Custom.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/GF/UseGrammar')

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)
-- 
cgit v1.2.3