changeset 58520 | a4d1f8041af0 |
parent 58348 | 2d47c7d10b62 |
child 58626 | 6c473ed0ac70 |
58519:7d85162e8520 | 58520:a4d1f8041af0 |
---|---|
4 Test case for test_code on Scala |
4 Test case for test_code on Scala |
5 *) |
5 *) |
6 |
6 |
7 theory Code_Test_Scala imports Code_Test begin |
7 theory Code_Test_Scala imports Code_Test begin |
8 |
8 |
9 declare [[scala_case_insensitive]] |
|
10 |
|
9 test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scala |
11 test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scala |
10 |
12 |
11 value [Scala] "14 + 7 * -12 :: integer" |
13 value [Scala] "14 + 7 * -12 :: integer" |
12 |
14 |
13 end |
15 end |