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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
// #Conformance #Globalization
#if ALL_IN_ONE
module Core_unicode
#endif
let failures = ref []
let reportFailure (s : string) =
stderr.Write" NO: "
stderr.WriteLine s
failures := !failures @ [s]
let test (s : string) b =
stderr.Write(s)
if b then stderr.WriteLine " OK"
else reportFailure (s)
(* TEST SUITE FOR UNICODE CHARS *)
#if NetCore
#else
let argv = System.Environment.GetCommandLineArgs()
let SetCulture() =
if argv.Length > 2 && argv.[1] = "--culture" then begin
let cultureString = argv.[2] in
let culture = new System.Globalization.CultureInfo(cultureString) in
stdout.WriteLine ("Running under culture "+culture.ToString()+"...");
System.Threading.Thread.CurrentThread.CurrentCulture <- culture
end
do SetCulture()
#endif
#if Portable
#else
let input_byte (x : System.IO.FileStream) =
let b = x.ReadByte()
if b = -1 then raise (System.IO.EndOfStreamException()) else b
let test2925 () =
printfn "test2925...";
(* This writes a file in the standard utf8 encoding. Probably needs to be adjusted if default encodings differ *)
let os = new System.IO.StreamWriter("out1.txt", false, System.Text.Encoding.UTF8) in
os.Write "\u00a9"; (* copyright *)
os.Write "\u2260"; (* not equals *)
os.Close();
use is1 = System.IO.File.OpenRead "out1.txt" in
use is2 = System.IO.File.OpenRead "out.bsl" in
try
while true do
let c2 = input_byte is2 in
let c1 = try input_byte is1 with :? System.IO.EndOfStreamException -> reportFailure "end of file reached"; 0 in
if c1 <> c2 then reportFailure "test3732: file contents differ";
done;
with :? System.IO.EndOfStreamException ->
is1.Close();
is2.Close();
()
let _ = test2925 ()
let test2925b () =
printfn "test2925b...";
(* This writes a file in the standard utf8 encoding. Probably needs to be adjusted if default encodings differ *)
let os = new System.IO.StreamWriter("out1.txt", false, System.Text.Encoding.UTF8) in
os.Write "\U000000a9"; (* copyright *)
os.Write "\U00002260"; (* not equals *)
os.Close();
let is1 = System.IO.File.OpenRead "out1.txt" in
let is2 = System.IO.File.OpenRead "out.bsl" in
try
while true do
let c2 = input_byte is2 in
let c1 = try input_byte is1 with :? System.IO.EndOfStreamException -> reportFailure "end of file reached"; 0 in
if c1 <> c2 then reportFailure "test373289: file contents differ";
done;
with :? System.IO.EndOfStreamException ->
is1.Close();
is2.Close();
()
let _ = test2925b ()
let test2926 () =
printfn "test2926...";
(* This writes a file in the standard utf8 encoding. Probably needs to be adjusted if default encodings differ *)
let os = new System.IO.StreamWriter("out2.txt", false, System.Text.Encoding.UTF8) in
let s = "©≠" in (* <<<<< UNICODE STRING for "\u00a9\u2260" HERE!!! *)
os.Write s;
Printf.printf "length s = %d\n" (String.length s);
os.Close();
let is1 = System.IO.File.OpenRead "out2.txt" in
let is2 = System.IO.File.OpenRead "out.bsl" in
try
while true do
let c2 = input_byte is2 in
let c1 = try input_byte is1 with :? System.IO.EndOfStreamException -> reportFailure "end of file reached"; 0 in
if c1 <> c2 then reportFailure (sprintf "test37d2392: file contents differ, got '%x', expected '%x'" c1 c2);
done;
with :? System.IO.EndOfStreamException ->
is1.Close();
is2.Close();
()
let _ = test2926 ()
let test2927 () =
printfn "test2927...";
(* This writes a unicode string to stdout using the encoding in System.Console.OutputEncoding. *)
let s = "©≠" in (* <<<<< UNICODE STRING for "\u00a9\u2260" HERE!!! *)
stdout.WriteLine s
let _ = test2927 ()
let test2928 () =
printfn "test2928...";
(* This writes a file in the default encoding. *)
let os = new System.IO.StreamWriter("out3.txt", false, System.Text.Encoding.UTF8) in
let s = "©≠" in (* <<<<< UNICODE STRING for "\u00a9\u2260" HERE!!! *)
os.Write s;
os.Close()
let _ = test2928 ()
#endif
let test2929 () =
printfn "test2929...";
let s = "©≠" in (* <<<<< UNICODE STRING for "\u00a9\u2260" HERE!!! *)
if (Printf.sprintf "%s" s <> s) then reportFailure "sprintf did not roundtrip (1)";
if (Printf.sprintf "©≠" <> s) then reportFailure "sprintf did not roundtrip (2)"
let _ = test2929 ()
let ÄËÖÏÜâæçñõö = 3 + 4
let МНОПРСТУФХЦẀẁẂќ = 5 + 6
let αβΛΘΩΨΧΣδζȚŶǺ = 22/7
let π = 3.1415
#if ALL_IN_ONE
let RUN() = !failures
#else
let aa =
match !failures with
| [] ->
stdout.WriteLine "Test Passed"
System.IO.File.WriteAllText("test.ok","ok")
exit 0
| _ ->
stdout.WriteLine "Test Failed"
exit 1
#endif
|
