Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-02 07:00:42 -0700 (Sat, 02 Jul 2005)
Revision: 1178
Log message:

      Added three things.
      
         - Return statements are now a control operation, returning
           from their function.
      
               f() =
                  if true
                     return 1
                  return 2
      
           f() now returns 1.  It used to return 2.
      
           If you want the old behavior, use "value" instead
           of "return".
      
         - Added checking for dead-code after return statements.
      
         - Sections no longer return their final value unless
           it is a "value".
      

Changes  Path
+4 -0 omake/Files
+1 -1 omake/LaTeX.src
+3 -4 omake/OCaml.src
+1 -1 omake/lib/build/LaTeX.om
+3 -4 omake/lib/build/OCaml.om
+11 -0 omake/src/ast/omake_ast_print.ml
+1 -0 omake/src/ast/omake_ast_print.mli
+2 -1 omake/src/build/omake_build.ml
+0 -95 omake/src/build/omake_builtin_base.ml
+3 -2 omake/src/env/omake_ast_lex.mll
+16 -1 omake/src/env/omake_command_digest.ml
+1 -0 omake/src/env/omake_env.ml
+1 -0 omake/src/env/omake_env.mli
+7 -2 omake/src/env/omake_exn_print.ml
+67 -28 omake/src/env/omake_ir_ast.ml
+7 -2 omake/src/env/omake_ir_free_vars.ml
Added omake/src/env/omake_ir_semant.ml
Properties omake/src/env/omake_ir_semant.ml
Added omake/src/env/omake_ir_semant.mli
Properties omake/src/env/omake_ir_semant.mli
+57 -10 omake/src/eval/omake_eval.ml
+6 -2 omake/src/ir/omake_ir.ml
+14 -1 omake/src/ir/omake_ir_print.ml
+3 -0 omake/src/ir/omake_ir_util.ml
+3 -0 omake/src/ir/omake_symbol.ml
+2 -0 omake/src/main/omake_main.ml
+1 -1 omake/version.txt