diff options
| author | Kathy Gray | 2014-11-05 14:52:31 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-05 14:52:41 +0000 |
| commit | c26208fcc8d1fc2158dec87595315985b9fdfcea (patch) | |
| tree | 361ba699447fdef6125a0949eb19cc24cce2af29 /src | |
| parent | 30870b18751eba3a7e85eaff713cbe85846c19b6 (diff) | |
Fix bug on decoding Sc
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 19609c6d..0633ad26 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -681,7 +681,9 @@ let rec to_exp mode env v : (exp tannot * lenv) = let env' = add_to_env (fid,vals) env' in (E_aux (E_app id [(E_aux (E_id fid) (Interp_ast.Unknown, (val_annot (val_typ vals))))]) (mk_annot true), env') end - else let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true), env') end) + else let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true), env') + | _ -> + let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true),env') end) | V_register (Reg id tan) -> (E_aux (E_id id) annot, env) | V_track v' _ -> if mode.track_values |