diff options
| author | Kathy Gray | 2014-07-14 18:59:40 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-14 18:59:55 +0100 |
| commit | 4a76a82536abfb36cc4ceca743804e432438df3d (patch) | |
| tree | 298d705f03d765e689af501804c91175f2367dba /src/lem_interp | |
| parent | 7906ee2e41610382d67e74856d3691258082f27f (diff) | |
Add register to alias concatenation type
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 4a429423..61acd867 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -1471,6 +1471,8 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = (E_aux (E_id (Id_aux (Id "0") l)) (l,intern_annot annot)) t_level le lm Top),lm,le) end) (fun a -> update_stack a (add_to_top_frame (fun r ->E_aux (E_app_infix (to_exp lv) op r) (l,annot))))) (fun a -> update_stack a (add_to_top_frame (fun lft -> (E_aux (E_app_infix lft op r) (l,annot))))) + | E_exit exp -> + (Action (Exit exp) (Thunk_frame (E_aux (E_lit (L_aux L_unit Unknown)) (l, intern_annot annot)) t_level l_env l_mem Top),l_mem, l_env) | E_let (lbind : letbind tannot) exp -> match (interp_letbind mode t_level l_env l_mem lbind) with | ((Value v tag_l,lm,le),_) -> |