diff options
| author | Kathy Gray | 2013-10-15 13:38:12 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-10-15 13:38:22 +0100 |
| commit | b0e3f50555d6947a9ea204a192bf7f46cd24dbdd (patch) | |
| tree | 765bf87662f6070b9e9bd4850a13deb581ce64a2 /src | |
| parent | 09aac312225e5609e8b5c84cf9da03fe3beb1c12 (diff) | |
Add returning value to block
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index ca1fb580..e03d999e 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -685,7 +685,8 @@ and interp_main t_level l_env l_mem exp = and interp_block t_level init_env local_env local_mem exps = match exps with - | [ ] -> (Value (V_lit(L_unit)), local_mem, init_env) + | [ ] -> (Value (V_lit (L_unit)), local_mem, init_env) + | [ exp ] -> interp_main t_level local_env local_mem exp | exp:: exps -> resolve_outcome (interp_main t_level local_env local_mem exp) (fun _ lm le -> interp_block t_level init_env le lm exps) |