diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 71e3d06..3bdedff 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -1253,8 +1253,10 @@ cIsNotStrict :== False :: SelectorKind = NormalSelector - | NormalSelectorUniqueElementResult | UniqueSelector // ! + | UniqueSelectorUniqueElementResult + | UniqueSingleArraySelector + | UniqueSingleArraySelectorUniqueElementResult :: Expression = Var !BoundVar | App !App |