Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Erreur dans la "location" de if...then...else 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1996-05-31 12:30:26 +00:00
parent 2a073e5ee9
commit b2d9978b17
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/typecore.ml
View File

@ -425,9 +425,9 @@ let rec type_exp env sexp =
{ exp_desc = Texp_ifthenelse(cond, ifso, None);
exp_loc = sexp.pexp_loc;
exp_type = instance Predef.type_unit }
| Some sexp ->
| Some sifnot ->
let ifso = type_exp env sifso in
let ifnot = type_expect env sexp ifso.exp_type in
let ifnot = type_expect env sifnot ifso.exp_type in
{ exp_desc = Texp_ifthenelse(cond, ifso, Some ifnot);
exp_loc = sexp.pexp_loc;
exp_type = ifso.exp_type }