Remove wrong TODOs

2018-02-16 18:40:12 +01:00 · 2018-02-16 18:40:12 +01:00 · 9f1e32e92c
parent 1b231338b4
commit 9f1e32e92c
1 changed files with 0 additions and 2 deletions
--- a/src/CPS.ml
+++ b/src/CPS.ml
@ -80,11 +80,9 @@ let rec cps_term_inner (t: S.term) (cont: T.variable) (nameHint: string option)
            T.Print (T.vvar termVal,
            T.TailCall(T.vvar cont, T.vvars [termVal]))
 | S.Let (var, value, next) ->
-        (* TODO still verbose here *)
        light_term var value (Some (Atom.hint var)) @@
            cps_term_inner next cont None
 | S.IfZero (expr, tIf, tElse) ->
-        (* TODO still verbose here *)
        let exprVal = freshVar () in
        light_term exprVal expr None @@
            (T.IfZero (T.vvar exprVal,