author | blanchet |
Wed, 24 Sep 2014 15:45:55 +0200 | |
changeset 58425 | 246985c6b20b |
parent 58414 | f945e7af0d27 |
child 58626 | 6c473ed0ac70 |
permissions | -rw-r--r-- |
58039 | 1 |
(* Title: Code_Test_GHC.thy |
2 |
Author: Andreas Lochbihler, ETH Zurich |
|
3 |
||
4 |
Test case for test_code on GHC |
|
5 |
*) |
|
6 |
||
7 |
theory Code_Test_GHC imports Code_Test begin |
|
8 |
||
58414
f945e7af0d27
drop workaround addressed by d0d3c30806b4
Andreas Lochbihler
parents:
58348
diff
changeset
|
9 |
test_code "(14 + 7 * -12 :: integer) = 140 div -2" in GHC |
58039 | 10 |
|
58348
2d47c7d10b62
add target language evaluators for the value command;
Andreas Lochbihler
parents:
58039
diff
changeset
|
11 |
value [GHC] "14 + 7 * -12 :: integer" |
58039 | 12 |
|
13 |
end |