]> gitweb.factorcode.org Git - factor.git/blob - core/math/parser/parser-tests.factor
core: Trim using lists from -tests and clean up a few irregularities.
[factor.git] / core / math / parser / parser-tests.factor
1 USING: layouts literals math math.parser sequences tools.test ;
2
3 { f }
4 [ f string>number ]
5 unit-test
6
7 { f }
8 [ ";" string>number ]
9 unit-test
10
11 { f }
12 [ "<>" string>number ]
13 unit-test
14
15 { f }
16 [ "^" string>number ]
17 unit-test
18
19 { f }
20 [ "789:;<=>?@" string>number ]
21 unit-test
22
23 { f }
24 [ "12345abcdef" string>number ]
25 unit-test
26
27 { 12 }
28 [ "+12" string>number ]
29 unit-test
30
31 { -12 }
32 [ "-12" string>number ]
33 unit-test
34
35 { f }
36 [ "-+12" string>number ]
37 unit-test
38
39 { f }
40 [ "+-12" string>number ]
41 unit-test
42
43 { f }
44 [ "--12" string>number ]
45 unit-test
46
47 { f }
48 [ "-" string>number ]
49 unit-test
50
51 { f }
52 [ "e" string>number ]
53 unit-test
54
55 { f } [ "1/0" string>number ] unit-test
56 { f } [ "-1/0" string>number ] unit-test
57 { 1/2 } [ "1/2" string>number ] unit-test
58 { -1/2 } [ "-1/2" string>number ] unit-test
59 { 2 } [ "4/2" string>number ] unit-test
60 { f } [ "1/-2" string>number ] unit-test
61 { f } [ "1/2/3" string>number ] unit-test
62 { 1+1/2 } [ "1+1/2" string>number ] unit-test
63 { 1+1/2 } [ "+1+1/2" string>number ] unit-test
64 { f } [ "1-1/2" string>number ] unit-test
65 { -1-1/2 } [ "-1-1/2" string>number ] unit-test
66 { f } [ "-1+1/2" string>number ] unit-test
67 { f } [ "1+2" string>number ] unit-test
68 { f } [ "1+" string>number ] unit-test
69 { f } [ "1-" string>number ] unit-test
70 { f } [ "1+1/2+2" string>number ] unit-test
71
72 { 100000 } [ "100,000" string>number ] unit-test
73
74 { 100000.0 } [ "100,000.0" string>number ] unit-test
75
76 { f } [ "," string>number ] unit-test
77 { f } [ "-," string>number ] unit-test
78 { f } [ "1," string>number ] unit-test
79 { f } [ "-1," string>number ] unit-test
80 { f } [ ",2" string>number ] unit-test
81 { f } [ "-,2" string>number ] unit-test
82
83 { 2.0 } [ "2." string>number ] unit-test
84 { 2.0 } [ "+2." string>number ] unit-test
85 { 0.25 } [ ".25" string>number ] unit-test
86 { -2.0 } [ "-2." string>number ] unit-test
87 { -0.25 } [ "-.25" string>number ] unit-test
88 { f }  [ "-." string>number ] unit-test
89
90 { 255 } [ "ff" hex> ] unit-test
91
92 { 100.0 } [ "1.0e2" string>number ] unit-test
93 { 100.0 } [ "100.0" string>number ] unit-test
94 { 100.0 } [ "100." string>number ] unit-test
95
96 { 100.0 } [ "1e2" string>number ] unit-test
97 { 100.0 } [ "1e+2" string>number ] unit-test
98 { 0x1e2 } [ "1e2" hex> ] unit-test
99
100 { 0x1.999999999999ap-3 } [ "0.2" string>number ] unit-test
101 { 0x1.3333333333333p0  } [ "1.2" string>number ] unit-test
102 { 0o1.146314631463146314p0 } [ "1.2" string>number ] unit-test
103 { 0b1.0011001100110011001100110011001100110011001100110011p0 } [ "1.2" string>number ] unit-test
104 { 0x1.5555555555555p0  } [ "1.333,333,333,333,333,333" string>number ] unit-test
105 { 0x1.aaaaaaaaaaaabp0  } [ "1.666,666,666,666,666,666" string>number ] unit-test
106
107 { "100.0" }
108 [ "1.0e2" string>number number>string ]
109 unit-test
110
111 { -100.0 } [ "-1.0e2" string>number ] unit-test
112 { -100.0 } [ "-100.0" string>number ] unit-test
113 { -100.0 } [ "-100." string>number ] unit-test
114
115 { "-100.0" }
116 [ "-1.0e2" string>number number>string ]
117 unit-test
118
119 { -100.0 } [ "-1.e2" string>number ] unit-test
120
121 { "0.01" }
122 [ "1.0e-2" string>number number>string ]
123 unit-test
124
125 { 0.01 } [ "1.0e-2" string>number ] unit-test
126
127 { "-0.01" }
128 [ "-1.0e-2" string>number number>string ]
129 unit-test
130
131 { -0.01 } [ "-1.0e-2" string>number ] unit-test
132
133 { "-0.01" }
134 [ "-1.e-2" string>number number>string ]
135 unit-test
136
137 { -1.0e-12 } [ "-1.0e-12" string>number ] unit-test
138
139 { t }
140 [ "-1.0e-12" string>number number>string { "-1.0e-12" "-1.0e-012" } member? ]
141 unit-test
142
143 { f }
144 [ "-1e-2e4" string>number ]
145 unit-test
146
147 { "3.14" }
148 [ "3.14" string>number number>string ]
149 unit-test
150
151 { f }
152 [ "." string>number ]
153 unit-test
154
155 { f }
156 [ ".e" string>number ]
157 unit-test
158
159 { "101.0" }
160 [ "1.01e2" string>number number>string ]
161 unit-test
162
163 { "-101.0" }
164 [ "-1.01e2" string>number number>string ]
165 unit-test
166
167 { "1.01" }
168 [ "101.0e-2" string>number number>string ]
169 unit-test
170
171 { "-1.01" }
172 [ "-101.0e-2" string>number number>string ]
173 unit-test
174
175 { f }
176 [ "1e1/2" string>number ]
177 unit-test
178
179 { f }
180 [ "1e1.2" string>number ]
181 unit-test
182
183 { f }
184 [ "e/2" string>number ]
185 unit-test
186
187 { f } [ "12" bin> ] unit-test
188 { f } [ "fdsf" bin> ] unit-test
189 { 3 } [ "11" bin> ] unit-test
190
191 { f } [ "\0." string>number ] unit-test
192
193 [ 1 1 >base ] must-fail
194 [ 1 0 >base ] must-fail
195 [ 1 -1 >base ] must-fail
196 [ 2+1/2 -1 >base ] [ invalid-radix? ] must-fail-with
197 [ 123.456 7 >base ] [ invalid-radix? ] must-fail-with
198
199 { "0/0." } [ 0.0 0.0 / number>string ] unit-test
200
201 { "1/0." } [ 1.0 0.0 / number>string ] unit-test
202
203 { "-1/0." } [ -1.0 0.0 / number>string ] unit-test
204
205 { t } [ "0/0." string>number fp-nan? ] unit-test
206
207 { 1/0. } [ "1/0." string>number ] unit-test
208
209 { -1/0. } [ "-1/0." string>number ] unit-test
210
211 { -0.5 } [ "-1/2." string>number ] unit-test
212
213 { "-0.0" } [ -0.0 number>string ] unit-test
214
215 { "-3/4" } [ -3/4 number>string ] unit-test
216 { "-1-1/4" } [ -5/4 number>string ] unit-test
217
218 { "1.0p0" } [ 1.0 >hex ] unit-test
219 { "1.8p2" } [ 6.0 >hex ] unit-test
220 { "1.08p2" } [ 4.125 >hex ] unit-test
221 { "1.8p-2" } [ 0.375 >hex ] unit-test
222 { "-1.8p2" } [ -6.0 >hex ] unit-test
223 { "1.8p10" } [ 1536.0 >hex ] unit-test
224 { "0.0" } [ 0.0 >hex ] unit-test
225 { "1.0p-1074" } [ 1 bits>double >hex ] unit-test
226 { "-0.0" } [ -0.0 >hex ] unit-test
227
228 { "1.0p0" } [ 1.0 >bin ] unit-test
229 { "1.1p2" } [ 6.0 >bin ] unit-test
230 { "1.00001p2" } [ 4.125 >bin ] unit-test
231 { "1.1p-2" } [ 0.375 >bin ] unit-test
232 { "-1.1p2" } [ -6.0 >bin ] unit-test
233 { "1.1p10" } [ 1536.0 >bin ] unit-test
234 { "0.0" } [ 0.0 >bin ] unit-test
235 { "1.0p-1074" } [ 1 bits>double >bin ] unit-test
236 { "-0.0" } [ -0.0 >bin ] unit-test
237
238 { "1.0p0" } [ 1.0 >oct ] unit-test
239 { "1.4p2" } [ 6.0 >oct ] unit-test
240 { "1.02p2" } [ 4.125 >oct ] unit-test
241 { "1.4p-2" } [ 0.375 >oct ] unit-test
242 { "-1.4p2" } [ -6.0 >oct ] unit-test
243 { "1.4p10" } [ 1536.0 >oct ] unit-test
244 { "0.0" } [ 0.0 >oct ] unit-test
245 { "1.0p-1074" } [ 1 bits>double >oct ] unit-test
246 { "-0.0" } [ -0.0 >oct ] unit-test
247
248 { 1.0 } [ "1.0p0" hex> ] unit-test
249 { 1.5 } [ "1.8p0" hex> ] unit-test
250 { 1.875 } [ "1.ep0" hex> ] unit-test
251 { 1.90625 } [ "1.e8p0" hex> ] unit-test
252 { 1.03125 } [ "1.08p0" hex> ] unit-test
253 { 15.5 } [ "f.8p0" hex> ] unit-test
254 { 15.53125 } [ "f.88p0" hex> ] unit-test
255 { -15.5 } [ "-f.8p0" hex> ] unit-test
256 { 15.5 } [ "f.8p0" hex> ] unit-test
257 { -15.5 } [ "-f.8p0" hex> ] unit-test
258 { 62.0 } [ "f.8p2" hex> ] unit-test
259 { 3.875 } [ "f.8p-2" hex> ] unit-test
260 { $[ 1 bits>double ] } [ "1.0p-1074" hex> ] unit-test
261 { 0.0 } [ "1.0p-1075" hex> ] unit-test
262 { 1/0. } [ "1.0p1024" hex> ] unit-test
263 { -1/0. } [ "-1.0p1024" hex> ] unit-test
264
265 { 1.0 } [ "1.0p0" bin> ] unit-test
266 { 1.5 } [ "1.1p0" bin> ] unit-test
267 { 1.875 } [ "1.111p0" bin> ] unit-test
268 { 1.90625 } [ "1.11101p0" bin> ] unit-test
269 { 1.03125 } [ "1.00001p0" bin> ] unit-test
270 { 15.5 } [ "1111.1p0" bin> ] unit-test
271 { 15.53125 } [ "1111.10001p0" bin> ] unit-test
272 { -15.5 } [ "-1111.1p0" bin> ] unit-test
273 { 15.5 } [ "1111.1p0" bin> ] unit-test
274 { -15.5 } [ "-1111.1p0" bin> ] unit-test
275 { 62.0 } [ "1111.1p2" bin> ] unit-test
276 { 3.875 } [ "1111.1p-2" bin> ] unit-test
277 { $[ 1 bits>double ] } [ "1.0p-1074" bin> ] unit-test
278 { 0.0 } [ "1.0p-1075" bin> ] unit-test
279 { 1/0. } [ "1.0p1024" bin> ] unit-test
280 { -1/0. } [ "-1.0p1024" bin> ] unit-test
281
282 { 1.0 } [ "1.0p0" oct> ] unit-test
283 { 1.5 } [ "1.4p0" oct> ] unit-test
284 { 1.875 } [ "1.7p0" oct> ] unit-test
285 { 1.90625 } [ "1.72p0" oct> ] unit-test
286 { 1.03125 } [ "1.02p0" oct> ] unit-test
287 { 15.5 } [ "17.4p0" oct> ] unit-test
288 { 15.53125 } [ "17.42p0" oct> ] unit-test
289 { -15.5 } [ "-17.4p0" oct> ] unit-test
290 { 15.5 } [ "17.4p0" oct> ] unit-test
291 { -15.5 } [ "-17.4p0" oct> ] unit-test
292 { 62.0 } [ "17.4p2" oct> ] unit-test
293 { 3.875 } [ "17.4p-2" oct> ] unit-test
294 { $[ 1 bits>double ] } [ "1.0p-1074" oct> ] unit-test
295 { 0.0 } [ "1.0p-1075" oct> ] unit-test
296 { 1/0. } [ "1.0p1024" oct> ] unit-test
297 { -1/0. } [ "-1.0p1024" oct> ] unit-test
298
299 { 0 } [ "0" string>number ] unit-test
300 { 0 } [ "00" string>number ] unit-test
301 { 0 } [ "0,000" string>number ] unit-test
302 { 0.0 } [ "0." string>number ] unit-test
303 { 0.0 } [ "0.0" string>number ] unit-test
304 { 0.0 } [ "0x0.0p0" string>number ] unit-test
305 { 0 } [ "0x0" string>number ] unit-test
306 { 0 } [ "0o0" string>number ] unit-test
307 { 0 } [ "0b0" string>number ] unit-test
308
309 { 10 } [ "010" string>number ] unit-test
310 { 16 } [ "0x10" string>number ] unit-test
311 {  8 } [ "0o10" string>number ] unit-test
312 {  2 } [ "0b10" string>number ] unit-test
313
314 { -10 } [ "-010" string>number ] unit-test
315 { -16 } [ "-0x10" string>number ] unit-test
316 {  -8 } [ "-0o10" string>number ] unit-test
317 {  -2 } [ "-0b10" string>number ] unit-test
318
319 { f } [ "01a" string>number ] unit-test
320 { f } [ "0x1g" string>number ] unit-test
321 { f } [ "0o18" string>number ] unit-test
322 { f } [ "0b12" string>number ] unit-test
323
324 { 11 } [ "0x0b" string>number ] unit-test
325 { f  } [ "0x0o0" string>number ] unit-test
326
327 { 0x7FFF,ABCD } [ "0x7FFF,ABCD" string>number ] unit-test
328
329 { 1.0 } [ "0x1.0p0" string>number ] unit-test
330 { 6.0 } [ "0x1.8p2" string>number ] unit-test
331 { 0.375 } [ "0x1.8p-2" string>number ] unit-test
332 { -6.0 } [ "-0x1.8p2" string>number ] unit-test
333 { -0.375 } [ "-0x1.8p-2" string>number ] unit-test
334
335 { f } [ "0x" string>number ] unit-test
336 { f } [ "0b" string>number ] unit-test
337 { f } [ "0o" string>number ] unit-test
338 { f } [ "0x," string>number ] unit-test
339 { f } [ "0b," string>number ] unit-test
340 { f } [ "0o," string>number ] unit-test
341 { f } [ "0x,1" string>number ] unit-test
342 { f } [ "0b,1" string>number ] unit-test
343 { f } [ "0o,1" string>number ] unit-test
344 { f } [ "0x1," string>number ] unit-test
345 { f } [ "0b1," string>number ] unit-test
346 { f } [ "0o1," string>number ] unit-test
347
348 ! #372
349 ! hex float requires exponent
350 { f } [ "0x1.0" string>number ] unit-test
351
352 ! hex float rounds to even on half
353 { 0x1.0000,0000,0000,0p0 } [ "0x1.0000,0000,0000,0,8p0" string>number ] unit-test
354 { 0x1.0000,0000,0000,2p0 } [ "0x1.0000,0000,0000,1,8p0" string>number ] unit-test
355 { 0x1.0000,0000,0000,0p0 } [ "0x8.0000,0000,0000,4p-3" string>number ] unit-test
356 { 0x1.0000,0000,0000,2p0 } [ "0x8.0000,0000,0000,Cp-3" string>number ] unit-test
357
358 { -0x1.0000,0000,0000,0p0 } [ "-0x1.0000,0000,0000,0,8p0" string>number ] unit-test
359 { -0x1.0000,0000,0000,2p0 } [ "-0x1.0000,0000,0000,1,8p0" string>number ] unit-test
360 { -0x1.0000,0000,0000,0p0 } [ "-0x8.0000,0000,0000,4p-3" string>number ] unit-test
361 { -0x1.0000,0000,0000,2p0 } [ "-0x8.0000,0000,0000,Cp-3" string>number ] unit-test
362
363 ! hex float rounds to nearest with tiny epsilons
364 { 0x1.0000,0000,0000,0p0 } [ "0x1.0000,0000,0000,0,4p0" string>number ] unit-test
365 { 0x1.0000,0000,0000,0p0 } [ "0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
366 { 0x1.0000,0000,0000,0p0 } [ "0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
367
368 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
369 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,0,81p0" string>number ] unit-test
370 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
371
372 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,1,4p0" string>number ] unit-test
373 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
374 { 0x1.0000,0000,0000,1p0 } [ "0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
375
376 { 0x1.0000,0000,0000,2p0 } [ "0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
377 { 0x1.0000,0000,0000,2p0 } [ "0x1.0000,0000,0000,1,81p0" string>number ] unit-test
378 { 0x1.0000,0000,0000,2p0 } [ "0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
379
380 { -0x1.0000,0000,0000,0p0 } [ "-0x1.0000,0000,0000,0,4p0" string>number ] unit-test
381 { -0x1.0000,0000,0000,0p0 } [ "-0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
382 { -0x1.0000,0000,0000,0p0 } [ "-0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
383
384 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
385 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,0,81p0" string>number ] unit-test
386 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
387
388 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,1,4p0" string>number ] unit-test
389 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
390 { -0x1.0000,0000,0000,1p0 } [ "-0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
391
392 { -0x1.0000,0000,0000,2p0 } [ "-0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
393 { -0x1.0000,0000,0000,2p0 } [ "-0x1.0000,0000,0000,1,81p0" string>number ] unit-test
394 { -0x1.0000,0000,0000,2p0 } [ "-0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
395
396 ! #453
397 ! hex> dec> oct> bin> shouldn't admit radix prefixes
398
399 { 0x0b } [ "0b" hex> ] unit-test
400 { 0x0b0 } [ "0b0" hex> ] unit-test
401 { f } [ "0o0" hex> ] unit-test
402 { f } [ "0x0" hex> ] unit-test
403
404 { f } [ "0b" dec> ] unit-test
405 { f } [ "0b0" dec> ] unit-test
406 { f } [ "0o0" dec> ] unit-test
407 { f } [ "0x0" dec> ] unit-test
408
409 { f } [ "0b" oct> ] unit-test
410 { f } [ "0b0" oct> ] unit-test
411 { f } [ "0o0" oct> ] unit-test
412 { f } [ "0x0" oct> ] unit-test
413
414 { f } [ "0b" bin> ] unit-test
415 { f } [ "0b0" bin> ] unit-test
416 { f } [ "0o0" bin> ] unit-test
417 { f } [ "0x0" bin> ] unit-test
418
419 ! #1229, float parsing bug, and a regression
420 { -0.5 } [ "-.5" dec> ] unit-test
421 { 0 } [ "0" hex> ] unit-test
422
423 { t } [ most-positive-fixnum number>string string>number fixnum? ] unit-test
424 { t } [ most-negative-fixnum number>string string>number fixnum? ] unit-test
425
426 ! large/small numbers/exponents correctly cancel out
427 { 1.0 } [ "1" 3000 [ CHAR: 0 ] "" replicate-as append "e-3000" append string>number ] unit-test
428 { 1.0 } [ "0x1" 1000 [ CHAR: 0 ] "" replicate-as append "p-4000" append string>number ] unit-test
429 { 1.0 } [ "0." 3000 [ CHAR: 0 ] "" replicate-as append "1e3001" append string>number ] unit-test
430 { 1.0 } [ "0x0." 1000 [ CHAR: 0 ] "" replicate-as append "1p4004" append string>number ] unit-test
431 { 1.0 } [ "1" 3000 [ CHAR: 0 ] "" replicate-as append "." append
432               3000 [ CHAR: 0 ] "" replicate-as append "e-3000" append string>number ] unit-test
433
434 ! We correctly parse the biggest/smallest float correctly
435 ! (ie the 1/0. or 0/0. short-circuit optimization doesn't apply)
436 { 1 } [ "4.9406564584124655e-324" string>number double>bits ] unit-test
437 { 1 } [ "0x1.0p-1074" string>number double>bits ] unit-test
438 { 1 } [ "0o1.0p-1074" string>number double>bits ] unit-test
439 { 1 } [ "0b1.0p-1074" string>number double>bits ] unit-test
440 { 0x7fefffffffffffff } [ "1.7976931348623157e+308" string>number double>bits ] unit-test
441 { 0x7fefffffffffffff } [ "0x1.fffffffffffffp1023" string>number double>bits ] unit-test
442 { 0x7fefffffffffffff } [ "0o1.777777777777777774p1023" string>number double>bits ] unit-test
443 { 0x7fefffffffffffff } [ "0b1.1111111111111111111111111111111111111111111111111111p1023" string>number double>bits ] unit-test
444 ! Actual biggest/smallest parseable floats are a little
445 ! larger/smaller than IEE754 values because of rounding
446 { 0x1.0p-1074 } [ "0x0.fffffffffffffcp-1074" string>number ] unit-test
447 { 4.94065645841246544e-324 } [ "4.94065645841246517e-324" string>number ] unit-test
448 { 0x1.fffffffffffffp1023 } [ "0x1.fffffffffffff7ffffffffffffffffp1023" string>number ] unit-test
449 { 1.79769313486231571e+308 } [ "1.797693134862315807e+308" string>number ] unit-test
450
451 ! works with ratios
452 { 0.25 } [ "1/4" 3000 [ CHAR: 0 ] "" replicate-as append "e-3000" append string>number ] unit-test
453 ! XXX: disable for right now, see #1362 or #1408
454 ! { 1.25 } [ "1+1/4" 3000 [ CHAR: 0 ] "" replicate-as append "e-3000" append string>number ] unit-test
455
456 ! #1356 #1231
457 { 1/0. } [ "1e100000" string>number ] unit-test
458 { 0.0  } [ "1e-100000" string>number ] unit-test
459 { 1/0. } [ "0x1p300000" string>number ] unit-test
460 { 0.0  } [ "0x1p-300000" string>number ] unit-test
461
462 { "deadbeef" } [ B{ 222 173 190 239 } bytes>hex-string ] unit-test
463 { B{ 222 173 190 239 } } [ "deADbeEF" hex-string>bytes ] unit-test