diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-18 14:31:40 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-18 14:31:40 +0000 |
| commit | 4c3cc9f176cf3fcc4545dd4294bf4dbf788928fc (patch) | |
| tree | 5938d642d9059a12f58508c462a00f3031ee73c5 /src/server/PGFService.hs | |
| parent | d9f7697f7a9f8fb44fa2ead3eecf6ca3c3cad19f (diff) | |
pgf service: include the start category in grammar info
Diffstat (limited to 'src/server/PGFService.hs')
| -rw-r--r-- | src/server/PGFService.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 8260df122..19847bca1 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -297,6 +297,7 @@ doGrammar :: PGF -> Maybe (Accept Language) -> JSValue doGrammar pgf macc = showJSON $ toJSObject [("name", showJSON (PGF.abstractName pgf)), ("userLanguage", showJSON (selectLanguage pgf macc)), + ("startcat",showJSON (PGF.showType [] (PGF.startCat pgf))), ("categories", showJSON categories), ("functions", showJSON functions), ("languages", showJSON languages)] |