author | haftmann |
Thu, 02 Oct 2014 17:51:04 +0200 | |
changeset 58520 | a4d1f8041af0 |
parent 58348 | 2d47c7d10b62 |
child 58626 | 6c473ed0ac70 |
permissions | -rw-r--r-- |
58039 | 1 |
(* Title: Code_Test_Scala.thy |
2 |
Author: Andreas Lochbihler, ETH Zurich |
|
3 |
||
4 |
Test case for test_code on Scala |
|
5 |
*) |
|
6 |
||
7 |
theory Code_Test_Scala imports Code_Test begin |
|
8 |
||
58520
a4d1f8041af0
accomplish potentially case-insenstive file systems for Scala
haftmann
parents:
58348
diff
changeset
|
9 |
declare [[scala_case_insensitive]] |
a4d1f8041af0
accomplish potentially case-insenstive file systems for Scala
haftmann
parents:
58348
diff
changeset
|
10 |
|
58039 | 11 |
test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scala |
12 |
||
58348
2d47c7d10b62
add target language evaluators for the value command;
Andreas Lochbihler
parents:
58039
diff
changeset
|
13 |
value [Scala] "14 + 7 * -12 :: integer" |
58039 | 14 |
|
15 |
end |