[r2005-03-16 16:40:30 by cmiachon] bug corrected : (select e from ...) =>...

[r2005-03-16 16:40:30 by cmiachon] bug corrected : (select e from ...) => (transform ... -> [e]) instead
of e

Original author: cmiachon
Date: 2005-03-16 16:40:30+00:00

typing/typer.ml

@@ -1392,7 +1392,7 @@ and select_from_where env loc e from where =
     let br_loc = merge_loc ploc e.Typed.exp_loc in
     (above,exp' br_loc (Typed.Transform (e, b)))
   in
-  let (fv,e) = expr !env noloc e in
+  let (fv,e) = expr !env noloc (Pair(e,cst_nil)) in
   let (where,rest) = List.fold_right aux from (where,e) in
   (* The remaining conditions are constant. Gives a warning for that. *)
   (match where with