Permalink
Browse files

Removed old comment.

  • Loading branch information...
1 parent d999287 commit 476962662b3112890161642775edfd234faac207 @labichn labichn committed Nov 29, 2012
Showing with 1 addition and 4 deletions.
  1. +1 −4 src/ljs/ljs_cesk.ml
View
@@ -778,9 +778,7 @@ let rec eval_cesk desugar clos store kont i debug =
eval (ValClosure (catch_body_val, env)) store k
| LobClosure (Throw (_, throw_val, store)), K.TryCatch (p, Some catch, env, None, k) ->
eval (ExpClosure (catch, env)) store (K.TryCatch (p, None, env, Some throw_val, k))
- (* try finally. the semantics below will throw errors which occur during the evaluation
- of the finally clause up, as is the expected? functionality, which is inconsistent with
- the original eval *)
+ (* try finally *)
| LobClosure (except), K.TryFinally (Some fin, env, None, k) ->
eval (ExpClosure (fin, env)) store (K.TryFinally (None, env, Some except, k))
| ExpClosure (S.TryFinally (_, body, fin), env), k ->
@@ -835,7 +833,6 @@ let rec eval_cesk desugar clos store kont i debug =
end
end
-
(* expr => Ljs_syntax.exp
desugar => (string -> Ljs_syntax.exp)
print_trace => bool

0 comments on commit 4769626

Please sign in to comment.