diff options
Diffstat (limited to 'src/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index a2978d6b3..0f8e4256e 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -77,6 +77,7 @@ data Term = | Table Term Term -- table type: P => A | T TInfo [Case] -- table: table {p => c ; ...} + | V Type [Term] -- table given as course of values: table T [c1 ; ... ; cn] | S Term Term -- selection: t ! p | Let LocalDef Term -- local definition: let {t : T = a} in b |