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/spec_analysis.ml | |
| 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/spec_analysis.ml')
| -rw-r--r-- | src/spec_analysis.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml index e04b7d33..3f3df45a 100644 --- a/src/spec_analysis.ml +++ b/src/spec_analysis.ml @@ -358,12 +358,7 @@ and fv_of_pes consider_var bound used set pes = fv_of_pes consider_var bound us_e set_e pes and fv_of_let consider_var bound used set (LB_aux(lebind,_)) = match lebind with - | LB_val_explicit(typsch,pat,exp) -> - let bound_t,us_t = fv_of_typschm consider_var bound used typsch in - let bound_p, us_p = pat_bindings consider_var (Nameset.union bound bound_t) used pat in - let _,us_e,set_e = fv_of_exp consider_var (Nameset.union bound bound_t) used set exp in - (Nameset.union bound_t bound_p),Nameset.union us_t (Nameset.union us_p us_e),set_e - | LB_val_implicit(pat,exp) -> + | LB_val(pat,exp) -> let bound_p, us_p = pat_bindings consider_var bound used pat in let _,us_e,set_e = fv_of_exp consider_var bound used set exp in bound_p,Nameset.union us_p us_e,set_e |