1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
Fix some spelling mistakes in the package.
Index: ats2-lang-0.4.0/CHANGES-ats2
===================================================================
--- ats2-lang-0.4.0.orig/CHANGES-ats2
+++ ats2-lang-0.4.0/CHANGES-ats2
@@ -736,7 +736,7 @@ Here is a list of major additions and ch
3. Changing symbolic to "%&+-./:=@~`^|*!?<>#" (that is, '$' is dropped)
4. Supporting both string_make_stream and string_make_stream_vt
5. Improving support for combinators in stream_vt, ML/list0 and ML/string
-6. Introducing $tyrep(...) for outputing terms representing types in the
+6. Introducing $tyrep(...) for outputting terms representing types in the
generated code (so that C++ templates can be used in ATS2 code directly)
######
Index: ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-getargs/TEST/test01.dats
===================================================================
--- ats2-lang-0.4.0.orig/contrib/atscntrb/atscntrb-hx-getargs/TEST/test01.dats
+++ ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-getargs/TEST/test01.dats
@@ -46,7 +46,7 @@ println! ("where a <command> is of one o
//
println! (" -h,--help (for printing out this help usage)");
//
-println! (" -ev,--eval (for outputing <arg1> * <arg2>)");
+println! (" -ev,--eval (for outputting <arg1> * <arg2>)");
//
println! (" -a1,--arg1: <integer> (for inputing the 1st argument)");
//
Index: ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats
===================================================================
--- ats2-lang-0.4.0.orig/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats
+++ ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats
@@ -85,7 +85,7 @@ stadef mpf = mpf_vt0ype: vt@ype
(* ****** ****** *)
//
// HX: for
-// outputing MP numbers
+// outputting MP numbers
//
typedef
mp_base = intBtwe(2, 36): t@ype
Index: ats2-lang-0.4.0/src/CBOOT/pats_main_dats.c
===================================================================
--- ats2-lang-0.4.0.orig/src/CBOOT/pats_main_dats.c
+++ ats2-lang-0.4.0/src/CBOOT/pats_main_dats.c
@@ -4214,11 +4214,11 @@ tmp1 = ats_caselptrlab_mac(anairiats_sum
#line 500 "pats_main.dats"
/* tmp55 = */ atspre_fprint_newline (arg0) ;
#line 502 "pats_main.dats"
-/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst(" --codegen-2 (for outputing code generated from level-2 syntax)")) ;
+/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst(" --codegen-2 (for outputting code generated from level-2 syntax)")) ;
#line 502 "pats_main.dats"
/* tmp57 = */ atspre_fprint_newline (arg0) ;
#line 503 "pats_main.dats"
-/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(" --jsonize-2 (for outputing code in JSON based on level-2 syntax)")) ;
+/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(" --jsonize-2 (for outputting code in JSON based on level-2 syntax)")) ;
#line 503 "pats_main.dats"
/* tmp59 = */ atspre_fprint_newline (arg0) ;
#line 505 "pats_main.dats"
Index: ats2-lang-0.4.0/src/CBOOT/pats_main_none_dats.c
===================================================================
--- ats2-lang-0.4.0.orig/src/CBOOT/pats_main_none_dats.c
+++ ats2-lang-0.4.0/src/CBOOT/pats_main_none_dats.c
@@ -4156,9 +4156,9 @@ tmp1 = ats_caselptrlab_mac(anairiats_sum
/* tmp53 = */ atspre_fprint_newline (arg0) ;
/* tmp54 = */ atspre_fprint_string (arg0, ATSstrcst(" --atsreloc (for generating a script to help relocate packages in need)")) ;
/* tmp55 = */ atspre_fprint_newline (arg0) ;
-/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst(" --codegen-2 (for outputing code generated from level-2 syntax)")) ;
+/* tmp56 = */ atspre_fprint_string (arg0, ATSstrcst(" --codegen-2 (for outputting code generated from level-2 syntax)")) ;
/* tmp57 = */ atspre_fprint_newline (arg0) ;
-/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(" --jsonize-2 (for outputing code in JSON based on level-2 syntax)")) ;
+/* tmp58 = */ atspre_fprint_string (arg0, ATSstrcst(" --jsonize-2 (for outputting code in JSON based on level-2 syntax)")) ;
/* tmp59 = */ atspre_fprint_newline (arg0) ;
/* tmp60 = */ atspre_fprint_string (arg0, ATSstrcst(" --tlcalopt-disable (for disabling tail-call optimization)")) ;
/* tmp61 = */ atspre_fprint_newline (arg0) ;
Index: ats2-lang-0.4.0/src/pats_main.dats
===================================================================
--- ats2-lang-0.4.0.orig/src/pats_main.dats
+++ ats2-lang-0.4.0/src/pats_main.dats
@@ -499,8 +499,8 @@ fprintln! (out, " --debug2 (for enablin
//
fprintln! (out, " --atsreloc (for generating a script to help relocate packages in need)");
//
-fprintln! (out, " --codegen-2 (for outputing code generated from level-2 syntax)");
-fprintln! (out, " --jsonize-2 (for outputing code in JSON based on level-2 syntax)");
+fprintln! (out, " --codegen-2 (for outputting code generated from level-2 syntax)");
+fprintln! (out, " --jsonize-2 (for outputting code in JSON based on level-2 syntax)");
//
fprintln! (out, " --tlcalopt-disable (for disabling tail-call optimization)");
//
|
