opal 0.5.5 → 0.6.0

data/spec/opal/filters/bugs/basic_object.rb

@@ -1,3 +1,12 @@
 opal_filter "BasicObject" do
   fails "BasicObject#instance_eval evaluates strings"
+  fails "BasicObject instance metaclass contains methods defined for the BasicObject instance"
+  fails "BasicObject instance metaclass has BasicObject as superclass"
+  fails "BasicObject instance metaclass is an instance of Class"
+  fails "BasicObject metaclass contains methods for the BasicObject class"
+  fails "BasicObject metaclass has Class as superclass"
+  fails "BasicObject does not define built-in constants (according to defined?)"
+  fails "BasicObject does not define built-in constants (according to const_defined?)"
+  fails "BasicObject raises NameError when referencing built-in constants"
+  fails "BasicObject raises NoMethodError for nonexistent methods after #method_missing is removed"
 end

data/spec/opal/filters/bugs/class.rb

@@ -1,4 +1,20 @@
 opal_filter "Class" do
+  fails "Class#allocate returns a fully-formed instance of Module"
+  fails "Class#allocate raises TypeError for #superclass"
+
+  fails "Class#dup stores the new name if assigned to a constant"
+  fails "Class#dup sets the name from the class to nil if not assigned to a constant"
+  fails "Class#dup retains the correct ancestor chain for the singleton class"
+  fails "Class#dup retains an included module in the ancestor chain for the singleton class"
+  fails "Class#dup duplicates both the class and the singleton class"
+
+  fails "Class#initialize_copy raises a TypeError when called on already initialized classes"
+  fails "Class#initialize_copy raises a TypeError when called on BasicObject"
+  fails "Class#initialize raises a TypeError when called on already initialized classes"
+  fails "Class#initialize raises a TypeError when called on BasicObject"
+
   fails "Class.new raises a TypeError if passed a metaclass"
   fails "Class#new passes the block to #initialize"
+
+  fails "Class#superclass for a singleton class of a class returns the singleton class of its superclass"
 end

data/spec/opal/filters/bugs/enumerable.rb

@@ -8,4 +8,58 @@ opal_filter "Enumerable" do
 
   fails "Enumerable#reduce returns nil when fails(legacy rubycon)"
   fails "Enumerable#reduce without inject arguments(legacy rubycon)"
+
+  fails "Enumerable#chunk does not yield the object passed to #chunk if it is nil"
+  fails "Enumerable#chunk yields an element and an object value-equal but not identical to the object passed to #chunk"
+  fails "Enumerable#chunk raises a RuntimeError if the block returns a Symbol starting with an underscore other than :_alone or :_separator"
+  fails "Enumerable#chunk does not return elements for which the block returns nil"
+  fails "Enumerable#chunk does not return elements for which the block returns :_separator"
+  fails "Enumerable#chunk returns elements for which the block returns :_alone in separate Arrays"
+  fails "Enumerable#chunk returns elements of the Enumerable in an Array of Arrays, [v, ary], where 'ary' contains the consecutive elements for which the block returned the value 'v'"
+  fails "Enumerable#chunk yields the current element and the current chunk to the block"
+  fails "Enumerable#chunk returns an Enumerator if given a block"
+  fails "Enumerable#chunk raises an ArgumentError if called without a block"
+
+  fails "Enumerable#each_cons gathers whole arrays as elements when each yields multiple"
+  fails "Enumerable#each_cons returns an enumerator if no block"
+  fails "Enumerable#each_cons yields only as much as needed"
+  fails "Enumerable#each_cons works when n is >= full length"
+  fails "Enumerable#each_cons tries to convert n to an Integer using #to_int"
+  fails "Enumerable#each_cons raises an Argument Error if there is not a single parameter > 0"
+  fails "Enumerable#each_cons passes element groups to the block"
+
+  fails "Enumerable#each_entry passes extra arguments to #each"
+  fails "Enumerable#each_entry passes through the values yielded by #each_with_index"
+  fails "Enumerable#each_entry returns an enumerator if no block"
+  fails "Enumerable#each_entry yields multiple arguments as an array"
+
+  fails "Enumerable#minmax_by gathers whole arrays as elements when each yields multiple"
+  fails "Enumerable#minmax_by is able to return the maximum for enums that contain nils"
+  fails "Enumerable#minmax_by uses min/max.<=>(current) to determine order"
+  fails "Enumerable#minmax_by returns the object that appears first in #each in case of a tie"
+  fails "Enumerable#minmax_by returns the object for whom the value returned by block is the largest"
+  fails "Enumerable#minmax_by returns nil if #each yields no objects"
+  fails "Enumerable#minmax_by returns an enumerator if no block"
+
+  fails "Enumerable#minmax gathers whole arrays as elements when each yields multiple"
+  fails "Enumerable#minmax return the minimun when using a block rule"
+  fails "Enumerable#minmax raises a NoMethodError for elements without #<=>"
+  fails "Enumerable#minmax raises an ArgumentError when elements are incomparable"
+  fails "Enumerable#minmax returns [nil, nil] for an empty Enumerable"
+  fails "Enumerable#minmax min should return the minimum element"
+
+  fails "Enumerable#reverse_each gathers whole arrays as elements when each yields multiple"
+
+  fails "Enumerable#sort gathers whole arrays as elements when each yields multiple"
+  fails "Enumerable#sort raises an error if objects can't be compared"
+  fails "Enumerable#sort compare values returned by block with 0"
+  fails "Enumerable#sort sorts enumerables that contain nils"
+  fails "Enumerable#sort raises a NoMethodError if elements do not define <=>"
+  fails "Enumerable#sort yields elements to the provided block"
+  fails "Enumerable#sort sorts by the natural order as defined by <=> "
+
+  fails "Enumerable#zip passes each element of the result array to a block and return nil if a block is given"
+  fails "Enumerable#zip converts arguments to arrays using #to_ary"
+  fails "Enumerable#zip converts arguments to enums using #to_enum"
+  fails "Enumerable#zip gathers whole arrays as elements when each yields multiple"
 end

data/spec/opal/filters/bugs/language.rb

@@ -12,6 +12,12 @@ opal_filter "language" do
   fails "The unpacking splat operator (*) unpacks the start and count arguments in an array slice assignment"
   fails "The unpacking splat operator (*) unpacks arguments as if they were listed statically"
 
+  fails "The BEGIN keyword runs in a shared scope"
+  fails "The BEGIN keyword accesses variables outside the eval scope"
+  fails "The BEGIN keyword must appear in a top-level context"
+  fails "The BEGIN keyword runs first in a given code unit"
+  fails "The BEGIN keyword runs multiple begins in FIFO order"
+
   fails "A block arguments with _ assigns the first variable named"
   fails "A block arguments with _ extracts arguments with _"
   fails "A block taking |*a| arguments does not call #to_ary to convert a single yielded object to an Array"
@@ -73,9 +79,6 @@ opal_filter "language" do
   fails "The break statement in a lambda from a scope that has returned raises a LocalJumpError when yielding to a lambda passed as a block argument"
   fails "Executing break from within a block returns from the original invoking method even in case of chained calls"
 
-  fails "The 'case'-construct lets you define a method after the case statement"
-  fails "The 'case'-construct with no target expression evaluates true as only 'true' when true is the first clause"
-
   fails "A class variable can be accessed from a subclass"
   fails "A class variable is set in the superclass"
   fails "A class variable defined in a module can be accessed from classes that extend the module"
@@ -100,6 +103,27 @@ opal_filter "language" do
   fails "A class definition stores instance variables defined in the class body in the class object"
   fails "Reopening a class adds new methods to subclasses"
 
+  fails "Constant resolution within methods with ||= assignes constant if previously undefined"
+  fails "Constant resolution within methods with dynamically assigned constants does not search the lexical scope of qualifying modules"
+  fails "Constant resolution within methods with dynamically assigned constants returns the updated value when a constant is reassigned"
+  fails "Constant resolution within methods with dynamically assigned constants searches Object as a lexical scope only if Object is explicitly opened"
+  fails "Constant resolution within methods with dynamically assigned constants searches the superclass chain"
+  fails "Constant resolution within methods with dynamically assigned constants searches a module included in the superclass"
+  fails "Constant resolution within methods with dynamically assigned constants searches the superclass before a module included in the superclass"
+  fails "Constant resolution within methods with statically assigned constants does not search the lexical scope of qualifying modules"
+  fails "Constant resolution within methods with statically assigned constants searches Object as a lexical scope only if Object is explicitly opened"
+  fails "Constant resolution within methods with statically assigned constants searches the lexical scope of the method not the receiver's immediate class"
+  fails "Constant resolution within methods sends #const_missing to the original class or module scope"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants evaluates the right hand side before evaluating a constant path"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants does not search the singleton class of the class or module"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants searches the superclass chain"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants searches a module included in the superclass"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants searches the superclass before a module included in the superclass"
+  fails "Literal (A::X) constant resolution with dynamically assigned constants searches a module included in the immediate class before the superclass"
+  fails "Literal (A::X) constant resolution with statically assigned constants does not search the singleton class of the class or module"
+  fails "Literal (A::X) constant resolution raises a TypeError if a non-class or non-module qualifier is given"
+
+
   fails "The def keyword within a closure looks outside the closure for the visibility"
   fails "a method definition that sets more than one default parameter all to the same value treats the argument after the multi-parameter normally"
   fails "a method definition that sets more than one default parameter all to the same value only allows overriding the default value of the first such parameter in each set"
@@ -125,6 +149,13 @@ opal_filter "language" do
 
   fails "The defined? keyword for a scoped constant returns nil when an undefined constant is scoped to a defined constant"
   fails "The defined? keyword for a top-level scoped constant returns nil when an undefined constant is scoped to a defined constant"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with 'not' and an unset instance variable"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with 'not' and an unset global variable"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with '!' and an unset instance variable"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with '!' and an unset global variable"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with 'not' and an unset class variable"
+  fails "The defined? keyword for an expression with logical connectives returns nil for an expression with '!' and an unset class variable"
+  fails "The defined? keyword for variables returns nil for a global variable that has been read but not assigned to"
 
   fails "An ensure block inside a begin block is executed even when a symbol is thrown in it's corresponding begin block"
   fails "An ensure block inside a method is executed even when a symbol is thrown in the method"
@@ -161,6 +192,9 @@ opal_filter "language" do
   fails "The if expression with a boolean range ('flip-flop' operator) mimics an awk conditional with a many-element inclusive-end range"
   fails "The if expression with a boolean range ('flip-flop' operator) mimics an awk conditional with a single-element inclusive-end range"
 
+  fails "The !~ operator evaluates as a call to !~"
+  fails "The =~ operator calls the =~ method"
+
   fails "calling methods on the metaclass calls a method defined on the metaclass of the metaclass"
   fails "calling methods on the metaclass calls a method in deeper chains of metaclasses"
   fails "A constant on a metaclass is preserved when the object is cloned"

data/spec/opal/filters/bugs/math.rb

@@ -0,0 +1,93 @@
+opal_filter "Math" do
+  fails "Math.erf returns a float"
+  fails "Math.erf returns the error function of the argument"
+  fails "Math.erf raises a TypeError if the argument cannot be coerced with Float()"
+  fails "Math.erf returns NaN given NaN"
+  fails "Math.erf raises a TypeError if the argument is nil"
+  fails "Math.erf accepts any argument that can be coerced with Float()"
+  fails "Math#erf is accessible as a private instance method"
+
+  fails "Math.frexp returns the normalized fraction and exponent"
+  fails "Math.frexp raises a TypeError if the argument cannot be coerced with Float()"
+  fails "Math.frexp returns NaN given NaN"
+  fails "Math.frexp raises a TypeError if the argument is nil"
+  fails "Math.frexp accepts any argument that can be coerced with Float()"
+  fails "Math#frexp is accessible as a private instance method"
+
+  fails "Math.erfc returns a float"
+  fails "Math.erfc returns the complimentary error function of the argument"
+  fails "Math.erfc raises a TypeError if the argument cannot be coerced with Float()"
+  fails "Math.erfc returns NaN given NaN"
+  fails "Math.erfc raises a TypeError if the argument is nil"
+  fails "Math.erfc accepts any argument that can be coerced with Float()"
+  fails "Math#erfc is accessible as a private instance method"
+
+  fails "Math.ldexp returns a float"
+  fails "Math.ldexp returns the argument multiplied by 2**n"
+  fails "Math.ldexp raises a TypeError if the first argument cannot be coerced with Float()"
+  fails "Math.ldexp returns NaN given NaN"
+  fails "Math.ldexp raises RangeError if NaN is given as the second arg"
+  fails "Math.ldexp raises an TypeError if the second argument cannot be coerced with Integer()"
+  fails "Math.ldexp raises a TypeError if the first argument is nil"
+  fails "Math.ldexp raises a TypeError if the second argument is nil"
+  fails "Math.ldexp accepts any first argument that can be coerced with Float()"
+  fails "Math.ldexp accepts any second argument that can be coerced with Integer()"
+  fails "Math#ldexp is accessible as a private instance method"
+
+  fails "Math.cbrt returns a float"
+  fails "Math.cbrt returns the cubic root of the argument"
+  fails "Math.cbrt raises a TypeError if the argument cannot be coerced with Float()"
+  fails "Math.cbrt raises a TypeError if the argument is nil"
+  fails "Math.cbrt accepts any argument that can be coerced with Float()"
+
+  fails "Math.gamma returns +infinity given 0"
+  fails "Math.gamma returns -infinity given -0.0"
+  fails "Math.gamma returns Math.sqrt(Math::PI) given 0.5"
+  fails "Math.gamma returns exactly 1! given 2"
+  fails "Math.gamma returns exactly 2! given 3"
+  fails "Math.gamma returns exactly 3! given 4"
+  fails "Math.gamma returns exactly 4! given 5"
+  fails "Math.gamma returns exactly 5! given 6"
+  fails "Math.gamma returns exactly 6! given 7"
+  fails "Math.gamma returns exactly 7! given 8"
+  fails "Math.gamma returns exactly 8! given 9"
+  fails "Math.gamma returns exactly 9! given 10"
+  fails "Math.gamma returns exactly 10! given 11"
+  fails "Math.gamma returns exactly 11! given 12"
+  fails "Math.gamma returns exactly 12! given 13"
+  fails "Math.gamma returns exactly 13! given 14"
+  fails "Math.gamma returns exactly 14! given 15"
+  fails "Math.gamma returns exactly 15! given 16"
+  fails "Math.gamma returns exactly 16! given 17"
+  fails "Math.gamma returns exactly 17! given 18"
+  fails "Math.gamma returns exactly 18! given 19"
+  fails "Math.gamma returns exactly 19! given 20"
+  fails "Math.gamma returns exactly 20! given 21"
+  fails "Math.gamma returns exactly 21! given 22"
+  fails "Math.gamma returns exactly 22! given 23"
+  fails "Math.gamma returns approximately 23! given 24"
+  fails "Math.gamma returns approximately 24! given 25"
+  fails "Math.gamma returns approximately 25! given 26"
+  fails "Math.gamma returns approximately 26! given 27"
+  fails "Math.gamma returns approximately 27! given 28"
+  fails "Math.gamma returns approximately 28! given 29"
+  fails "Math.gamma returns approximately 29! given 30"
+  fails "Math.gamma returns good numerical approximation for gamma(3.2)"
+  fails "Math.gamma returns good numerical approximation for gamma(-2.15)"
+  fails "Math.gamma returns good numerical approximation for gamma(0.00001)"
+  fails "Math.gamma returns good numerical approximation for gamma(-0.00001)"
+  fails "Math.gamma raises Math::DomainError given -1"
+  fails "Math.gamma returns +infinity given +infinity"
+  fails "Math.gamma raises Math::DomainError given negative infinity"
+  fails "Math.gamma returns NaN given NaN"
+
+  fails "Math.lgamma returns [Infinity, 1] when passed 0"
+  fails "Math.lgamma returns [Infinity, 1] when passed -1"
+  fails "Math.lgamma returns [log(sqrt(PI)), 1] when passed 0.5"
+  fails "Math.lgamma returns [log(2/3*PI, 1] when passed 6.0"
+  fails "Math.lgamma returns an approximate value when passed -0.5"
+  fails "Math.lgamma returns an approximate value when passed -1.5"
+  fails "Math.lgamma raises Math::DomainError when passed -Infinity"
+  fails "Math.lgamma returns [Infinity, 1] when passed Infinity"
+  fails "Math.lgamma returns [NaN, 1] when passed NaN"
+end

data/spec/opal/filters/bugs/nil.rb

@@ -0,0 +1,7 @@
+opal_filter "nil" do
+  fails "NilClass#to_r returns 0/1"
+  fails "NilClass#to_c returns Complex(0, 0)"
+  fails "NilClass#rationalize raises ArgumentError when passed more than one argument"
+  fails "NilClass#rationalize ignores a single argument"
+  fails "NilClass#rationalize returns 0/1"
+end

data/spec/opal/filters/bugs/numeric.rb

@@ -0,0 +1,19 @@
+opal_filter "Fixnum bugs" do
+  fails "Integer#downto [stop] when self and stop are Fixnums raises a ArgumentError for invalid endpoints"
+
+  fails "Fixnum#to_s when no base given returns self converted to a String using base 10"
+
+  fails "Fixnum#zero? returns true if self is 0"
+end
+
+opal_filter "Fixnum#<< doesn't handle non-integers" do
+  fails "Fixnum#<< with n << m raises a TypeError when passed a String"
+  fails "Fixnum#<< with n << m raises a TypeError when passed nil"
+  fails "Fixnum#<< with n << m raises a TypeError when #to_int does not return an Integer"
+  fails "Fixnum#<< with n << m returns a Bignum == fixnum_min() * 2 when fixnum_min() << 1 and n < 0"
+  fails "Fixnum#<< with n << m returns a Bignum == fixnum_max() * 2 when fixnum_max() << 1 and n > 0"
+  fails "Fixnum#<< with n << m returns 0 when m < 0 and m is a Bignum"
+  fails "Fixnum#<< with n << m returns 0 when m < 0 and m == p where 2**p > n >= 2**(p-1)"
+  fails "Fixnum#<< with n << m returns n shifted right m bits when n < 0, m < 0"
+  fails "Fixnum#<< with n << m returns n shifted right m bits when n > 0, m < 0"
+end

data/spec/opal/filters/bugs/opal.rb

@@ -0,0 +1,12 @@
+opal_filter "Opal bugs" do
+  fails "Array#join raises a NoMethodError if an element does not respond to #to_str, #to_ary, or #to_s"
+
+  # arity checking bugs
+  fails "Array#shift passed a number n as an argument raises an ArgumentError if more arguments are passed"
+  fails "Array#pop passed a number n as an argument raises an ArgumentError if more arguments are passed"
+
+  # lacking regexp conversion
+  fails "String#index with Regexp supports \\G which matches at the given start offset"
+  fails "String#index with Regexp starts the search at the given offset"
+  fails "String#index with Regexp returns the index of the first match of regexp"
+end

data/spec/opal/filters/bugs/regexp.rb

@@ -1,7 +1,5 @@
 opal_filter "RegExp" do
   fails "Regexp#~ matches against the contents of $_"
-  fails "Regexp#match when passed a block returns the block result"
-  fails "Regexp#match when passed a block yields the MatchData"
   fails "Regexp#match uses the start as a character offset"
   fails "Regexp#match matches the input at a given position"
 end

data/spec/opal/filters/bugs/string.rb

@@ -1,42 +1,340 @@
 opal_filter "String" do
-  fails "String#capitalize is locale insensitive (only upcases a-z and only downcases A-Z)"
+  fails "String#=== ignores subclass differences"
+  fails "String#=== returns false if obj does not respond to to_str"
+  fails "String#=== returns obj == self if obj responds to to_str"
+  fails "String#=== returns obj == self if obj responds to to_str"
 
-  fails "String#center with length, padding raises an ArgumentError if padstr is empty"
-  fails "String#center with length, padding raises a TypeError when padstr can't be converted to a string"
-  fails "String#center with length, padding calls #to_str to convert padstr to a String"
-  fails "String#center with length, padding raises a TypeError when length can't be converted to an integer"
-  fails "String#center with length, padding calls #to_int to convert length to an integer"
-  fails "String#center with length, padding pads with whitespace if no padstr is given"
-  fails "String#center with length, padding returns a new string of specified length with self centered and padded with padstr"
+  fails "String#=~ raises a TypeError if a obj is a string"
 
-  fails "String#downcase is locale insensitive (only replaces A-Z)"
+  fails "String#[] calls to_int on the given index"
+  fails "String#[] calls to_int on the given index"
+  fails "String#[] raises a TypeError if the given index is nil"
+  fails "String#[] raises a TypeError if the given index can't be converted to an Integer"
+  fails "String#[] with index, length returns nil if the length is negative"
+  fails "String#[] with index, length calls to_int on the given index and the given length"
+  fails "String#[] with index, length calls to_int on the given index and the given length"
+  fails "String#[] with index, length raises a TypeError when idx or length can't be converted to an integer"
+  fails "String#[] with index, length raises a TypeError when the given index or the given length is nil"
+  fails "String#[] with Range returns nil if the beginning of the range falls outside of self"
+  fails "String#[] with Range calls to_int on range arguments"
+  fails "String#[] with Range calls to_int on range arguments"
+  fails "String#[] with Range handles repeated application"
+  fails "String#[] with Regexp returns the matching portion of self"
+  fails "String#[] with Regexp returns nil if there is no match"
+  fails "String#[] with Regexp sets $~ to MatchData when there is a match and nil when there's none"
+  fails "String#[] with Regexp, index returns the capture for the given index"
+  fails "String#[] with Regexp, index returns nil if there is no match"
+  fails "String#[] with Regexp, index returns nil if there is no capture for the given index"
+  fails "String#[] with Regexp, index calls to_int on the given index"
+  fails "String#[] with Regexp, index calls to_int on the given index"
+  fails "String#[] with Regexp, index raises a TypeError when the given index can't be converted to Integer"
+  fails "String#[] with Regexp, index raises a TypeError when the given index is nil"
+  fails "String#[] with Regexp, index sets $~ to MatchData when there is a match and nil when there's none"
+  fails "String#[] with String returns other_str if it occurs in self"
+  fails "String#[] with String returns nil if there is no match"
+  fails "String#[] with String doesn't call to_str on its argument"
+  fails "String#[] with String returns a subclass instance when given a subclass instance"
+
+  fails "String#dup does not copy constants defined in the singleton class"
 
   fails "String#end_with? converts its argument using :to_str"
   fails "String#end_with? returns true if other is empty"
 
+  fails "String#each_line passes self as a whole to the block if the separator is nil"
+  fails "String#each_line yields paragraphs (broken by 2 or more successive newlines) when passed ''"
+  fails "String#each_line uses $/ as the separator when none is given"
+  fails "String#each_line yields subclass instances for subclasses"
+  fails "String#each_line tries to convert the separator to a string using to_str"
+  fails "String#each_line tries to convert the separator to a string using to_str"
+  fails "String#each_line does not care if the string is modified while substituting"
+  fails "String#each_line raises a TypeError when the separator can't be converted to a string"
+  fails "String#each_line accept string separator"
+  fails "String#each_line raises a TypeError when the separator is a symbol"
+  fails "String#each_line returns an enumerator when no block given"
+
+  fails "String#gsub with pattern and replacement inserts the replacement around every character when the pattern collapses"
+  fails "String#gsub with pattern and replacement respects $KCODE when the pattern collapses"
+  fails "String#gsub with pattern and replacement doesn't freak out when replacing ^"
+  fails "String#gsub with pattern and replacement returns a copy of self with all occurrences of pattern replaced with replacement"
+  fails "String#gsub with pattern and replacement supports \\G which matches at the beginning of the remaining (non-matched) string"
+  fails "String#gsub with pattern and replacement replaces \\1 sequences with the regexp's corresponding capture"
+  fails "String#gsub with pattern and replacement treats \\1 sequences without corresponding captures as empty strings"
+  fails "String#gsub with pattern and replacement replaces \\& and \\0 with the complete match"
+  fails "String#gsub with pattern and replacement replaces \\` with everything before the current match"
+  fails "String#gsub with pattern and replacement replaces \\' with everything after the current match"
+  fails "String#gsub with pattern and replacement replaces \\+ with the last paren that actually matched"
+  fails "String#gsub with pattern and replacement treats \\+ as an empty string if there was no captures"
+  fails "String#gsub with pattern and replacement maps \\\\ in replacement to \\"
+  fails "String#gsub with pattern and replacement handles pattern collapse without $KCODE"
+  fails "String#gsub with pattern and replacement raises a TypeError when replacement can't be converted to a string"
+  fails "String#gsub with pattern and replacement sets $~ to MatchData of last match and nil when there's none"
+  fails "String#gsub with pattern and Hash returns a copy of self with all occurrences of pattern replaced with the value of the corresponding hash key"
+  fails "String#gsub with pattern and Hash ignores keys that don't correspond to matches"
+  fails "String#gsub with pattern and Hash returns an empty string if the pattern matches but the hash specifies no replacements"
+  fails "String#gsub with pattern and Hash ignores non-String keys"
+  fails "String#gsub with pattern and Hash uses a key's value as many times as needed"
+  fails "String#gsub with pattern and Hash uses the hash's default value for missing keys"
+  fails "String#gsub with pattern and Hash coerces the hash values with #to_s"
+  fails "String#gsub with pattern and Hash coerces the hash values with #to_s"
+  fails "String#gsub with pattern and Hash uses the hash's value set from default_proc for missing keys"
+  fails "String#gsub with pattern and Hash sets $~ to MatchData of last match and nil when there's none for access from outside"
+  fails "String#gsub with pattern and Hash doesn't interpolate special sequences like \\1 for the block's return value"
+  fails "String#gsub with pattern and block sets $~ for access from the block"
+  fails "String#gsub with pattern and block restores $~ after leaving the block"
+  fails "String#gsub with pattern and block sets $~ to MatchData of last match and nil when there's none for access from outside"
+
   fails "String#index raises a TypeError if passed a Symbol"
-  # we need regexp rewriting for these
-  fails "String#index with Regexp supports \\G which matches at the given start offset"
-  fails "String#index with Regexp starts the search at the given offset"
-  fails "String#index with Regexp returns the index of the first match of regexp"
 
   fails "String#intern does not special case certain operators"
   fails "String#intern special cases +(binary) and -(binary)"
 
-  fails "String#length returns the length of self"
-
   fails "String#lines should split on the default record separator and return enumerator if not block is given"
+  fails "String#lines splits using default newline separator when none is specified"
+  fails "String#lines splits self using the supplied record separator and passes each substring to the block"
+  fails "String#lines passes self as a whole to the block if the separator is nil"
+  fails "String#lines yields paragraphs (broken by 2 or more successive newlines) when passed ''"
+  fails "String#lines yields subclass instances for subclasses"
+  fails "String#lines returns self"
+  fails "String#lines tries to convert the separator to a string using to_str"
+  fails "String#lines tries to convert the separator to a string using to_str"
+  fails "String#lines does not care if the string is modified while substituting"
+  fails "String#lines raises a TypeError when the separator can't be converted to a string"
+  fails "String#lines accept string separator"
+  fails "String#lines raises a TypeError when the separator is a symbol"
+  fails "String#lines returns an array when no block given"
+
+  fails "String#lstrip returns a copy of self with leading whitespace removed"
+
+  fails "String#next returns the successor by increasing the rightmost alphanumeric (digit => digit, letter => letter with same case)"
+  fails "String#next increases the next best alphanumeric (jumping over non-alphanumerics) if there is a carry"
+  fails "String#next increases the next best character if there is a carry for non-alphanumerics"
+  fails "String#next adds an additional character (just left to the last increased one) if there is a carry and no character left to increase"
+
+  fails "String#partition with String accepts regexp"
+  fails "String#partition with String sets global vars if regexp used"
+  fails "String#partition with String converts its argument using :to_str"
+  fails "String#partition with String converts its argument using :to_str"
+  fails "String#partition with String raises error if not convertible to string"
 
-  fails "String#size returns the length of self"
+  fails "String#rindex with object raises a TypeError if obj isn't a String, Fixnum or Regexp"
+  fails "String#rindex with object tries to convert obj to a string via to_str"
+  fails "String#rindex with String ignores string subclasses"
+  fails "String#rindex with String returns nil if the substring isn't found"
+  fails "String#rindex with String raises a TypeError when given offset is nil"
+  fails "String#rindex with Regexp behaves the same as String#rindex(string) for escaped string regexps"
+  fails "String#rindex with Regexp returns the index of the first match from the end of string of regexp"
+  fails "String#rindex with Regexp sets $~ to MatchData of match and nil when there's none"
+  fails "String#rindex with Regexp starts the search at the given offset"
+  fails "String#rindex with Regexp supports \\G which matches at the given start offset"
+  fails "String#rindex with Regexp tries to convert start_offset to an integer via to_int"
+  fails "String#rindex with Regexp raises a TypeError when given offset is nil"
+
+  fails "String#rstrip returns a copy of self with trailing whitespace removed"
+  fails "String#rstrip returns a copy of self with all trailing whitespace and NULL bytes removed"
+
+  fails "String#slice calls to_int on the given index"
+  fails "String#slice calls to_int on the given index"
+  fails "String#slice raises a TypeError if the given index is nil"
+  fails "String#slice raises a TypeError if the given index can't be converted to an Integer"
+  fails "String#slice with index, length returns nil if the length is negative"
+  fails "String#slice with index, length calls to_int on the given index and the given length"
+  fails "String#slice with index, length calls to_int on the given index and the given length"
+  fails "String#slice with index, length raises a TypeError when idx or length can't be converted to an integer"
+  fails "String#slice with index, length raises a TypeError when the given index or the given length is nil"
+  fails "String#slice with Range returns nil if the beginning of the range falls outside of self"
+  fails "String#slice with Range calls to_int on range arguments"
+  fails "String#slice with Range calls to_int on range arguments"
+  fails "String#slice with Range handles repeated application"
+  fails "String#slice with Regexp returns the matching portion of self"
+  fails "String#slice with Regexp returns nil if there is no match"
+  fails "String#slice with Regexp sets $~ to MatchData when there is a match and nil when there's none"
+  fails "String#slice with Regexp, index returns the capture for the given index"
+  fails "String#slice with Regexp, index returns nil if there is no match"
+  fails "String#slice with Regexp, index returns nil if there is no capture for the given index"
+  fails "String#slice with Regexp, index calls to_int on the given index"
+  fails "String#slice with Regexp, index calls to_int on the given index"
+  fails "String#slice with Regexp, index raises a TypeError when the given index can't be converted to Integer"
+  fails "String#slice with Regexp, index raises a TypeError when the given index is nil"
+  fails "String#slice with Regexp, index sets $~ to MatchData when there is a match and nil when there's none"
+  fails "String#slice with String returns other_str if it occurs in self"
+  fails "String#slice with String returns nil if there is no match"
+  fails "String#slice with String doesn't call to_str on its argument"
+  fails "String#slice with String returns a subclass instance when given a subclass instance"
+  fails "String#slice with Regexp, group"
+
+  fails "String#split with String returns subclass instances based on self"
+  fails "String#split with Regexp divides self on regexp matches"
+  fails "String#split with Regexp treats negative limits as no limit"
+  fails "String#split with Regexp suppresses trailing empty fields when limit isn't given or 0"
+  fails "String#split with Regexp returns an array with one entry if limit is 1: the original string"
+  fails "String#split with Regexp returns at most limit fields when limit > 1"
+  fails "String#split with Regexp defaults to $; when regexp isn't given or nil"
+  fails "String#split with Regexp splits between characters when regexp matches a zero-length string"
+  fails "String#split with Regexp respects $KCODE when splitting between characters"
+  fails "String#split with Regexp includes all captures in the result array"
+  fails "String#split with Regexp does not include non-matching captures in the result array"
+  fails "String#split with Regexp tries converting limit to an integer via to_int"
+  fails "String#split with Regexp returns a type error if limit can't be converted to an integer"
+  fails "String#split with Regexp returns subclass instances based on self"
+  fails "String#split with Regexp does not call constructor on created subclass instances"
+  fails "String#split with String does not call constructor on created subclass instances"
+
+  fails "String#squeeze negates sets starting with ^"
+  fails "String#squeeze squeezes all chars in a sequence"
+  fails "String#squeeze raises an ArgumentError when the parameter is out of sequence"
 
   fails "String#start_with? ignores arguments not convertible to string"
   fails "String#start_with? converts its argument using :to_str"
 
+  fails "String#strip returns a new string with leading and trailing whitespace removed"
+  fails "String#strip returns a copy of self with trailing NULL bytes and whitespace"
+
+  fails "String#sub with pattern, replacement supports \\G which matches at the beginning of the string"
+  fails "String#sub with pattern, replacement replaces \\1 sequences with the regexp's corresponding capture"
+  fails "String#sub with pattern, replacement treats \\1 sequences without corresponding captures as empty strings"
+  fails "String#sub with pattern, replacement replaces \\& and \\0 with the complete match"
+  fails "String#sub with pattern, replacement replaces \\` with everything before the current match"
+  fails "String#sub with pattern, replacement replaces \\' with everything after the current match"
+  fails "String#sub with pattern, replacement replaces \\+ with the last paren that actually matched"
+  fails "String#sub with pattern, replacement treats \\+ as an empty string if there was no captures"
+  fails "String#sub with pattern, replacement maps \\\\ in replacement to \\"
+  fails "String#sub with pattern, replacement tries to convert pattern to a string using to_str"
+  fails "String#sub with pattern, replacement tries to convert pattern to a string using to_str"
+  fails "String#sub with pattern, replacement raises a TypeError when pattern can't be converted to a string"
+  fails "String#sub with pattern, replacement raises a TypeError when replacement can't be converted to a string"
+  fails "String#sub with pattern, replacement sets $~ to MatchData of match and nil when there's none"
+  fails "String#sub with pattern, replacement replaces \\1 with 1"
+  fails "String#sub with pattern, replacement replaces \\\\1 with \\1"
+  fails "String#sub with pattern and block sets $~ for access from the block"
+  fails "String#sub with pattern and block sets $~ to MatchData of last match and nil when there's none for access from outside"
+  fails "String#sub with pattern and block doesn't raise a RuntimeError if the string is modified while substituting"
+
+  fails "String#succ returns the successor by increasing the rightmost alphanumeric (digit => digit, letter => letter with same case)"
+  fails "String#succ increases the next best alphanumeric (jumping over non-alphanumerics) if there is a carry"
+  fails "String#succ increases the next best character if there is a carry for non-alphanumerics"
+  fails "String#succ adds an additional character (just left to the last increased one) if there is a carry and no character left to increase"
+
+  fails "String#sum returns a basic n-bit checksum of the characters in self"
+  fails "String#sum tries to convert n to an integer using to_int"
+  fails "String#sum tries to convert n to an integer using to_int"
+  fails "String#sum returns sum of the bytes in self if n less or equal to zero"
+
   fails "String#to_sym does not special case certain operators"
   fails "String#to_sym special cases +(binary) and -(binary)"
 
-  fails "String#upcase is locale insensitive (only replaces a-z)"
+  fails "String#tr raises a ArgumentError a descending range in the replacement as containing just the start character"
+  fails "String#tr raises a ArgumentError a descending range in the source as empty"
+  fails "String#tr translates chars not in from_string when it starts with a ^"
+  fails "String#tr tries to convert from_str and to_str to strings using to_str"
+  fails "String#tr tries to convert from_str and to_str to strings using to_str"
+
+  fails "String#tr_s translates chars not in from_string when it starts with a ^"
+  fails "String#tr_s tries to convert from_str and to_str to strings using to_str"
+
+  fails "String#sub with pattern, replacement replaces \\\\\\+ with \\\\+"
+  fails "String#sub with pattern, replacement replaces \\\\\1 with \\"
+  fails "String#sub with pattern, replacement replaces \\\1 with \1"
+
+  fails "String#casecmp independent of case for non-ASCII characters returns -1 when numerically less than other"
+  fails "String#casecmp independent of case for non-ASCII characters returns 1 when numerically greater than other"
+
+  fails "String#byteslice returns the character code of the character at the given index"
+  fails "String#byteslice returns nil if index is outside of self"
+  fails "String#byteslice calls to_int on the given index"
+  fails "String#byteslice raises a TypeError if the given index is nil"
+  fails "String#byteslice raises a TypeError if the given index can't be converted to an Integer"
+  fails "String#byteslice with index, length returns the substring starting at the given index with the given length"
+  fails "String#byteslice with index, length always taints resulting strings when self is tainted"
+  fails "String#byteslice with index, length returns nil if the offset falls outside of self"
+  fails "String#byteslice with index, length returns nil if the length is negative"
+  fails "String#byteslice with index, length calls to_int on the given index and the given length"
+  fails "String#byteslice with index, length raises a TypeError when idx or length can't be converted to an integer"
+  fails "String#byteslice with index, length raises a TypeError when the given index or the given length is nil"
+  fails "String#byteslice with index, length returns subclass instances"
+  fails "String#byteslice with index, length handles repeated application"
+  fails "String#byteslice with Range returns the substring given by the offsets of the range"
+  fails "String#byteslice with Range returns nil if the beginning of the range falls outside of self"
+  fails "String#byteslice with Range returns an empty string if range.begin is inside self and > real end"
+  fails "String#byteslice with Range always taints resulting strings when self is tainted"
+  fails "String#byteslice with Range returns subclass instances"
+  fails "String#byteslice with Range calls to_int on range arguments"
+  fails "String#byteslice with Range works with Range subclasses"
+  fails "String#byteslice with Range handles repeated application"
+
+  fails "String#count counts occurrences of chars from the intersection of the specified sets"
+  fails "String#count negates sets starting with ^"
+  fails "String#count counts all chars in a sequence"
+  fails "String#count raises if the given sequences are invalid"
+  fails "String#count calls #to_str to convert each set arg to a String"
+  fails "String#count raises a TypeError when a set arg can't be converted to a string"
+
+  fails "String#delete returns a new string with the chars from the intersection of sets removed"
+  fails "String#delete raises an ArgumentError when given no arguments"
+  fails "String#delete negates sets starting with ^"
+  fails "String#delete deletes all chars in a sequence"
+  fails "String#delete respects backslash for escaping a -"
+  fails "String#delete raises if the given ranges are invalid"
+  fails "String#delete taints result when self is tainted"
+  fails "String#delete tries to convert each set arg to a string using to_str"
+  fails "String#delete raises a TypeError when one set arg can't be converted to a string"
+  fails "String#delete returns subclass instances when called on a subclass"
+
+  fails "String#each_byte returns an enumerator when no block given"
+  fails "String#each_byte keeps iterating from the old position (to new string end) when self changes"
+  fails "String#each_byte passes each byte in self to the given block"
+
+  fails "String#== returns obj == self if obj responds to to_str"
+  fails "String#== returns false if obj does not respond to to_str"
+  fails "String#eql? when given a non-String returns false"
+
+  fails "String#hex treats leading characters of self as a string of hex digits"
+
+  fails "String#initialize with an argument raises a RuntimeError on a frozen instance when self-replacing"
+  fails "String#initialize with an argument raises a RuntimeError on a frozen instance that is modified"
+  fails "String#initialize with an argument raises a TypeError if other can't be converted to string"
+  fails "String#initialize with an argument tries to convert other to string using to_str"
+  fails "String#initialize with an argument replaces the encoding of self with that of other"
+  fails "String#initialize with an argument does not trust self if other is trusted"
+  fails "String#initialize with an argument untrusts self if other is untrusted"
+  fails "String#initialize with an argument does not untaint self if other is untainted"
+  fails "String#initialize with an argument taints self if other is tainted"
+  fails "String#initialize with an argument replaces the content of self with other"
+  fails "String#initialize with an argument returns self"
+  fails "String#initialize with no arguments does not raise an exception when frozen"
+  fails "String#initialize is a private method"
+
+  fails "String#* always taints the result when self is tainted"
+  fails "String#* returns subclass instances"
+  fails "String#* raises a RangeError when given integer is a Bignum"
+  fails "String#* raises an ArgumentError when given integer is negative"
+  fails "String#* tries to convert the given argument to an integer using to_int"
+
+  fails "String.new returns a binary String"
+  fails "String.new raises TypeError on inconvertible object"
+  fails "String.new is called on subclasses"
+  fails "String.new returns an instance of a subclass"
+  fails "String.new returns a new string given a string argument"
+  fails "String.new returns a fully-formed String"
+
+  fails "String#+ taints the result when self or other is tainted"
+  fails "String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses self's encoding if both are empty"
+  fails "String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses self's encoding if the argument is empty"
+  fails "String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding uses the argument's encoding if self is empty"
+  fails "String#+ when self is in an ASCII-incompatible encoding incompatible with the argument's encoding raises Encoding::CompatibilityError if neither are empty"
+  fails "String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses self's encoding if both are empty"
+  fails "String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses self's encoding if the argument is empty"
+  fails "String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding uses the argument's encoding if self is empty"
+  fails "String#+ when the argument is in an ASCII-incompatible encoding incompatible with self's encoding raises Encoding::CompatibilityError if neither are empty"
+  fails "String#+ when self and the argument are in different ASCII-compatible encodings uses self's encoding if both are ASCII-only"
+  fails "String#+ when self and the argument are in different ASCII-compatible encodings uses self's encoding if the argument is ASCII-only"
+  fails "String#+ when self and the argument are in different ASCII-compatible encodings uses the argument's encoding if self is ASCII-only"
+  fails "String#+ when self and the argument are in different ASCII-compatible encodings raises Encoding::CompatibilityError if neither are ASCII-only"
+  fails "String#+ when self is ASCII-8BIT and argument is US-ASCII uses ASCII-8BIT encoding"
 
-  # 1.9.3 => 2.0
-  fails "String#end_with? ignores arguments not convertible to string"
+  fails "String#rpartition with String raises error if not convertible to string"
+  fails "String#rpartition with String converts its argument using :to_str"
+  fails "String#rpartition with String affects $~"
+  fails "String#rpartition with String accepts regexp"
+  fails "String#rpartition with String always returns 3 elements"
+  fails "String#rpartition with String returns an array of substrings based on splitting on the given string"
 end