diff options
Diffstat (limited to 'tests/sets.at')
-rw-r--r-- | tests/sets.at | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/sets.at b/tests/sets.at index 01339c22..c9feb9d8 100644 --- a/tests/sets.at +++ b/tests/sets.at @@ -337,12 +337,12 @@ Rules ----- Num (Num, Prec, Assoc, Useful, UselessChain, Ritem Range) Lhs -> Rhs (Ritem range) - 0 ( 0, 0, 0, t, 0- 1) 6 -> 7 0 - 1 ( 1, 0, 0, t, 3- 5) 7 -> 7 3 8 - 2 ( 2, 0, 0, t, 7- 7) 7 -> 8 - 3 ( 3, 0, 0, t, 9-11) 8 -> 8 4 9 - 4 ( 4, 0, 0, t, 13-13) 8 -> 9 - 5 ( 5, 0, 0, t, 15-15) 9 -> 5 + 0 ( 0, 0, 0, t, f, 0- 1) 6 -> 7 0 + 1 ( 1, 0, 0, t, f, 3- 5) 7 -> 7 3 8 + 2 ( 2, 0, 0, t, t, 7- 7) 7 -> 8 + 3 ( 3, 0, 0, t, f, 9-11) 8 -> 8 4 9 + 4 ( 4, 0, 0, t, t, 13-13) 8 -> 9 + 5 ( 5, 0, 0, t, t, 15-15) 9 -> 5 Rules interpreted |