diff options
| author | Alasdair Armstrong | 2019-03-21 18:54:16 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-21 18:55:42 +0000 |
| commit | 13ad54f450a11a9c4eecdd782036e50ea2a41cd8 (patch) | |
| tree | 78adc8719e550dedb2870e6e9fcf108f206fe741 /src/jib/jib_compile.ml | |
| parent | 52382d4e8fc4edab67bf01080087fb12c88fbed4 (diff) | |
Jib: Add types to Phi functions
Add a test case to ensure variable types in l-expressions remain the
same with flow-sensitive constraints.
Diffstat (limited to 'src/jib/jib_compile.ml')
| -rw-r--r-- | src/jib/jib_compile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml index 87e0b050..15f945e5 100644 --- a/src/jib/jib_compile.ml +++ b/src/jib/jib_compile.ml @@ -824,7 +824,7 @@ let rec compile_aexp ctx (AE_aux (aexp_aux, env, l)) = let body_gs = ngensym () in let loop_var = name loop_var in - + variable_init from_gs from_setup from_call from_cleanup @ variable_init to_gs to_setup to_call to_cleanup @ variable_init step_gs step_setup step_call step_cleanup |