You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While packaging for Debian, the tools detected the following typos:
--- ott.orig/examples/ocaml_light/library.ott
+++ ott/examples/ocaml_light/library.ott
@@ -9545,26 +9545,26 @@
% }
%>>
%
-% The informations returned by the Unix.stat[21.1] calls.
+% The information returned by the Unix.stat[21.1] calls.
%
%<<
% val stat : string -> stats
%>>
%
-% Return the informations for the named file.
+% Return the information for the named file.
%
%<<
% val lstat : string -> stats
%>>
%
% Same as Unix.stat[21.1], but in case the file is a symbolic
-% link, return the informations for the link itself.
+% link, return the information for the link itself.
%
%<<
% val fstat : file_descr -> stats
%>>
%
-% Return the informations for the file associated with the given
+% Return the information for the file associated with the given
% descriptor.
%
%
--- ott.orig/src/coq_induct.ml
+++ ott/src/coq_induct.ml
@@ -50,7 +50,7 @@
| _ -> false)
elb.elb_es
| Lang_option _ | Lang_sugaroption _ ->
- Auxl.error (Some r.rule_loc) "interal: option types not implemented in pp_induction\n"
+ Auxl.error (Some r.rule_loc) "internal: option types not implemented in pp_induction\n"
| Lang_nonterm (_,_) | Lang_metavar (_,_) | Lang_terminal _ -> false
in List.exists element_uses_list_nt p.prod_es in
(not r.rule_meta) && (List.exists uses_list_nt r.rule_ps)
--- ott.orig/src/dependency.ml
+++ ott/src/dependency.ml
@@ -59,7 +59,7 @@
print_string "]"
let debug_graph g i p =
- print_endline "*** vertex informations";
+ print_endline "*** vertex information";
List.iter (fun (v,n) ->
Printf.printf "%i : " (G.V.label v); p n; print_newline ()) i;
print_newline ();
@@ -123,7 +123,7 @@
if !debug then debug_graph g !g_vertex_info print_class;
- (* g contains the dependency graph. we now build the informations
+ (* g contains the dependency graph. we now build the information
that will be stored in the xd *)
(* 1- topological sort *)
--- ott.orig/src/grammar_typecheck.ml
+++ ott/src/grammar_typecheck.ml
@@ -270,8 +270,8 @@
let collected_assoc = collect assoc in
List.map snd collected_assoc
-(* to merge the structure informations properly, we need to return
-informations about which rules have been merged *)
+(* to merge the structure information properly, we need to return
+information about which rules have been merged *)
let merge_raw_rules (rrs:raw_rule list) : raw_rule list * (nontermroot*loc*nontermroot*loc) list =
let merged = ref [] in
@@ -1403,7 +1403,7 @@
(* now we have in our hand the new ris_per_file that preserves the
source-file ordering information that we can use in the new
order-respecting output. More precisely, the source structure
- informations are stored in the xd structure field. *)
+ information are stored in the xd structure field. *)
(* debug *)
let debug_ris_per_file heading ris_per_file =
@@ -2696,7 +2696,7 @@
xd.xd_fvs in
let structure_embed =
let all_embeds = xd.xd_embed_preamble @ xd.xd_embed in
- List.map (fun (l,m,e) -> (l,Struct_embed (l,m,e))) all_embeds (* FZ this duplicates a lot of informations... FIXME *)
+ List.map (fun (l,m,e) -> (l,Struct_embed (l,m,e))) all_embeds (* FZ this duplicates a lot of information... FIXME *)
in
let structure_dcs =
List.map
--- ott.orig/src/main.ml
+++ ott/src/main.ml
@@ -110,13 +110,13 @@
Arg.String (fun s ->
match !write_systemdefn_filename_opt with
| None -> write_systemdefn_filename_opt := Some s
- | Some _ -> Auxl.error None "\nError: multiple -writesys <filename> not suppported\n"),
+ | Some _ -> Auxl.error None "\nError: multiple -writesys <filename> not supported\n"),
"<filename> Output system definition" );
( "-readsys",
Arg.String (fun s ->
match !read_systemdefn_filename_opt with
| None -> read_systemdefn_filename_opt := Some s
- | Some _ -> Auxl.error None "\nError: multiple -readsys <filename> not suppported\n"),
+ | Some _ -> Auxl.error None "\nError: multiple -readsys <filename> not supported\n"),
"<filename> Input system definition" );
(* filter filenames *)
@@ -723,7 +723,7 @@
close_out fd;
print_string ("dot version in file: " ^ s ^ "\n") );
- (* for each target, compute the o/is informations *)
+ (* for each target, compute the o/is information *)
let output_details =
(* for each -o target *)
(* collect the output file names, and for each output file name, collect the -i it depends on *)
--- ott.orig/src/system_pp.ml
+++ ott/src/system_pp.ml
@@ -325,12 +325,12 @@
let pp_systemdefn_structure fd m sd xd_expanded structure_expanded lookup =
List.iter (fun (_,x) -> pp_struct_entry fd m sd xd_expanded lookup x) structure_expanded
-(* old algorithm that ignores the structure informations: core for isa/hol/coq/twf output *)
+(* old algorithm that ignores the structure information: core for isa/hol/coq/twf output *)
let pp_systemdefn_core fd m sd lookup =
let xd_expanded, structure_expanded =
Transform.expand_lists_in_syntaxdefn m sd.syntax sd.structure in (* identity if m <> Coq *)
- output_string fd (Auxl.big_line_comment m "warning: the backend selected ignores the file structure informations");
+ output_string fd (Auxl.big_line_comment m "warning: the backend selected ignores the file structure information");
Embed_pp.pp_embeds fd m sd.syntax lookup sd.syntax.xd_embed_preamble;
pp_auxiliary_lemmas m xd_expanded;
output_string fd (Auxl.big_line_comment m "syntax");
The text was updated successfully, but these errors were encountered:
While packaging for Debian, the tools detected the following typos:
The text was updated successfully, but these errors were encountered: