Commit 33774247 authored by Fred Eisele's avatar Fred Eisele
Browse files

use exitAllOptions method to generate the options object.

parent d4b49455
......@@ -14,8 +14,8 @@ constraintExp
;
constraintKind
: constraintRef # ConstraintKind_Ref
| constraintExp # ConstraintKind_Exp
: constraintRef # ConstraintKind_Ref
| constraintExp # ConstraintKind_Exp
| LPAREN constraintExp RPAREN # ConstraintKind_Exp
;
......@@ -26,19 +26,23 @@ constraintLiteralSection
;
constraintExpr
: FORALL (constraintGen+ COLON schemaEntityId)+
: FORALL constraintUniversal+
(WHERE constraintEquation+)?
RARROW
(EXISTS (constraintGen COLON schemaEntityId)+)?
(EXISTS constraintExistential+)?
(WHERE constraintEquation+)?
;
constraintUniversal : constraintGen+ COLON schemaEntityId ;
constraintExistential : constraintGen COLON schemaEntityId ;
constraintGen : symbol ;
constraintEquation : constraintPath EQUAL constraintPath ;
constraintPath
: schemaArrowId
| constraintPath DOT schemaArrowId
: schemaArrowId # ConstraintPath_ArrowId
| constraintPath DOT schemaArrowId # ConstraintPath_Dotted
| schemaArrowId LPAREN constraintPath RPAREN
# ConstraintPath_Param
;
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment