Replace Category with Type in the PGF API. Added readLanguage and showLanguage.

This commit is contained in:
bjorn
2008-10-20 11:35:05 +00:00
parent 3d92897a94
commit a26290659d
8 changed files with 28 additions and 21 deletions

View File

@@ -232,7 +232,7 @@ 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" (lookStartCat pgf) opts)) []
optType opts = DTyp [] (mkCId (valStrOpts "type" (prCId $ lookStartCat pgf) opts)) []
ret c [x] = return [x++[c]]
ret _ xs = return xs