diff options
| author | Alasdair Armstrong | 2017-09-21 16:12:12 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-21 16:12:12 +0100 |
| commit | 3d853e394b5bb5aa0862b56cfbb068aef8d2458a (patch) | |
| tree | 7ff0629773b5e6aa4119036860d40013678484b3 /src/parser.mly | |
| parent | f726c992ab2506ae3fb8a52993b2c46a1ae0a3b1 (diff) | |
Simplify AST by removing LB_val_explicit and replace LB_val_implicit with just LB_val in AST
also rename functions in rewriter.ml appropriately.
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/parser.mly b/src/parser.mly index c756cf74..70a6d132 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -999,12 +999,7 @@ patsexp: letbind: | Let_ atomic_pat Eq exp - { lbloc (LB_val_implicit($2,$4)) } - | Let_ typquant atomic_typ atomic_pat Eq exp - { lbloc (LB_val_explicit((mk_typschm $2 $3 2 3),$4,$6)) } -/* This introduces one shift reduce conflict, that basically points out that an atomic_pat with a type declared is the Same as this - | Let_ Lparen typ Rparen atomic_pat Eq exp - { assert false (* lbloc (LB_val_explicit((mk_typschm (mk_typqn ()) $2 2 2),$3,$5)) *)} */ + { lbloc (LB_val($2,$4)) } funcl: | id atomic_pat Eq exp |