ENSEEIHT/projet-traduction-langage
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

fix: dams

Browse source
This commit is contained in:
Laurent Fainsin 2021-11-24 16:09:18 +01:00
parent d7bc456f99
commit 73e7dfafcd
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/passeTdsRat.ml
View file

@ -186,10 +186,11 @@ let analyse_tds_fonction maintds (AstSyntax.Fonction(t, str, l_typstr, bloc)) =
| None -> | None ->
begin begin
let info = Tds.InfoVar(str, Undefined, 0, "") in let info = Tds.InfoVar(str, Undefined, 0, "") in
let tds_bloc = List.fold_right ( let tds_bloc = maintds in (* tds_bloc doit inclure les nouveaux éléments passés en paramètre *)
fun (_, nom) qres -> let unit_l = (List.map (
ajouter qres nom (info_to_info_ast (Tds.InfoVar(nom, Undefined, 0, ""))) fun (_, nom) ->
) l_typstr (creerTDSFille maintds) in ajouter tds_bloc nom (info_to_info_ast (Tds.InfoVar(nom, Undefined, 0, "")))
) l_typstr) in
let new_bloc = analyse_tds_bloc tds_bloc bloc in let new_bloc = analyse_tds_bloc tds_bloc bloc in
let nl_typinfo = List.map ( let nl_typinfo = List.map (
fun (t, str2) -> fun (t, str2) ->