aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/invalid/long_double_unordered
blob: 2a2e67326239f5251663b4ff6bc454cbc89f1c49 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
# Note this should pass if complied with --force

( ( 1 2 3 4 5 6 ) ) : 0

# (map (@ 3 0-0)
#   (.sequence
#     (unordered (@ 3 0-3)
#       (.inner
#         (string (@ 3 4-5) ‘1’)
#         (string (@ 3 6-7) ‘2’)
#         (string (@ 3 8-9) ‘3’)
#         (string (@ 3 10-11) ‘4’)
#         (string (@ 3 12-13) ‘5’)
#         (string (@ 3 14-15) ‘6’)
#       )
#     )
#   )
#   (.result
#     (string (@ 3 22-23) ‘0’)
#   )
# )
# :3:4–5: error: unordered subsequence of size 6 found, requires ‘--force’ to compile
#  ( ( 1 2 3 4 5 6 ) ) : 0
#      ^