From 9b3ba83bb11b86d358d41237ead19580153bebfa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=EBl=20Delaval?= Date: Mon, 11 Mar 2013 16:04:12 +0100 Subject: [PATCH] Bug correction in java generation --- compiler/obc/java/obc2java.ml | 4 ++-- compiler/obc/java/obc2java14.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/obc/java/obc2java.ml b/compiler/obc/java/obc2java.ml index abcd64e..5d98c6a 100644 --- a/compiler/obc/java/obc2java.ml +++ b/compiler/obc/java/obc2java.ml @@ -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 diff --git a/compiler/obc/java/obc2java14.ml b/compiler/obc/java/obc2java14.ml index 1085a8e..6762a93 100644 --- a/compiler/obc/java/obc2java14.ml +++ b/compiler/obc/java/obc2java14.ml @@ -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