summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-09-19 10:24:02 +0000
committerkrasimir <krasimir@chalmers.se>2009-09-19 10:24:02 +0000
commit884747508ecdaf307a941e1932a0939c232c6c8f (patch)
tree1e0ae6c4186f18acec32ffcc705bc1e0c15d5cf2 /src/GF
parente363c4005836964a49d686176751d0247d3a33b3 (diff)
better error message for the ai command
Diffstat (limited to 'src/GF')
-rw-r--r--src/GF/Command/Commands.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs
index d14067ed1..d915ac5bf 100644
--- a/src/GF/Command/Commands.hs
+++ b/src/GF/Command/Commands.hs
@@ -644,7 +644,7 @@ allCommands cod env@(pgf, mos) = Map.fromList [
else space $$
text "fun" <+> vcat [ppCId fid <+> colon <+> ppType 0 [] ty
| (fid,ty) <- functionsToCat pgf id])
- Nothing -> do putStrLn "unknown identifier"
+ Nothing -> do putStrLn ("unknown category of function identifier "++show id)
return void
[e] -> case inferExpr pgf e of
Left tcErr -> error $ render (ppTcError tcErr)