diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lexer.mll | 2 | ||||
| -rw-r--r-- | src/parser.mly | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/lexer.mll b/src/lexer.mll index a4ec4cc9..621a1a44 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -216,7 +216,7 @@ rule token = parse | "2" ws "^" { TwoCaret } | "^" { (Caret(r"^")) } | "::" { ColonColon(r "::") } - | "^^" { CaretCaret(r "^^") } + (* | "^^" { CaretCaret(r "^^") } *) | "~~" { TildeTilde(r "~~") } | ":" { Colon(r ":") } | "," { Comma } diff --git a/src/parser.mly b/src/parser.mly index 5c513e5b..375eb7d1 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -194,7 +194,7 @@ let rec desugar_rchain chain s e = %token <string> String Bin Hex Real %token <string> Amp At Caret Eq Gt Lt Plus Star EqGt Unit -%token <string> Colon ColonColon CaretCaret TildeTilde ExclEq +%token <string> Colon ColonColon (* CaretCaret *) TildeTilde ExclEq %token <string> GtEq %token <string> LtEq @@ -668,7 +668,7 @@ typschm_eof: pat_string_append: | atomic_pat { [$1] } - | atomic_pat CaretCaret pat_string_append + | atomic_pat Caret pat_string_append { $1 :: $3 } pat1: @@ -678,7 +678,7 @@ pat1: { mk_pat (P_vector_concat ($1 :: $3)) $startpos $endpos } | atomic_pat ColonColon pat1 { mk_pat (P_cons ($1, $3)) $startpos $endpos } - | atomic_pat CaretCaret pat_string_append + | atomic_pat Caret pat_string_append { mk_pat (P_string_append ($1 :: $3)) $startpos $endpos } pat_concat: @@ -1223,7 +1223,7 @@ fun_def_list: mpat_string_append: | atomic_mpat { [$1] } - | atomic_mpat CaretCaret mpat_string_append + | atomic_mpat Caret mpat_string_append { $1 :: $3 } mpat: @@ -1233,7 +1233,7 @@ mpat: { mk_mpat (MP_vector_concat ($1 :: $3)) $startpos $endpos } | atomic_mpat ColonColon mpat { mk_mpat (MP_cons ($1, $3)) $startpos $endpos } - | atomic_mpat CaretCaret mpat_string_append + | atomic_mpat Caret mpat_string_append { mk_mpat (MP_string_append ($1 :: $3)) $startpos $endpos } mpat_concat: |