• R/O
  • SSH

kink: Commit

Kink runtime


Commit MetaInfo

Revisionfaaa3662d494b00542343cd804a7567b1ed3ee19 (tree)
Time2023-03-17 22:39:54
Authormiyakawataku
Commitermiyakawataku

Log Message

replace CONTROL.try in tests

Change Summary

Incremental Difference

diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/CONTROL_test.kn
--- a/src/test/kink/CONTROL_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/CONTROL_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -20,28 +20,29 @@
2020
2121 TEST.test('return from body, then cleanup raise an exception'){
2222 :V = new_val('Done?' false)
23- CONTROL.try(
23+ CONTROL.xtry(
2424 { CONTROL.ensure({ 42 } { raise('boo') }) }
2525 {(:R) raise('got {}'.format(R.repr)) }
26- {(:Msg :Traces)
27- Msg == 'boo' || reraise(Msg Traces)
26+ {(:Exc)
27+ Exc.message == 'boo' || Exc.raise
28+
2829 :T = TRACE.new{(:N)
2930 N.sym('(ensure-cleanup)')
3031 }
31- Traces.have?(T) || reraise(Msg Traces)
32+ Exc.traces.have?(T) || Exc.raise
3233 }
3334 )
3435 }
3536
3637 TEST.test('raise from body'){
3738 :V = new_val('Done?' false)
38- CONTROL.try(
39+ CONTROL.xtry(
3940 { CONTROL.ensure({ raise('boo') } { V:Done? <- true }) }
4041 {(:R)
4142 raise('got {}'.format(R.repr))
4243 }
43- {(:Msg :Traces)
44- Msg == 'boo' || reraise(Msg Traces)
44+ {(:Exc)
45+ Exc.message == 'boo' || Exc.raise
4546 V.Done? || raise('got false')
4647 }
4748 )
@@ -49,21 +50,23 @@
4950
5051 TEST.group('check params'){
5152 TEST.test('check body type'){
52- CONTROL.try(
53+ CONTROL.xtry(
5354 { CONTROL.ensure(nada {}) }
5455 {(:R) raise('got {}'.format(R.repr)) }
55- {(:Msg :Traces)
56- Msg.have_slice?('nada') && Msg.have_slice?('ensure') || reraise(Msg Traces)
56+ {(:Exc)
57+ :Msg = Exc.message
58+ Msg.have_slice?('nada') && Msg.have_slice?('ensure') || Exc.raise
5759 }
5860 )
5961 }
6062
6163 TEST.test('check cleanup type'){
62- CONTROL.try(
64+ CONTROL.xtry(
6365 { CONTROL.ensure({} nada) }
6466 {(:R) raise('got {}'.format(R.repr)) }
65- {(:Msg :Traces)
66- Msg.have_slice?('nada') && Msg.have_slice?('ensure') || reraise(Msg Traces)
67+ {(:Exc)
68+ :Msg = Exc.message
69+ Msg.have_slice?('nada') && Msg.have_slice?('ensure') || Exc.raise
6770 }
6871 )
6972 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/EVALUATOR_test.kn
--- a/src/test/kink/EVALUATOR_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/EVALUATOR_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -26,31 +26,34 @@
2626 }
2727
2828 TEST.test('check $body is a fun'){
29- CONTROL.try(
29+ CONTROL.xtry(
3030 { EVALUATOR.run(nada {} {}) }
3131 {(:R) raise('got {}'.format(R.repr)) }
32- {(:Msg :Traces)
33- Msg.have_slice?('nada') && Msg.have_slice?('.run') || reraise(Msg Traces)
32+ {(:Exc)
33+ :Msg = Exc.message
34+ Msg.have_slice?('nada') && Msg.have_slice?('.run') || Exc.raise
3435 }
3536 )
3637 }
3738
3839 TEST.test('check $on_returned is a fun'){
39- CONTROL.try(
40+ CONTROL.xtry(
4041 { EVALUATOR.run({} nada {}) }
4142 {(:R) raise('got {}'.format(R.repr)) }
42- {(:Msg :Traces)
43- Msg.have_slice?('nada') && Msg.have_slice?('.run') || reraise(Msg Traces)
43+ {(:Exc)
44+ :Msg = Exc.message
45+ Msg.have_slice?('nada') && Msg.have_slice?('.run') || Exc.raise
4446 }
4547 )
4648 }
4749
4850 TEST.test('check $on_raised is a fun'){
49- CONTROL.try(
51+ CONTROL.xtry(
5052 { EVALUATOR.run({} {} nada) }
5153 {(:R) raise('got {}'.format(R.repr)) }
52- {(:Msg :Traces)
53- Msg.have_slice?('nada') && Msg.have_slice?('.run') || reraise(Msg Traces)
54+ {(:Exc)
55+ :Msg = Exc.message
56+ Msg.have_slice?('nada') && Msg.have_slice?('.run') || Exc.raise
5457 }
5558 )
5659 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/LOCALE_test.kn
--- a/src/test/kink/LOCALE_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/LOCALE_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -71,11 +71,12 @@
7171 }
7272
7373 TEST.test('arg must be a locale'){
74- CONTROL.try(
74+ CONTROL.xtry(
7575 { LOCALE.for('ja-JP') == nada }
7676 {(:R) raise('got {}'.format(R.repr)) }
77- {(:Msg :Traces)
78- Msg.have_slice?('nada') && Msg.have_slice?('op_eq') || reraise(Msg Traces)
77+ {(:Exc)
78+ :Msg = Exc.message
79+ Msg.have_slice?('nada') && Msg.have_slice?('op_eq') || Exc.raise
7980 }
8081 )
8182 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/LOC_test.kn
--- a/src/test/kink/LOC_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/LOC_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -7,21 +7,23 @@
77 :Text = "print('\x{10ffff}')"
88
99 TEST.group('check name is a str'){
10- CONTROL.try(
10+ CONTROL.xtry(
1111 { LOC.new(nada Text 0) }
1212 {(:R) raise('got {}'.format(R.repr)) }
13- {(:Msg :Traces)
14- Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
13+ {(:Exc)
14+ :Msg = Exc.message
15+ Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || Exc.raise
1516 }
1617 )
1718 }
1819
1920 TEST.group('check text is a str'){
20- CONTROL.try(
21+ CONTROL.xtry(
2122 { LOC.new('foo.kn' nada 0) }
2223 {(:R) raise('got {}'.format(R.repr)) }
23- {(:Msg :Traces)
24- Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
24+ {(:Exc)
25+ :Msg = Exc.message
26+ Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || Exc.raise
2527 }
2628 )
2729 }
@@ -42,41 +44,45 @@
4244
4345 TEST.group('check pos param'){ # {{{2
4446 TEST.test('is a num'){
45- CONTROL.try(
47+ CONTROL.xtry(
4648 { LOC.new('foo.kn' Text nada) }
4749 {(:R) raise('got {}'.format(R.repr)) }
48- {(:Msg :Traces)
49- Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
50+ {(:Exc)
51+ :Msg = Exc.message
52+ Msg.have_slice?('nada') && Msg.have_slice?('LOC.new') || Exc.raise
5053 }
5154 )
5255 }
5356
5457 TEST.test('is an int'){
55- CONTROL.try(
58+ CONTROL.xtry(
5659 { LOC.new('foo.kn' Text 0.5) }
5760 {(:R) raise('got {}'.format(R.repr)) }
58- {(:Msg :Traces)
59- Msg.have_slice?('0.5') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
61+ {(:Exc)
62+ :Msg = Exc.message
63+ Msg.have_slice?('0.5') && Msg.have_slice?('LOC.new') || Exc.raise
6064 }
6165 )
6266 }
6367
6468 TEST.test('not less than 0'){
65- CONTROL.try(
69+ CONTROL.xtry(
6670 { LOC.new('foo.kn' Text (-1)) }
6771 {(:R) raise('got {}'.format(R.repr)) }
68- {(:Msg :Traces)
69- Msg.have_slice?('-1') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
72+ {(:Exc)
73+ :Msg = Exc.message
74+ Msg.have_slice?('-1') && Msg.have_slice?('LOC.new') || Exc.raise
7075 }
7176 )
7277 }
7378
7479 TEST.test('not more than size of text'){
75- CONTROL.try(
80+ CONTROL.xtry(
7681 { LOC.new('foo.kn' Text 11) }
7782 {(:R) raise('got {}'.format(R.repr)) }
78- {(:Msg :Traces)
79- Msg.have_slice?('11') && Msg.have_slice?('LOC.new') || reraise(Msg Traces)
83+ {(:Exc)
84+ :Msg = Exc.message
85+ Msg.have_slice?('11') && Msg.have_slice?('LOC.new') || Exc.raise
8086 }
8187 )
8288 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/PROGRAM_test.kn
--- a/src/test/kink/PROGRAM_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/PROGRAM_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -56,57 +56,62 @@
5656 }
5757
5858 TEST.test('compile error default handler'){
59- CONTROL.try(
59+ CONTROL.xtry(
6060 { PROGRAM.compile('10 + +'){(:C)
6161 C.name('foo.kn')
6262 }
6363 }
6464 {(:Ret) raise('expected an exception, but got {}'.format(Ret.repr)) }
65- {(:Msg :Traces)
65+ {(:Exc)
66+ :Msg = Exc.message
6667 Msg.have_slice?('foo.kn') && Msg.have_slice?('10 + -->+')
6768 && Msg.have_slice?('L1') && Msg.have_slice?('C6')
68- || raise('got {}'.format(Msg.repr))
69+ || Exc.raise
6970 }
7071 )
7172 }
7273
7374 TEST.group('config'){ # {{{2
7475 TEST.test('checks Locale is a locale'){
75- CONTROL.try(
76+ CONTROL.xtry(
7677 { PROGRAM.compile('10 + 20'){(:C) C.locale(nada) } }
7778 {(:R) raise('got {}'.format(R.repr)) }
78- {(:Msg :Traces)
79- Msg.have_slice?('.locale') && Msg.have_slice?('nada') || reraise(Msg Traces)
79+ {(:Exc)
80+ :Msg = Exc.message
81+ Msg.have_slice?('.locale') && Msg.have_slice?('nada') || Exc.raise
8082 }
8183 )
8284 }
8385
8486 TEST.test('checks that name is a str'){
85- CONTROL.try(
87+ CONTROL.xtry(
8688 { PROGRAM.compile('10 + 20'){(:C) C.name(nada) } }
8789 {(:R) raise('got {}'.format(R.repr)) }
88- {(:Msg :Traces)
89- Msg.have_slice?('name') && Msg.have_slice?('nada') || reraise(Msg Traces)
90+ {(:Exc)
91+ :Msg = Exc.message
92+ Msg.have_slice?('name') && Msg.have_slice?('nada') || Exc.raise
9093 }
9194 )
9295 }
9396
9497 TEST.test('checks the success cont is a fun'){
95- CONTROL.try(
98+ CONTROL.xtry(
9699 { PROGRAM.compile('10 + 20'){(:C) C.on_success(nada) } }
97100 {(:R) raise('got {}'.format(R.repr)) }
98- {(:Msg :Traces)
99- Msg.have_slice?('on_success') && Msg.have_slice?('nada') || reraise(Msg Traces)
101+ {(:Exc)
102+ :Msg = Exc.message
103+ Msg.have_slice?('on_success') && Msg.have_slice?('nada') || Exc.raise
100104 }
101105 )
102106 }
103107
104108 TEST.test('checks the error cont is a fun'){
105- CONTROL.try(
109+ CONTROL.xtry(
106110 { PROGRAM.compile('10 + 20'){(:C) C.on_error(nada) } }
107111 {(:R) raise('got {}'.format(R.repr)) }
108- {(:Msg :Traces)
109- Msg.have_slice?('on_error') && Msg.have_slice?('nada') || reraise(Msg Traces)
112+ {(:Exc)
113+ :Msg = Exc.message
114+ Msg.have_slice?('on_error') && Msg.have_slice?('nada') || Exc.raise
110115 }
111116 )
112117 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/VARREF_test.kn
--- a/src/test/kink/VARREF_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/VARREF_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -13,11 +13,12 @@
1313 }
1414
1515 TEST.test('check sym is str'){
16- CONTROL.try(
16+ CONTROL.xtry(
1717 { VARREF.new(Owner nada) }
1818 {(:R) raise('got {}'.format(R.repr)) }
19- {(:Msg :Traces)
20- Msg.have_slice?('nada') && Msg.have_slice?('VARREF.new') || reraise(Msg Traces)
19+ {(:Exc)
20+ :Msg = Exc.message
21+ Msg.have_slice?('nada') && Msg.have_slice?('VARREF.new') || Exc.raise
2122 }
2223 )
2324 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/bin_val_test.kn
--- a/src/test/kink/bin_val_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/bin_val_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -27,41 +27,44 @@
2727 }
2828
2929 TEST.test('rejects too long result'){
30- CONTROL.try(
30+ CONTROL.xtry(
3131 { BIN.of(0x00 0x77 0xff) * 999999999999999999999999 }
3232 {(:Result) raise('expected an exception, but got {}'.format(Result.repr)) }
33- {(:Msg :Traces)
34- Msg.have_slice?('Bin.op_mul') || reraise(Msg Traces)
33+ {(:Exc)
34+ Exc.message.have_slice?('Bin.op_mul') || Exc.raise
3535 }
3636 )
3737 }
3838
3939 TEST.test('rejects non-num Count'){
40- CONTROL.try(
40+ CONTROL.xtry(
4141 { BIN.of(0x00 0x77 0xff) * nada }
4242 {(:Result) raise('expected an exception, but got {}'.format(Result.repr)) }
43- {(:Msg :Traces)
44- Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('nada') || reraise(Msg Traces)
43+ {(:Exc)
44+ :Msg = Exc.message
45+ Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('nada') || Exc.raise
4546 }
4647 )
4748 }
4849
4950 TEST.test('rejects non-int Count'){
50- CONTROL.try(
51+ CONTROL.xtry(
5152 { BIN.of(0x00 0x77 0xff) * 3.14 }
5253 {(:Result) raise('expected an exception, but got {}'.format(Result.repr)) }
53- {(:Msg :Traces)
54- Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('3.14') || reraise(Msg Traces)
54+ {(:Exc)
55+ :Msg = Exc.message
56+ Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('3.14') || Exc.raise
5557 }
5658 )
5759 }
5860
5961 TEST.test('rejects negative Count'){
60- CONTROL.try(
62+ CONTROL.xtry(
6163 { BIN.of(0x00 0x77 0xff) * -1 }
6264 {(:Result) raise('expected an exception, but got {}'.format(Result.repr)) }
63- {(:Msg :Traces)
64- Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('-1') || reraise(Msg Traces)
65+ {(:Exc)
66+ :Msg = Exc.message
67+ Msg.have_slice?('Bin.op_mul') && Msg.have_slice?('-1') || Exc.raise
6568 }
6669 )
6770 }
diff -r 1a458faeb626 -r faaa3662d494 src/test/kink/bool_val_test.kn
--- a/src/test/kink/bool_val_test.kn Fri Mar 17 22:26:59 2023 +0900
+++ b/src/test/kink/bool_val_test.kn Fri Mar 17 22:39:54 2023 +0900
@@ -22,21 +22,23 @@
2222 }
2323
2424 TEST.test('true.op_eq checks arg type'){
25- CONTROL.try(
25+ CONTROL.xtry(
2626 { true == nada }
2727 {(:Result) raise('got {}'.format(Result.repr)) }
28- {(:Msg :Traces)
29- Msg.have_slice?('op_eq') && Msg.have_slice?('nada') || reraise(Msg Traces)
28+ {(:Exc)
29+ :Msg = Exc.message
30+ Msg.have_slice?('op_eq') && Msg.have_slice?('nada') || Exc.raise
3031 }
3132 )
3233 }
3334
3435 TEST.test('false.op_eq checks arg type'){
35- CONTROL.try(
36+ CONTROL.xtry(
3637 { false == nada }
3738 {(:Result) raise('got {}'.format(Result.repr)) }
38- {(:Msg :Traces)
39- Msg.have_slice?('op_eq') && Msg.have_slice?('nada') || reraise(Msg Traces)
39+ {(:Exc)
40+ :Msg = Exc.message
41+ Msg.have_slice?('op_eq') && Msg.have_slice?('nada') || Exc.raise
4042 }
4143 )
4244 }
@@ -56,11 +58,12 @@
5658 }
5759
5860 TEST.test('check recv type'){
59- CONTROL.try(
61+ CONTROL.xtry(
6062 { true.repr[nada] }
6163 {(:R) raise('got {}'.format(R.repr)) }
62- {(:Msg :Traces)
63- Msg.have_slice?('nada') && Msg.have_slice?('nada') || reraise(Msg Traces)
64+ {(:Exc)
65+ :Msg = Exc.message
66+ Msg.have_slice?('nada') && Msg.have_slice?('nada') || Exc.raise
6467 }
6568 )
6669 }
Show on old repository browser