mittens 0.3.0 → 0.3.2

data/vendor/snowball/tests/errors/ae-errors.sbl

@@ -0,0 +1,53 @@
+externals (stem)
+integers (x)
+define stem as (
+  // One token per line to check which token the line number is taken from.
+
+  $x
+  =
+  1
+  / // Error here
+  0
+
+  $x
+  /= // Error here
+  0
+
+  $
+  (
+  x
+  = // Error here
+  0
+  )
+
+  $
+  stem // Error here
+  =
+  0
+
+  $
+  unknown // Error here
+  =
+  0
+
+  $
+  (
+  x
+  => // Error here
+  0
+  )
+
+  $
+  (
+  x
+  /= // Error here
+  0
+  )
+
+  $
+  (
+  x
+  += // Error here
+  0
+  )
+)

data/vendor/snowball/tests/errors/ae-errors.stderr

@@ -0,0 +1,8 @@
+errors/ae-errors.sbl:9: Division by zero
+errors/ae-errors.sbl:13: Division by zero
+errors/ae-errors.sbl:19: Expected relational operator, got '=' (did you mean '=='?)
+errors/ae-errors.sbl:24: 'stem' not of type integer or string
+errors/ae-errors.sbl:29: 'unknown' undeclared
+errors/ae-errors.sbl:36: Expected relational operator, got '=>' (did you mean '>='?)
+errors/ae-errors.sbl:43: Expected relational operator, got '/=' (did you mean '!='?)
+errors/ae-errors.sbl:50: Expected relational operator, got '+='

data/vendor/snowball/tests/errors/bad-dollar.sbl

@@ -0,0 +1,14 @@
+strings ( x )
+
+externals ( stem )
+
+booleans ( b )
+
+groupings ( g )
+
+define stem as (
+    $ = 'xxx'
+    $stem = 1
+    $b = 1
+    $g = 1
+)

data/vendor/snowball/tests/errors/bad-dollar.stderr

@@ -0,0 +1,4 @@
+errors/bad-dollar.sbl:10: unexpected = in integer test expression after $
+errors/bad-dollar.sbl:11: 'stem' not of type integer or string
+errors/bad-dollar.sbl:12: 'b' not of type integer or string
+errors/bad-dollar.sbl:13: 'g' not of type integer or string

data/vendor/snowball/tests/errors/bad-grouping-definition.sbl

@@ -0,0 +1,9 @@
+groupings (g1 g2 g3 g4 gempty gself)
+define g1
+define g2 'abc' -
+define g3
+externals (stem)
+define stem as ()
+define gempty 'a' - 'a'
+define gself gself
+define g4 stem

data/vendor/snowball/tests/errors/bad-grouping-definition.stderr

@@ -0,0 +1,6 @@
+errors/bad-grouping-definition.sbl:3: unexpected define in grouping definition after name
+errors/bad-grouping-definition.sbl:4: unexpected define in grouping definition after -
+errors/bad-grouping-definition.sbl:5: unexpected externals in grouping definition after name
+errors/bad-grouping-definition.sbl:7: empty grouping
+errors/bad-grouping-definition.sbl:8: gself defined in terms of itself
+errors/bad-grouping-definition.sbl:9: 'stem' not of type grouping

data/vendor/snowball/tests/errors/missing-bra.sbl

@@ -0,0 +1,6 @@
+strings
+externals (stem)
+backwardmode
+define stem as (
+  among
+)

data/vendor/snowball/tests/errors/missing-bra.stderr

@@ -0,0 +1,3 @@
+errors/missing-bra.sbl:2: ( omitted after strings
+errors/missing-bra.sbl:4: ( omitted after backwardmode
+errors/missing-bra.sbl:6: ( omitted after among

data/vendor/snowball/tests/errors/missing-command.sbl

@@ -0,0 +1,9 @@
+// Regression test for segfault introduced and fixed in git before 3.1.0.
+
+externals (stem)
+define stem as ( 'q' or )
+
+// Also, we swallowed the token for the `)` and emitted an bogus extra error
+// here (this bug was present in releases):
+//
+//   ) omitted after )

data/vendor/snowball/tests/errors/missing-command.stderr

@@ -0,0 +1 @@
+errors/missing-command.sbl:4: unexpected ) after or

data/vendor/snowball/tests/errors/missing-ket-backwardmode.sbl

@@ -0,0 +1,3 @@
+externals (stem)
+routines (f)
+backwardmode ( define f as true

data/vendor/snowball/tests/errors/missing-ket-backwardmode.stderr

@@ -0,0 +1 @@
+errors/missing-ket-backwardmode.sbl:4: ) omitted after true

data/vendor/snowball/tests/errors/missing-ket.sbl

@@ -0,0 +1,7 @@
+externals (stem
+integers (i
+define stem as (
+  non-()
+  $(cursor > 0
+  $i = (1 + 2
+  hop 5 [tolimit] delete

data/vendor/snowball/tests/errors/missing-ket.stderr

@@ -0,0 +1,6 @@
+errors/missing-ket.sbl:2: ) omitted after name
+errors/missing-ket.sbl:3: ) omitted after name
+errors/missing-ket.sbl:4: name omitted after -
+errors/missing-ket.sbl:6: ) omitted after number
+errors/missing-ket.sbl:7: ) omitted after number
+errors/missing-ket.sbl:8: ) omitted after delete

data/vendor/snowball/tests/errors/notdefined.sbl

@@ -0,0 +1,4 @@
+externals (stem)
+groupings (g)
+routines (r)
+define stem as (g r)

data/vendor/snowball/tests/errors/notdefined.stderr

@@ -0,0 +1,2 @@
+errors/notdefined.sbl:4: routine 'r' declared but not defined
+errors/notdefined.sbl:4: grouping 'g' declared but not defined

data/vendor/snowball/tests/errors/string-omitted.sbl

@@ -0,0 +1,5 @@
+externals (stem)
+define stem as (
+  <-
+  hop 2
+)

data/vendor/snowball/tests/errors/string-omitted.stderr

@@ -0,0 +1 @@
+errors/string-omitted.sbl:4: string omitted after <-

data/vendor/snowball/tests/errors/undeclared.sbl

@@ -0,0 +1,20 @@
+// Regression test for bug reporting names.
+externals (stem)
+booleans (rb longbool rb)
+groupings (rg longgroup rg)
+integers (ri longint ri)
+strings (rs longstring rs)
+
+define rg 'rg'
+define longgroup 'aeiou'
+define rg 'xy'
+
+define stem as (
+  set longbool
+  set xb
+  $longint = 1
+  $xi = 1
+  ri
+  $longstring = ''
+  $(sizeof xs > 0)
+)

data/vendor/snowball/tests/errors/undeclared.stderr

@@ -0,0 +1,9 @@
+errors/undeclared.sbl:3: 'rb' re-declared
+errors/undeclared.sbl:4: 'rg' re-declared
+errors/undeclared.sbl:5: 'ri' re-declared
+errors/undeclared.sbl:6: 'rs' re-declared
+errors/undeclared.sbl:10: 'rg' redefined
+errors/undeclared.sbl:14: 'xb' undeclared
+errors/undeclared.sbl:16: 'xi' undeclared
+errors/undeclared.sbl:17: integer name 'ri' misplaced
+errors/undeclared.sbl:19: 'xs' undeclared

data/vendor/snowball/tests/errors/unexpected-token.sbl

@@ -0,0 +1,24 @@
+externals (stem)
+integers (i)
+groupings (g)
+define g +
+define stem as (
+  $
+  next
+  $(i 0)
+  $i = hop 2
+  $(i = )
+  backwardmode (next)
+  $(i = 1)
+  $(i /= 1)
+  $(i => 1)
+  $(i += 1)
+  $(i -= 1)
+  $(i *= 1)
+)
+next
+
+strings (s1 s2)
+define s1 'string'
+define s2 as 'string'
+define

data/vendor/snowball/tests/errors/unexpected-token.stderr

@@ -0,0 +1,17 @@
+errors/unexpected-token.sbl:4: unexpected + in grouping definition after name
+errors/unexpected-token.sbl:7: unexpected next in integer test expression after $
+errors/unexpected-token.sbl:8: unexpected number 0 in integer test expression after name
+errors/unexpected-token.sbl:9: unexpected hop in integer expression after =
+errors/unexpected-token.sbl:10: Expected relational operator, got '=' (did you mean '=='?)
+errors/unexpected-token.sbl:10: unexpected ) in integer expression after =
+errors/unexpected-token.sbl:11: unexpected backwardmode after )
+errors/unexpected-token.sbl:12: Expected relational operator, got '=' (did you mean '=='?)
+errors/unexpected-token.sbl:13: Expected relational operator, got '/=' (did you mean '!='?)
+errors/unexpected-token.sbl:14: Expected relational operator, got '=>' (did you mean '>='?)
+errors/unexpected-token.sbl:15: Expected relational operator, got '+='
+errors/unexpected-token.sbl:16: Expected relational operator, got '-='
+errors/unexpected-token.sbl:17: Expected relational operator, got '*='
+errors/unexpected-token.sbl:19: unexpected next after )
+errors/unexpected-token.sbl:22: 's1' not of type grouping
+errors/unexpected-token.sbl:23: 's2' not of type routine or external
+errors/unexpected-token.sbl:25: name omitted after define

data/vendor/snowball/tests/errors/wrongdirection.sbl

@@ -0,0 +1,14 @@
+externals ( stem )
+routines ( remove_suffix )
+
+backwardmode (
+  define remove_suffix as (
+    [substring] among (
+      'al' 'ance' 'ence' 'er' 'ic' (delete)
+    )
+  )
+)
+
+define stem as (
+  remove_suffix
+)

data/vendor/snowball/tests/errors/wrongdirection.stderr

@@ -0,0 +1 @@
+errors/wrongdirection.sbl:13: routine 'remove_suffix' mis-used in string forward mode

data/vendor/snowball/tests/runtime/among.sbl

@@ -0,0 +1,19 @@
+// Test among.
+
+externals (stem)
+
+routines (gate)
+
+stringescapes {}
+
+define gate as 'q'
+
+define stem as (
+  test (
+    among (
+      'x' ()
+      '' gate ()
+    )
+    ='gated default among case did not fail as expected'
+  )
+)

data/vendor/snowball/tests/runtime/arithmeticexpr.sbl

@@ -0,0 +1,86 @@
+// Test arithmetic expressions (AEs).
+externals (stem)
+routines (operators pseudovars)
+integers (x y)
+
+define stem as (
+  operators
+  pseudovars
+)
+
+define operators as (
+  $x = 3 * 2
+  $x *= 5
+  $(x * 7 == 210) or fail='multiplication gave wrong answer'
+
+  $x = 1 + 2
+  $x += 4
+  $(x + 8 == 15) or fail='addition gave wrong answer'
+
+  $x = 1 - 2
+  $x -= 4
+  $(8 - x == 13) or fail='subtraction gave wrong answer'
+
+  $(-x == 5) or fail='negation gave wrong answer'
+
+  // Test division truncates towards zero.
+
+  $x = 7
+  $x /= 4
+  $(x == 1) or fail='/= should truncate towards zero (+/+)'
+
+  $y = 7
+  $x = y / 4
+  $(x == 1) or fail='/ should truncate towards zero (+/+)'
+
+  $(7 / 4 * 4 == 4) or fail='should use integer / (+/+)'
+
+  $x = -7
+  $x /= -4
+  $(x == 1) or fail='/= should truncate towards zero (-/-)'
+
+  $y = -7
+  $x = y / -4
+  $(x == 1) or fail='/ should truncate towards zero (-/-)'
+
+  $(-7 / -4 * 4 == 4) or fail='should use integer / (-/-)'
+
+  $x = -7
+  $x /= 4
+  $(x == -1) or fail='/= should truncate towards zero (-/+)'
+
+  $y = -7
+  $x = y / 4
+  $(x == -1) or fail='/ should truncate towards zero (-/+)'
+
+  $(-7 / 4 * 4 == -4) or fail='should use integer / (-/+)'
+
+  $x = 7
+  $x /= -4
+  $(x == -1) or fail='/= should truncate towards zero (+/-)'
+
+  $y = 7
+  $x = y / -4
+  $(x == -1) or fail='/ should truncate towards zero (+/-)'
+
+  $(7 / -4 * 4 == -4) or fail='should use integer / (+/-)'
+
+  // Some target languages warn or even error for self-assignment.
+  $x = x  $(x == -1) or fail='self assignment changed value'
+  $x = cursor  tomark cursor  $(x == cursor) or fail='tomark cursor moved cursor'
+)
+
+define pseudovars as (
+  $(cursor == 0) or fail='cursor should be 0'
+  $(limit == 2) or fail='limit should be 2'
+  test (next $(cursor == 1)) or fail='cursor should be 1'
+  test (hop 2 $(cursor == 2)) or fail='cursor should be 2'
+  setlimit next for $(limit == 1) or fail='limit should be 1'
+  test (reverse $(cursor == 0)) or fail='cursor should be 0 (reverse)'
+  test (reverse $(limit == 0)) or fail='limit should be 0 (reverse)'
+  test (next reverse $(limit == 0)) or fail='limit should be 0 (reverse)'
+  test (next reverse $(cursor == 1)) or fail='cursor should be 1 (reverse)'
+  test (backwards $(cursor == 2)) or fail='cursor should be 2 (backwards)'
+  test (backwards $(limit == 0)) or fail='limit should be 0 (backwards)'
+  test (next backwards $(limit == 1)) or fail='limit should be 1 (backwards)'
+)

data/vendor/snowball/tests/runtime/attachinsert.sbl

@@ -0,0 +1,47 @@
+// Test `attach` and `insert`.
+
+externals (stem)
+
+define stem as (
+  ='abcd'
+  do (
+    hop 2
+    attach '-'
+    $(cursor == 2) or fail='forwards attach changed cursor'
+    next
+  )
+  $(cursor == 0) or fail='do failed to restore cursor after forwards attach'
+
+  ='abcd'
+  do (
+    hop 2
+    insert '-'
+    $(cursor == 3) or fail='forwards insert failed to move cursor'
+    next
+  )
+  $(cursor == 0) or fail='do failed to restore cursor after forwards insert'
+
+  ='abcd'
+  backwards (
+    do (
+      hop 2
+      attach '-'
+      $(cursor == 3) or fail='backwards attach failed to move cursor'
+      next
+    )
+    $(cursor == size) or fail='do failed to restore cursor after backwards attach'
+   )
+
+  ='abcd'
+  backwards (
+    do (
+      hop 2
+      insert '-'
+      $(cursor == 2) or fail='backwards insert moved cursor'
+      next
+    )
+    $(cursor == size) or fail='do failed to restore cursor after backwards insert'
+  )
+
+  ='ok'
+)

data/vendor/snowball/tests/runtime/booleans.sbl

@@ -0,0 +1,19 @@
+// Test strings
+
+externals (stem)
+
+booleans (b)
+
+stringescapes {}
+
+define stem as (
+  true or fail='true failed'
+  not false or fail='false did not fail'
+
+  set b
+  b or fail='set b did not set b'
+  unset b
+  not b or fail='unset b did not unset b'
+  set b
+  b or fail='set b did not set b (2)'
+)

data/vendor/snowball/tests/runtime/externals.sbl

@@ -0,0 +1,22 @@
+// Test calling externals within the program.
+
+externals (stem e1 e2)
+
+define stem as (
+  not e2 or fail='failed to call external e2'
+
+  test e1 or fail='external as among function failed'
+  $(len == 4) or fail='external as among function result wrong'
+  not e1 or fail='external as among function did not fail'
+
+  ='ok'
+)
+
+define e1 as (
+  [substring] among (
+    'ok' e2 ( <-'oops' )
+    'no' ( <-'nope' )
+  )
+)
+
+define e2 as atlimit

data/vendor/snowball/tests/runtime/hop.sbl

@@ -0,0 +1,12 @@
+// Test `hop` and `next`.
+
+externals (stem)
+
+strings (s)
+
+define stem as (
+  next or fail='next failed'
+  not (hop len-3) or fail='hop by calculated negative signalled t'
+  test (tolimit not next or fail='next at end of string signalled t')
+  not (hop len-cursor+1) or fail='hop past end of string signalled t'
+)

data/vendor/snowball/tests/runtime/integertests.sbl

@@ -0,0 +1,60 @@
+// Test integer tests.
+externals (stem)
+routines (var_local_bug var_local_bug_)
+integers (x y var_local_bug_a var_local_bug_b)
+define stem as (
+  var_local_bug
+
+  $x = len
+
+  $x == 2 or fail='== failed (old style)'
+  $(x == 2) or fail='== failed'
+  $(2 == x) or fail='== failed (reversed)'
+
+  $x != 3 or fail='!= failed (old style)'
+  $(x != 3) or fail='!= failed'
+  $(3 != x) or fail='!= failed (reversed)'
+
+  $x >= 2 or fail='>= failed (old style)'
+  $(x >= 2) or fail='>= failed'
+  $(x >= 1) or fail='>= failed (nonequal)'
+  $(2 >= x) or fail='>= failed (reversed)'
+  $(3 >= x) or fail='>= failed (nonequal, reversed)'
+
+  $x <= 2 or fail='<= failed (old style)'
+  $(x <= 2) or fail='<= failed'
+  $(x <= 3) or fail='<= failed (nonequal)'
+  $(2 <= x) or fail='<= failed (reversed)'
+  $(1 <= x) or fail='<= failed (nonequal, reversed)'
+
+  $x > 1 or fail='> failed (old style)'
+  $(x > 1) or fail='> failed'
+  $(3 > x) or fail='> failed (nonequal, reversed)'
+
+  $x < 3 or fail='< failed (old style)'
+  $(x < 3) or fail='< failed'
+  $(1 < x) or fail='< failed (reversed)'
+)
+
+// Regression test for bug in fixed in 3.1.1 - the variable localisation
+// machinery failed to look at the rhs of integer tests.
+define var_local_bug as (
+  $var_local_bug_a = 0
+  var_local_bug_
+  $var_local_bug_a = 1
+  var_local_bug_
+)
+
+define var_local_bug_ as (
+  do (
+    $(var_local_bug_a == 1)
+    // The bug was that this use before set was not spotted.
+    $(7 != var_local_bug_b)
+    ['a'] delete
+  )
+  do (
+    $(var_local_bug_a == 0)
+    $var_local_bug_b = 7
+  )
+  $(7 == var_local_bug_b) or fail='var_local_bug_b was incorrectly localised'
+)

data/vendor/snowball/tests/runtime/intlimits.sbl

@@ -0,0 +1,25 @@
+// Test minint and maxint work as expected.
+
+externals (stem)
+
+integers (x y)
+
+define stem as (
+  $(minint < 0) or fail='minint should be negative'
+  $(maxint > 0) or fail='maxint should be positive'
+
+  $(minint <= -32767) or fail='minint should be <= -32767'
+  $(maxint >= 32767) or fail='maxint should be >= 32767'
+
+  $(minint + maxint == 0) or $(minint + maxint == -1) or fail='minint+maxint should be 0 or -1'
+
+  $x = minint
+  $(x == minint) or fail='minint cannot be stored in a variable'
+  $y = x + 1
+  $(y - x == 1) or fail='Adding one to minint does not work'
+
+  $x = maxint
+  $(x == maxint) or fail='maxint cannot be stored in a variable'
+  $y = x - 1
+  $(x - y == 1) or fail='Subtracting one from maxint does not work'
+)

data/vendor/snowball/tests/runtime/naming.sbl

@@ -0,0 +1,20 @@
+// Test target language naming problem cases.
+// Test handling of names which only differ by case (for e.g. Pascal).
+strings (notable NoTable NOTABLE)
+// Test handling of name ending `_`.
+// (Regression test for bug in Ada generator fixed in 3.1.0.)
+integers (x_ x_e x_ee)
+externals (stem)
+define stem as (
+  try (
+    [next] -> notable
+    next] -> NoTable
+    next] -> NOTABLE
+    $x_ = lenof notable + lenof NoTable + lenof NOTABLE
+    $x_ee = 2
+    $x_e = len
+    $(x_ + x_ee < x_e)
+    delete
+  )
+  [tolimit] <- 'ok'
+)

data/vendor/snowball/tests/runtime/not.sbl

@@ -0,0 +1,30 @@
+// Test `not`.
+
+externals (stem)
+
+define stem as (
+  ='stopknot'
+
+  test (
+    $(cursor == 0) or fail='cursor not 0 before test'
+    next or fail='next failed'
+    do (
+       not ([next] delete 'o')
+    )
+    $(cursor == 1) or fail='do failed to restore cursor'
+  )
+
+  backwards (
+    $(cursor == 7) or fail='cursor not 7 before test'
+    next or fail='next failed'
+    do (
+       not ([next] delete 'n')
+    )
+    $(cursor == 5) or fail='backwards do failed to restore cursor'
+  )
+
+  not (next fail='this should never be seen')
+  $(cursor == 0) or fail='`not` failed to restore cursor'
+  ='ok'
+  not true and fail='`not true` raised signal t'
+)

data/vendor/snowball/tests/runtime/or.sbl

@@ -0,0 +1,17 @@
+// Test `or`.
+
+externals (stem)
+routines (a)
+integers (x)
+
+define a as
+    try (
+        next
+        $(x < 2)
+    )
+
+define stem as (
+    $x = limit
+    a or fail='a did not signal t'
+    $(cursor == 0) or fail='a did not restore cursor'
+)

data/vendor/snowball/tests/runtime/repeat.sbl

@@ -0,0 +1,16 @@
+// Test `repeat`.
+
+stringescapes { }
+
+externals ( stem )
+
+define stem as (
+  ='ok'
+
+  $(limit==size) or fail='limit not size by default'
+
+  // Regression tests for Ada `repeat` codegen bug.
+  // https://github.com/snowballstem/snowball/issues/275
+  setlimit tomark cursor+1 for repeat 'Q'  $(limit==size) or fail='limit not restored after repeat'
+  setlimit next for repeat 'Q'  $(limit==size) or fail='limit not restored after repeat (2)'
+)