From 9a0bfd468cf143e137d613049e895a4660c87220 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Mon, 19 Dec 2022 14:06:18 +0100 Subject: [PATCH] Correct some typos --- src/ast_to_c.ml | 2 +- src/main.ml | 2 +- src/passes.ml | 6 +++--- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml index 3e3bbe8..dbdbd5e 100644 --- a/src/ast_to_c.ml +++ b/src/ast_to_c.ml @@ -291,7 +291,7 @@ let rec cp_nodes fmt (nodes, h) = (** [dump_var_locations] dumps the internal tables to map the program variable * (after all the passes) to their location in the final C program. *) let dump_var_locations fmt (st: node_states) = - Format.fprintf fmt "Tables mapping the AST Variables to the C variables:\n"; + Format.fprintf fmt "Tables mapping the AST variables to the C variables:\n"; Hashtbl.iter (fun n st -> Format.fprintf fmt " ∗ NODE: %s\n" n; diff --git a/src/main.ml b/src/main.ml index f7fe8c8..da6fed1 100644 --- a/src/main.ml +++ b/src/main.ml @@ -35,7 +35,7 @@ let exec_passes ast verbose debug passes f = "Current AST (after %s):\n%a\n" n Lustre_pp.pp_ast ast); aux ast passes) end with - | _ -> failwith ("The pass "^n^" should have catched me!") + | _ -> failwith ("The pass "^n^" should have caught me!") in aux ast passes diff --git a/src/passes.ml b/src/passes.ml index c303cc0..4768751 100644 --- a/src/passes.ml +++ b/src/passes.ml @@ -21,7 +21,7 @@ open Utils *) let pass_if_removal verbose debug = let varcount = ref 0 in (** new variables are called «_ifrem[varcount]» *) - (** Males a pattern (t_varlist) of fresh variables matching the type t *) + (** Makes a pattern (t_varlist) of fresh variables matching the type t *) let make_patt t: t_varlist = (t, List.fold_right (fun ty acc -> @@ -153,7 +153,7 @@ let pass_if_removal verbose debug = * This is required, since the pre construct is translated into a variable in * the final C code. *) let pass_linearization_pre verbose debug = - (** [node_lin] linearises a single node. *) + (** [node_lin] linearizes a single node. *) let node_lin (node: t_node): t_node option = (** [pre_aux_expression] takes an expression and returns: * - a list of additional equations @@ -188,7 +188,7 @@ let pass_linearization_pre verbose debug = let eqs, vars, e = pre_aux_expression vars e in let eqs', vars, e' = pre_aux_expression vars e' in eqs @ eqs', vars, EBinOp (t, op, e, e') - | ETriOp (t, op, e, e', e'') -> (** Do we always want a new var here ? *) + | ETriOp (t, op, e, e', e'') -> (** Do we always want a new var here? *) let eqs, vars, e = pre_aux_expression vars e in let nvar: string = fresh_var_name vars 6 in let nvar: t_var = BVar nvar in