jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Bug correction in java generation

Browse source
This commit is contained in:
Gwenal Delaval 2013-03-11 16:04:12 +01:00
parent f60b00e9e3
commit 9b3ba83bb1
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/obc/java/obc2java.ml
View file

@ -192,7 +192,7 @@ let rec static_exp param_env se = match se.Types.se_desc with
let ty_name =
match se.Types.se_ty with
| Types.Tid ty_name -> qualname_to_package_classe ty_name
| _ -> Misc.internal_error "Obc2java14"
| _ -> Misc.internal_error "Obc2java"
in
let f_e_l =
List.sort
@ -200,7 +200,7 @@ let rec static_exp param_env se = match se.Types.se_desc with
f_e_l in
let e_l = List.map (fun (_f,e) -> e) f_e_l in
Enew (Tclass ty_name, List.map (static_exp param_env) e_l)
| Types.Sop (f, se_l) -> Efun (qualname_to_class_name f, List.map (static_exp param_env) se_l)
| Types.Sop (f, se_l) -> Efun (f, List.map (static_exp param_env) se_l)
and boxed_ty param_env t = match Modules.unalias_type t with
| Types.Tprod [] -> Tunit

2
compiler/obc/java/obc2java14.ml
View file

@ -200,7 +200,7 @@ let rec static_exp param_env se = match se.Types.se_desc with
f_e_l in
let e_l = List.map (fun (_f,e) -> e) f_e_l in
Enew (Tclass ty_name, List.map (static_exp param_env) e_l)
| Types.Sop (f, se_l) -> Efun (qualname_to_class_name f, List.map (static_exp param_env) se_l)
| Types.Sop (f, se_l) -> Efun (f, List.map (static_exp param_env) se_l)
and boxed_ty param_env t = match Modules.unalias_type t with
| Types.Tprod [] -> Tunit