diff options
| author | krasimir <krasimir@chalmers.se> | 2008-10-22 09:36:50 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-10-22 09:36:50 +0000 |
| commit | bb007215ab55f3ecc198afd050c25eecc96cbc34 (patch) | |
| tree | 7d2841aa845ba56223229518594e78ce88e37815 /src | |
| parent | 7a2ef0bb0906f9efe3090418c4773ccb25f6efcb (diff) | |
fix a typo. It is option "-cat" not "-type"
Diffstat (limited to 'src')
| -rw-r--r-- | src/GFI.hs | 7 |
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 |
