diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-18 12:48:39 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-18 12:48:39 +0000 |
| commit | 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 (patch) | |
| tree | 4502b7b12c0249b3917298a82a532a713e297bbe /src/www/gfse/gf_abs.js | |
| parent | 36dd5502aa86cdf3ae9b730dd174eb91e9f41b8d (diff) | |
gfse: grammars can now contain one-line descriptions
Also fixed two small problems with public grammars.
Diffstat (limited to 'src/www/gfse/gf_abs.js')
| -rw-r--r-- | src/www/gfse/gf_abs.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/gfse/gf_abs.js b/src/www/gfse/gf_abs.js index a66af812e..a234db753 100644 --- a/src/www/gfse/gf_abs.js +++ b/src/www/gfse/gf_abs.js @@ -9,6 +9,7 @@ type FunId = Id -- function name type Type = [Cat] -- [Cat_1,...,Cat_n] means Cat_1 -> ... -> Cat_n type Grammar = { basename: ModId, + comment: String, extends: [ModId], -- in 1-to-1 correspondence with uextends uextends: [UniqueId], -- added 2012-10-16 abstract: Abstract, |