Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Translate two expressions of the AST from French to English

Browse Source
This commit is contained in:
Benjamin Loison 2022-12-10 19:12:16 +01:00
parent b2e3ec4dd8
commit a44c9288f5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/pp.ml
View File

@ -131,7 +131,7 @@ let rec pp_equations fmt: t_eqlist -> unit = function
pp_equations eqs pp_equations eqs
let pp_node fmt node = let pp_node fmt node =
Format.fprintf fmt "\t∗ Nom du nœud : %s\n\t Inputs:\n%a\n\t Outputs:\n%a\n\t\ Format.fprintf fmt "\t∗ Node name : %s\n\t Inputs:\n%a\n\t Outputs:\n%a\n\t\
\ \ Local variables:\n%a\n\t Equations:\n%a\n" \ \ Local variables:\n%a\n\t Equations:\n%a\n"
node.n_name node.n_name
pp_varlist node.n_inputs pp_varlist node.n_inputs
@ -147,7 +147,7 @@ let rec pp_nodes fmt nodes =
let pp_ast fmt prog = let pp_ast fmt prog =
Format.fprintf fmt Format.fprintf fmt
"Le programme est composé de %d nœud(s), listés ci-dessous :\n%a" "The program is made of %d node(s), listed below :\n%a"
(List.length prog) (List.length prog)
pp_nodes prog pp_nodes prog