summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2008-10-22 09:36:50 +0000
committerkrasimir <krasimir@chalmers.se>2008-10-22 09:36:50 +0000
commitbb007215ab55f3ecc198afd050c25eecc96cbc34 (patch)
tree7d2841aa845ba56223229518594e78ce88e37815 /src
parent7a2ef0bb0906f9efe3090418c4773ccb25f6efcb (diff)
fix a typo. It is option "-cat" not "-type"
Diffstat (limited to 'src')
-rw-r--r--src/GFI.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/GFI.hs b/src/GFI.hs
index ed966699a..ccd19900d 100644
--- a/src/GFI.hs
+++ b/src/GFI.hs
@@ -232,7 +232,12 @@ wordCompletion gfenv line0 prefix0 p =
pgf = multigrammar cmdEnv
cmdEnv = commandenv gfenv
optLang opts = valCIdOpts "lang" (head (languages pgf)) opts
- optType opts = DTyp [] (mkCId (valStrOpts "type" (prCId $ lookStartCat pgf) opts)) []
+ optType opts =
+ let str = valStrOpts "cat" (prCId $ lookStartCat pgf) opts
+ in case readType str of
+ Just ty -> ty
+ Nothing -> error ("Can't parse '"++str++"' as type")
+
ret c [x] = return [x++[c]]
ret _ xs = return xs