Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-10 11:07:05 -0700 (Fri, 10 Aug 2007)
Revision: 11955
Log message:

      Ouch, a terrible typo in Omake_ir_semant meant that expressions
     in a ValBody were not converted.  We should probably turn on
     strict free-variable checking.
     
        X el ->
           (* Oops, "e" is a typo, but OCaml doesn't report it *)
           let z, e = f z el in
              z, X el