equal
deleted
inserted
replaced
2 Author: Andreas Lochbihler, ETH Zurich |
2 Author: Andreas Lochbihler, ETH Zurich |
3 |
3 |
4 Test case for test_code on GHC |
4 Test case for test_code on GHC |
5 *) |
5 *) |
6 |
6 |
7 theory Code_Test_GHC imports Code_Test begin |
7 theory Code_Test_GHC imports "../Library/Code_Test" begin |
8 |
8 |
9 test_code "(14 + 7 * -12 :: integer) = 140 div -2" in GHC |
9 test_code "(14 + 7 * -12 :: integer) = 140 div -2" in GHC |
10 |
10 |
11 value [GHC] "14 + 7 * -12 :: integer" |
11 value [GHC] "14 + 7 * -12 :: integer" |
12 |
12 |