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/parser2.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/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 02a8f09c..7ee98f41 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -836,7 +836,7 @@ block: %inline letbind: | pat Eq exp - { LB_aux (LB_val_implicit ($1, $3), loc $startpos $endpos) } + { LB_aux (LB_val ($1, $3), loc $startpos $endpos) } atomic_exp: | atomic_exp Colon atomic_typ |