Commit 56ff4182 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Some more tweaking of polymorphic type syntax and fix of precedence w.r.t. set operations.

parent a1c4538d
Pipeline #165 failed with stages
in 3 minutes and 27 seconds
......@@ -347,8 +347,8 @@ or_pat:
;
and_pat:
| x = and_pat "&" y = var_pat { mk $sloc (And(x, y)) }
| x = and_pat SETMINUS y = var_pat { mk $sloc (Diff(x, y)) }
| x = and_pat "&" y = app_pat { mk $sloc (And(x, y)) }
| x = and_pat SETMINUS y = app_pat { mk $sloc (Diff(x, y)) }
| x = app_pat { x }
;
......@@ -716,9 +716,9 @@ namespace_binding_rem:
;
%inline fun_decl_after_lpar:
x = var_pat "->" y = separated_nonempty_list ("->", var_pat)
x = or_pat "->" y = separated_nonempty_list ("->", or_pat)
other_arrows =
list (";" p1 = var_pat "->" p2 = separated_nonempty_list("->", var_pat) {(p1,p2)})
list (";" p1 = or_pat "->" p2 = separated_nonempty_list("->", or_pat) {(p1,p2)})
")"
b = branches {
let pre_intf = (x, y) :: other_arrows in
......
Markdown is supported
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