blob: aa4e8cc493814ce7281c41e0b9dfeeaf9e2ab4a6 (plain)

ofs	hex dump	ascii
0000	3b 45 4c 43 1e 00 00 00 0a 3b 3b 3b 20 43 6f 6d 70 69 6c 65 64 0a 3b 3b 3b 20 69 6e 20 45 6d 61	;ELC.....;;;.Compiled.;;;.in.Ema
0020	63 73 20 76 65 72 73 69 6f 6e 20 33 30 2e 31 0a 3b 3b 3b 20 77 69 74 68 20 61 6c 6c 20 6f 70 74	cs.version.30.1.;;;.with.all.opt
0040	69 6d 69 7a 61 74 69 6f 6e 73 2e 0a 0a 0a 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c	imizations.....(byte-code."\300\
0060	33 30 31 21 5c 32 31 30 5c 33 30 30 5c 33 30 32 21 5c 32 30 37 22 20 5b 72 65 71 75 69 72 65 20	301!\210\300\302!\207".[require.
0080	65 72 74 20 78 63 62 2d 74 79 70 65 73 5d 20 32 29 0a 28 64 65 66 63 6f 6e 73 74 20 78 65 6c 62	ert.xcb-types].2).(defconst.xelb
00a0	2d 74 65 73 74 2d 62 69 6e 61 72 79 33 32 2d 63 61 73 65 73 20 27 28 28 31 20 2e 20 31 2e 34 30	-test-binary32-cases.'((1...1.40
00c0	31 32 39 38 34 36 34 33 32 34 38 31 37 65 2d 34 35 29 20 28 38 33 38 38 36 30 37 20 2e 20 31 2e	1298464324817e-45).(8388607...1.
00e0	31 37 35 34 39 34 32 31 30 36 39 32 34 34 31 31 65 2d 33 38 29 20 28 38 33 38 38 36 30 38 20 2e	1754942106924411e-38).(8388608..
0100	20 31 2e 31 37 35 34 39 34 33 35 30 38 32 32 32 38 37 35 65 2d 33 38 29 20 28 32 31 33 39 30 39	.1.1754943508222875e-38).(213909
0120	35 30 33 39 20 2e 20 33 2e 34 30 32 38 32 33 34 36 36 33 38 35 32 38 38 36 65 2b 33 38 29 20 28	5039...3.4028234663852886e+38).(
0140	31 30 36 35 33 35 33 32 31 35 20 2e 20 30 2e 39 39 39 39 39 39 39 34 30 33 39 35 33 35 35 32 29	1065353215...0.9999999403953552)
0160	20 28 31 30 36 35 33 35 33 32 31 36 20 2e 20 31 2e 30 29 20 28 31 30 36 35 33 35 33 32 31 37 20	.(1065353216...1.0).(1065353217.
0180	2e 20 31 2e 30 30 30 30 30 30 31 31 39 32 30 39 32 38 39 36 29 20 28 33 32 32 31 32 32 35 34 37	..1.0000001192092896).(322122547
01a0	32 20 2e 20 2d 32 2e 30 29 20 28 30 20 2e 20 30 2e 30 29 20 28 32 31 34 37 34 38 33 36 34 38 20	2...-2.0).(0...0.0).(2147483648.
01c0	2e 20 2d 30 2e 30 29 20 28 32 31 33 39 30 39 35 30 34 30 20 2e 20 31 2e 30 65 2b 49 4e 46 29 20	..-0.0).(2139095040...1.0e+INF).
01e0	28 34 32 38 36 35 37 38 36 38 38 20 2e 20 2d 31 2e 30 65 2b 49 4e 46 29 20 28 31 30 37 38 35 33	(4286578688...-1.0e+INF).(107853
0200	30 30 31 31 20 2e 20 33 2e 31 34 31 35 39 32 37 34 31 30 31 32 35 37 33 32 29 20 28 31 30 35 31	0011...3.1415927410125732).(1051
0220	33 37 32 32 30 33 20 2e 20 30 2e 33 33 33 33 33 33 33 34 33 32 36 37 34 34 30 38 29 29 29 0a 28	372203...0.3333333432674408))).(
0240	64 65 66 63 6f 6e 73 74 20 78 65 6c 62 2d 74 65 73 74 2d 62 69 6e 61 72 79 36 34 2d 63 61 73 65	defconst.xelb-test-binary64-case
0260	73 20 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 33	s.(byte-code."\301\302\303\304\3
0280	30 35 5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 5c 33 31 34 5c 33	05\306\307\310\311\312\313\314\3
02a0	31 35 5c 33 31 36 5c 33 31 37 5c 33 32 30 5c 33 32 31 5c 33 32 32 5c 33 32 33 5c 33 32 34 5c 33	15\316\317\320\321\322\323\324\3
02c0	32 35 42 5c 33 32 36 08 42 5c 32 35 37 15 5c 32 30 37 22 20 5b 66 6c 6f 61 74 2d 70 69 20 28 34	25B\326.B\257.\207".[float-pi.(4
02e0	36 30 37 31 38 32 34 31 38 38 30 30 30 31 37 34 30 38 20 2e 20 31 2e 30 29 20 28 34 36 30 37 31	607182418800017408...1.0).(46071
0300	38 32 34 31 38 38 30 30 30 31 37 34 30 39 20 2e 20 31 2e 30 30 30 30 30 30 30 30 30 30 30 30 30	82418800017409...1.0000000000000
0320	30 30 32 29 20 28 34 36 30 37 31 38 32 34 31 38 38 30 30 30 31 37 34 31 30 20 2e 20 31 2e 30 30	002).(4607182418800017410...1.00
0340	30 30 30 30 30 30 30 30 30 30 30 30 30 34 29 20 28 34 36 31 31 36 38 36 30 31 38 34 32 37 33 38	00000000000004).(461168601842738
0360	37 39 30 34 20 2e 20 32 2e 30 29 20 28 31 33 38 33 35 30 35 38 30 35 35 32 38 32 31 36 33 37 31	7904...2.0).(1383505805528216371
0380	32 20 2e 20 2d 32 2e 30 29 20 28 34 36 31 33 39 33 37 38 31 38 32 34 31 30 37 33 31 35 32 20 2e	2...-2.0).(4613937818241073152..
03a0	20 33 2e 30 29 20 28 34 36 31 36 31 38 39 36 31 38 30 35 34 37 35 38 34 30 30 20 2e 20 34 2e 30	.3.0).(4616189618054758400...4.0
03c0	29 20 28 34 36 31 37 33 31 35 35 31 37 39 36 31 36 30 31 30 32 34 20 2e 20 35 2e 30 29 20 28 34	).(4617315517961601024...5.0).(4
03e0	36 31 38 34 34 31 34 31 37 38 36 38 34 34 33 36 34 38 20 2e 20 36 2e 30 29 20 28 34 36 32 37 31	618441417868443648...6.0).(46271
0400	36 37 31 34 32 31 34 36 34 37 33 39 38 34 20 2e 20 32 33 2e 30 29 20 28 34 35 37 37 39 30 39 30	67142146473984...23.0).(45779090
0420	32 31 32 32 32 31 30 39 31 38 34 20 2e 20 30 2e 30 31 31 37 31 38 37 35 29 20 28 31 20 2e 20 35	21222109184...0.01171875).(1...5
0440	65 2d 33 32 34 29 20 28 34 35 30 33 35 39 39 36 32 37 33 37 30 34 39 35 20 2e 20 32 2e 32 32 35	e-324).(4503599627370495...2.225
0460	30 37 33 38 35 38 35 30 37 32 30 31 65 2d 33 30 38 29 20 28 34 35 30 33 35 39 39 36 32 37 33 37	073858507201e-308).(450359962737
0480	30 34 39 36 20 2e 20 32 2e 32 32 35 30 37 33 38 35 38 35 30 37 32 30 31 34 65 2d 33 30 38 29 20	0496...2.2250738585072014e-308).
04a0	28 39 32 31 38 38 36 38 34 33 37 32 32 37 34 30 35 33 31 31 20 2e 20 31 2e 37 39 37 36 39 33 31	(9218868437227405311...1.7976931
04c0	33 34 38 36 32 33 31 35 37 65 2b 33 30 38 29 20 28 30 20 2e 20 30 2e 30 29 20 28 39 32 32 33 33	348623157e+308).(0...0.0).(92233
04e0	37 32 30 33 36 38 35 34 37 37 35 38 30 38 20 2e 20 2d 30 2e 30 29 20 28 39 32 31 38 38 36 38 34	72036854775808...-0.0).(92188684
0500	33 37 32 32 37 34 30 35 33 31 32 20 2e 20 31 2e 30 65 2b 49 4e 46 29 20 28 31 38 34 34 32 32 34	37227405312...1.0e+INF).(1844224
0520	30 34 37 34 30 38 32 31 38 31 31 32 30 20 2e 20 2d 31 2e 30 65 2b 49 4e 46 29 20 34 35 39 39 36	0474082181120...-1.0e+INF).45996
0540	37 36 34 31 39 34 32 31 30 36 36 35 38 31 20 30 2e 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33	76419421066581.0.333333333333333
0560	33 20 34 36 31 34 32 35 36 36 35 36 35 35 32 30 34 35 38 34 38 5d 20 32 32 29 29 23 40 31 34 30	3.4614256656552045848].22))#@140
0580	20 54 65 73 74 20 74 68 65 20 62 69 64 69 72 65 63 74 69 6f 6e 61 6c 20 63 6f 6e 76 65 72 73 69	.Test.the.bidirectional.conversi
05a0	6f 6e 20 66 75 6e 63 74 69 6f 6e 73 20 41 2d 54 4f 2d 42 20 61 6e 64 20 42 2d 54 4f 2d 41 20 61	on.functions.A-TO-B.and.B-TO-A.a
05c0	67 61 69 6e 73 74 20 43 41 53 45 53 2e 0a 43 41 53 45 53 20 69 73 20 61 6e 20 61 6c 69 73 74 20	gainst.CASES..CASES.is.an.alist.
05e0	6f 66 20 28 41 20 2e 20 42 29 20 70 61 69 72 73 2e 0a 0a 28 66 6e 20 41 2d 54 4f 2d 42 20 42 2d	of.(A...B).pairs...(fn.A-TO-B.B-
0600	54 4f 2d 41 20 43 41 53 45 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 78 65 6c 62 2d 74 65 73	TO-A.CASES)..(defalias.'xelb-tes
0620	74 2d 2d 74 65 73 74 2d 63 6f 6e 76 65 72 73 69 6f 6e 20 23 5b 37 37 31 20 22 5c 32 31 31 5c 32	t--test-conversion.#[771."\211\2
0640	31 31 5c 32 30 35 5c 32 32 31 00 5c 32 31 31 40 5c 32 31 31 5c 32 34 32 01 5c 32 34 33 05 01 21	11\205\221.\211@\211\242.\243..!
0660	06 07 03 21 06 07 01 21 06 09 03 21 5c 33 30 30 43 5c 33 30 31 31 28 00 05 04 03 45 30 5c 32 30	...!...!...!\300C\3011(....E0\20
0680	32 33 00 01 5c 33 30 32 5c 32 34 30 5c 32 31 30 5c 32 31 31 40 01 41 44 5c 32 36 32 01 5c 33 30	23..\302\240\210\211@.AD\262.\30
06a0	33 43 5c 33 30 34 43 5c 33 30 35 5c 33 30 36 02 04 06 06 06 08 25 5c 32 31 36 01 5c 33 30 37 05	3C\304C\305\306......%\216.\307.
06c0	5c 32 34 32 05 5c 22 5c 32 34 30 29 5c 32 30 34 51 00 5c 33 31 30 01 5c 32 34 32 21 5c 32 31 30	\242.\"\240)\204Q.\310.\242!\210
06e0	5c 32 36 36 04 5c 33 30 30 43 5c 33 31 31 31 62 00 06 06 05 04 45 30 5c 32 30 32 6d 00 01 5c 33	\266.\300C\3111b.....E0\202m..\3
0700	30 32 5c 32 34 30 5c 32 31 30 5c 32 31 31 40 01 41 44 5c 32 36 32 01 5c 33 31 32 43 5c 33 30 34	02\240\210\211@.AD\262.\312C\304
0720	43 5c 33 30 35 5c 33 31 33 02 04 06 06 06 08 25 5c 32 31 36 01 5c 33 30 37 05 5c 32 34 32 05 5c	C\305\313......%\216.\307.\242.\
0740	22 5c 32 34 30 29 5c 32 30 34 5c 32 31 33 00 5c 33 31 30 01 5c 32 34 32 21 5c 32 31 30 5c 32 36	"\240)\204\213.\310.\242!\210\26
0760	36 0b 41 5c 32 30 32 01 00 5c 32 30 37 22 20 5b 3d 20 28 65 72 72 6f 72 29 20 73 69 67 6e 61 6c	6.A\202..\207".[=.(error).signal
0780	20 23 31 3d 23 3a 65 72 74 2d 66 6f 72 6d 2d 65 76 61 6c 75 61 74 69 6f 6e 2d 61 62 6f 72 74 65	.#1=#:ert-form-evaluation-aborte
07a0	64 2d 36 20 6e 69 6c 20 6d 61 6b 65 2d 63 6c 6f 73 75 72 65 20 23 5b 30 20 22 5c 33 30 30 5c 33	d-6.nil.make-closure.#[0."\300\3
07c0	30 34 5c 33 30 35 5c 33 30 33 5c 32 34 32 5c 33 30 32 42 45 5c 33 30 31 5c 32 34 32 5c 33 30 36	04\305\303\242\302BE\301\242\306
07e0	3d 3f 5c 32 30 35 14 00 5c 33 30 37 5c 33 30 31 5c 32 34 32 44 5c 32 34 34 5c 33 30 31 5c 32 34	=?\205..\307\301\242D\244\301\24
0800	32 5c 33 30 36 3d 3f 5c 32 30 35 2c 00 5c 33 31 30 5c 33 31 31 21 5c 32 31 31 5c 32 30 35 2a 00	2\306=?\205,.\310\311!\211\205*.
0820	5c 33 31 32 5c 33 31 33 02 5c 33 30 32 5c 22 44 5c 32 36 32 01 5c 32 34 34 5c 32 34 30 5c 32 31	\312\313.\302\"D\262.\244\240\21
0840	30 5c 33 31 34 5c 33 30 30 5c 32 34 32 21 5c 32 30 37 22 20 5b 56 30 20 56 31 20 56 32 20 56 33	0\314\300\242!\207".[V0.V1.V2.V3
0860	20 28 73 68 6f 75 6c 64 20 28 3d 20 62 20 61 63 74 2d 62 20 72 6f 75 6e 64 2d 74 72 69 70 2d 62	.(should.(=.b.act-b.round-trip-b
0880	29 29 20 3a 66 6f 72 6d 20 23 31 23 20 3a 76 61 6c 75 65 20 65 72 74 2d 2d 67 65 74 2d 65 78 70	)).:form.#1#.:value.ert--get-exp
08a0	6c 61 69 6e 65 72 20 3d 20 3a 65 78 70 6c 61 6e 61 74 69 6f 6e 20 61 70 70 6c 79 20 65 72 74 2d	lainer.=.:explanation.apply.ert-
08c0	2d 73 69 67 6e 61 6c 2d 73 68 6f 75 6c 64 2d 65 78 65 63 75 74 69 6f 6e 5d 20 37 5d 20 61 70 70	-signal-should-execution].7].app
08e0	6c 79 20 65 72 74 2d 66 61 69 6c 20 28 65 72 72 6f 72 29 20 23 32 3d 23 3a 65 72 74 2d 66 6f 72	ly.ert-fail.(error).#2=#:ert-for
0900	6d 2d 65 76 61 6c 75 61 74 69 6f 6e 2d 61 62 6f 72 74 65 64 2d 31 31 20 23 5b 30 20 22 5c 33 30	m-evaluation-aborted-11.#[0."\30
0920	30 5c 33 30 34 5c 33 30 35 5c 33 30 33 5c 32 34 32 5c 33 30 32 42 45 5c 33 30 31 5c 32 34 32 5c	0\304\305\303\242\302BE\301\242\
0940	33 30 36 3d 3f 5c 32 30 35 14 00 5c 33 30 37 5c 33 30 31 5c 32 34 32 44 5c 32 34 34 5c 33 30 31	306=?\205..\307\301\242D\244\301
0960	5c 32 34 32 5c 33 30 36 3d 3f 5c 32 30 35 2c 00 5c 33 31 30 5c 33 31 31 21 5c 32 31 31 5c 32 30	\242\306=?\205,.\310\311!\211\20
0980	35 2a 00 5c 33 31 32 5c 33 31 33 02 5c 33 30 32 5c 22 44 5c 32 36 32 01 5c 32 34 34 5c 32 34 30	5*.\312\313.\302\"D\262.\244\240
09a0	5c 32 31 30 5c 33 31 34 5c 33 30 30 5c 32 34 32 21 5c 32 30 37 22 20 5b 56 30 20 56 31 20 56 32	\210\314\300\242!\207".[V0.V1.V2
09c0	20 56 33 20 28 73 68 6f 75 6c 64 20 28 3d 20 61 20 61 63 74 2d 61 20 72 6f 75 6e 64 2d 74 72 69	.V3.(should.(=.a.act-a.round-tri
09e0	70 2d 61 29 29 20 3a 66 6f 72 6d 20 23 32 23 20 3a 76 61 6c 75 65 20 65 72 74 2d 2d 67 65 74 2d	p-a)).:form.#2#.:value.ert--get-
0a00	65 78 70 6c 61 69 6e 65 72 20 3d 20 3a 65 78 70 6c 61 6e 61 74 69 6f 6e 20 61 70 70 6c 79 20 65	explainer.=.:explanation.apply.e
0a20	72 74 2d 2d 73 69 67 6e 61 6c 2d 73 68 6f 75 6c 64 2d 65 78 65 63 75 74 69 6f 6e 5d 20 37 5d 5d	rt--signal-should-execution].7]]
0a40	20 32 31 20 28 23 24 20 2e 20 31 34 30 39 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33	.21.(#$...1409)]).(byte-code."\3
0a60	30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 33 30 31 5c 33 30 35 04 5c 33 30 35 5c	00\301\302\303\304\301\305.\305\
0a80	33 30 36 5c 33 30 35 5c 33 30 37 26 08 5c 32 36 32 01 5c 22 5c 32 31 30 5c 33 30 30 5c 33 31 30	306\305\307&.\262.\"\210\300\310
0aa0	5c 33 31 31 5c 33 30 33 5c 33 30 34 5c 33 31 30 5c 33 30 35 04 5c 33 30 35 5c 33 30 36 5c 33 30	\311\303\304\310\305.\305\306\30
0ac0	35 5c 33 30 37 26 08 5c 32 36 32 01 5c 22 5c 32 31 30 5c 33 31 32 5c 33 31 33 21 5c 32 30 37 22	5\307&.\262.\"\210\312\313!\207"
0ae0	20 5b 65 72 74 2d 73 65 74 2d 74 65 73 74 20 78 65 6c 62 2d 74 65 73 74 2d 62 69 6e 61 72 79 33	.[ert-set-test.xelb-test-binary3
0b00	32 20 23 5b 30 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33 08 23 5c 33 30 34 5c 32 30 37 22 20 5b	2.#[0."\301\302\303.#\304\207".[
0b20	78 65 6c 62 2d 74 65 73 74 2d 62 69 6e 61 72 79 33 32 2d 63 61 73 65 73 20 78 65 6c 62 2d 74 65	xelb-test-binary32-cases.xelb-te
0b40	73 74 2d 2d 74 65 73 74 2d 63 6f 6e 76 65 72 73 69 6f 6e 20 78 63 62 3a 2d 62 69 6e 61 72 79 33	st--test-conversion.xcb:-binary3
0b60	32 2d 74 6f 2d 66 33 32 20 78 63 62 3a 2d 66 33 32 2d 74 6f 2d 62 69 6e 61 72 79 33 32 20 6e 69	2-to-f32.xcb:-f32-to-binary32.ni
0b80	6c 5d 20 35 5d 20 72 65 63 6f 72 64 20 65 72 74 2d 74 65 73 74 20 6e 69 6c 20 3a 70 61 73 73 65	l].5].record.ert-test.nil.:passe
0ba0	64 20 22 2f 68 6f 6d 65 2f 74 68 69 6e 67 31 2f 2e 63 6f 6e 66 69 67 2f 65 6d 61 63 73 2f 65 6c	d."/home/thing1/.config/emacs/el
0bc0	70 61 2f 78 65 6c 62 2d 30 2e 32 30 2f 78 65 6c 62 2d 74 65 73 74 2e 65 6c 22 20 78 65 6c 62 2d	pa/xelb-0.20/xelb-test.el".xelb-
0be0	74 65 73 74 2d 62 69 6e 61 72 79 36 34 20 23 5b 30 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33 08	test-binary64.#[0."\301\302\303.
0c00	23 5c 33 30 34 5c 32 30 37 22 20 5b 78 65 6c 62 2d 74 65 73 74 2d 62 69 6e 61 72 79 36 34 2d 63	#\304\207".[xelb-test-binary64-c
0c20	61 73 65 73 20 78 65 6c 62 2d 74 65 73 74 2d 2d 74 65 73 74 2d 63 6f 6e 76 65 72 73 69 6f 6e 20	ases.xelb-test--test-conversion.
0c40	78 63 62 3a 2d 62 69 6e 61 72 79 36 34 2d 74 6f 2d 66 36 34 20 78 63 62 3a 2d 66 36 34 2d 74 6f	xcb:-binary64-to-f64.xcb:-f64-to
0c60	2d 62 69 6e 61 72 79 36 34 20 6e 69 6c 5d 20 35 5d 20 70 72 6f 76 69 64 65 20 78 65 6c 62 2d 74	-binary64.nil].5].provide.xelb-t
0c80	65 73 74 5d 20 31 32 29 0a	est].12).