opal 1.2.0.beta1 → 1.2.0

data/opal/corelib/hash.rb

@@ -476,6 +476,15 @@ class Hash
 
   alias eql? ==
 
+  def except(*keys)
+    dup.except!(*keys)
+  end
+
+  def except!(*keys)
+    keys.each { |key| delete(key) }
+    self
+  end
+
   def fetch(key, defaults = undefined, &block)
     %x{
       var value = Opal.hash_get(self, key);

data/opal/corelib/pattern_matching.rb

@@ -0,0 +1,159 @@
+# A "userland" implementation of pattern matching for Opal
+
+class PatternMatching
+  def self.call(from, pattern)
+    pm = new(from, pattern)
+    pm.match || (return nil)
+    pm.returns
+  end
+
+  def initialize(from, pattern)
+    @from, @pattern = from, pattern
+    @returns = []
+  end
+
+  attr_reader :returns
+
+  def match(from = @from, pattern = @pattern)
+    if pattern == :var
+      @returns << from
+      true
+    else # Pattern is otherwise an Array
+      type, *args = *pattern
+
+      case type
+      when :save # from =>
+        @returns << from
+        match(from, args[0])
+      when :lit # 3, 4, :a, (1..), ... (but also ^a)
+        args[0] === from
+      when :any # a | b
+        args.any? { |arg| match(from, arg) }
+      when :all # Array(1) which works as Array & [1] (& doesn't exist though...)
+        args.all? { |arg| match(from, arg) }
+      when :array # [...]
+        fixed_size, array_size, array_match = *args
+        return false unless from.respond_to? :deconstruct
+        a = from.deconstruct
+        return false if fixed_size && a.length != array_size
+        return false if a.length < array_size
+
+        skip_elems = 0
+        skip_rests = 0
+
+        array_match.each_with_index.all? do |elem, i|
+          type, *args = elem
+          case type
+          when :rest
+            skip_elems = a.size - array_size
+            skip_rests = 1
+            match(a[i...i + skip_elems], args[0]) if args[0] # :save?
+            true
+          else
+            match(a[i + skip_elems - skip_rests], elem)
+          end
+        end
+      when :find # [*, a, b, *]
+        find_match, = *args
+        first, *find_match, last = *find_match
+        pattern_length = find_match.length
+
+        return false unless from.respond_to? :deconstruct
+        a = from.deconstruct
+        a_length = a.length
+        return false if a_length < pattern_length
+
+        # We will save the backup of returns, to be restored
+        # on each iteration to try again.
+        returns_backup = @returns.dup
+
+        # Extract the capture info from first and last.
+        # Both are of a form [:rest], or [:rest, :var].
+        # So our new variables will be either :var, or nil.
+        first, last = first[1], last[1]
+
+        # Let's try to match each possibility...
+        # [A, B, c, d], [a, B, C, d], [a, b, C, D]
+        iterations = a_length - pattern_length + 1
+
+        iterations.times.any? do |skip|
+          first_part = a[0, skip]
+          content = a[skip, pattern_length]
+          last_part = a[skip + pattern_length..-1]
+
+          match(first_part, first) if first
+          success = content.each_with_index.all? do |e, i|
+            match(e, find_match[i])
+          end
+          match(last_part, last) if last
+
+          # Match failed. Let's not return anything.
+          @returns = returns_backup.dup unless success
+
+          success
+        end
+      when :hash # {...}
+        any_size, hash_match = *args
+
+        hash_match = hash_match.to_h
+
+        return false unless from.respond_to? :deconstruct_keys
+
+        if any_size && any_size != true # a => {a:, **other}
+          a = from.deconstruct_keys(nil) #          ^^^^^^^
+        else
+          a = from.deconstruct_keys(hash_match.keys)
+        end
+
+        hash_match.all? do |k, v|
+          return false unless a.key? k
+          match(a[k], v)
+        end || (return false)
+
+        if any_size && any_size != true
+          match(a.except(*hash_match.keys), args[0])
+        elsif !any_size
+          return false unless a.except(*hash_match.keys).empty?
+        end
+
+        true
+      end
+    end
+  end
+end
+
+class Array
+  def deconstruct
+    self
+  end
+end
+
+class Hash
+  def deconstruct_keys(_)
+    self
+  end
+end
+
+class Struct
+  alias deconstruct to_a
+  # This function is specified in a very weird way...
+  def deconstruct_keys(keys)
+    return to_h if keys.nil?
+    raise TypeError, 'expected Array or nil' unless Array === keys
+    return {} if keys.length > values.length
+    out = {}
+    keys.each do |key|
+      should_break = case key
+                     when Integer
+                       values.length < key
+                     when Symbol # Or String? Doesn't matter, we're in Opal.
+                       !members.include?(key)
+                     end
+      break if should_break
+      out[key] = self[key]
+    end
+    out
+  end
+end
+
+class NoMatchingPatternError < StandardError; end

data/opal/opal/full.rb

@@ -2,3 +2,4 @@ require 'corelib/marshal'
 require 'corelib/string/unpack'
 require 'corelib/array/pack'
 require 'corelib/object_space'
+require 'corelib/pattern_matching'

data/spec/filters/bugs/array.rb

@@ -19,7 +19,6 @@ opal_filter "Array" do
   fails "Array#[]= with [m..] just sets the section defined by range to nil if m and n < 0 and the rhs is nil" # Opal::SyntaxError: undefined method `type' for nil
   fails "Array#[]= with [m..] replaces the section defined by range" # Opal::SyntaxError: undefined method `type' for nil
   fails "Array#[]= with [m..] replaces the section if m and n < 0" # Opal::SyntaxError: undefined method `type' for nil
-  fails "Array#deconstruct returns self" # NoMethodError: undefined method `deconstruct' for [1]
   fails "Array#drop raises a TypeError when the passed argument can't be coerced to Integer" # Expected TypeError but no exception was raised ([1, 2] was returned)
   fails "Array#drop raises a TypeError when the passed argument isn't an integer and #to_int returns non-Integer" # Expected TypeError but no exception was raised ([1, 2] was returned)
   fails "Array#drop tries to convert the passed argument to an Integer using #to_int" # Expected [1, 2, 3] == [3] to be truthy but was false

data/spec/filters/bugs/hash.rb

@@ -9,9 +9,7 @@ opal_filter "Hash" do
   fails "Hash#[]= does not dispatch to hash for Boolean, Integer, Float, String, or Symbol" # NoMethodError: undefined method `insert' for "rubyexe.rb"
   fails "Hash#[]= keeps the existing String key in the hash if there is a matching one" # Expected "foo" not to be identical to "foo"
   fails "Hash#compare_by_identity gives different identity for string literals" # Expected [2] to equal [1, 2]
-  fails "Hash#deconstruct_keys ignores argument" # NoMethodError: undefined method `deconstruct_keys' for {"a"=>1, "b"=>2}
-  fails "Hash#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: NoMethodError (undefined method `deconstruct_keys' for {"a"=>1})
-  fails "Hash#deconstruct_keys returns self" # NoMethodError: undefined method `deconstruct_keys' for {"a"=>1, "b"=>2}
+  fails "Hash#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: ArgumentError ([Hash#deconstruct_keys] wrong number of arguments(0 for 1))
   fails "Hash#delete allows removing a key while iterating" # Exception: Cannot read property '$$is_string' of undefined
   fails "Hash#each always yields an Array of 2 elements, even when given a callable of arity 2" # Expected ArgumentError but no exception was raised ({"a"=>1} was returned)
   fails "Hash#each yields 2 values and not an Array of 2 elements when given a callable of arity 2" # ArgumentError: [Object#foo] wrong number of arguments(1 for 2)
@@ -21,9 +19,6 @@ opal_filter "Hash" do
   fails "Hash#eql? computes equality for complex recursive hashes"
   fails "Hash#eql? computes equality for recursive hashes & arrays"
   fails "Hash#except always returns a Hash without a default" # NoMethodError: undefined method `except' for {"bar"=>12, "foo"=>42}
-  fails "Hash#except ignores keys not present in the original hash" # NoMethodError: undefined method `except' for {"a"=>1, "b"=>2, "c"=>3}
-  fails "Hash#except returns a hash without the requested subset" # NoMethodError: undefined method `except' for {"a"=>1, "b"=>2, "c"=>3}
-  fails "Hash#except returns a new duplicate hash without arguments" # NoMethodError: undefined method `except' for {"a"=>1, "b"=>2, "c"=>3}
   fails "Hash#inspect calls #to_s on the object returned from #inspect if the Object isn't a String" # Expected "{\"a\"=>abc}" to equal "{:a=>abc}"
   fails "Hash#inspect does not call #to_s on a String returned from #inspect" # Expected "{\"a\"=>\"abc\"}" to equal "{:a=>\"abc\"}"
   fails "Hash#inspect does not call #to_str on the object returned from #inspect when it is not a String" # Expected "{\"a\"=>#<MockObject:0x30638>}" to match /^\{:a=>#<MockObject:0x[0-9a-f]+>\}$/

data/spec/filters/bugs/language.rb

@@ -23,10 +23,8 @@ opal_filter "language" do
   fails "A block yielded a single Array raises a TypeError if #to_hash does not return a Hash"
   fails "A block yielded a single Array when non-symbol keys are in a keyword arguments Hash does not separate non-symbol keys and symbol keys and does not autosplat" # Expected [nil, {"a"=>10, "b"=>2}] == [[{"a"=>10, "b"=>2}], {}] to be truthy but was false
   fails "A block yielded a single Array when non-symbol keys are in a keyword arguments Hash separates non-symbol keys and symbol keys" # Expected [nil, {"a"=>10, "b"=>2}] to equal [{"a"=>10}, {"b"=>2}]
-  fails "A class definition allows using self as the superclass if self is a class"
   fails "A class definition extending an object (sclass) allows accessing the block of the original scope" # Opal::SyntaxError: undefined method `uses_block!' for nil
   fails "A class definition extending an object (sclass) can use return to cause the enclosing method to return"
-  fails "A class definition extending an object (sclass) raises a TypeError when trying to extend non-Class" # Expected TypeError (/superclass must be a.* Class/) but no exception was raised (nil was returned)
   fails "A class definition extending an object (sclass) raises a TypeError when trying to extend numbers"
   fails "A class definition raises TypeError if any constant qualifying the class is not a Module"
   fails "A class definition raises TypeError if the constant qualifying the class is nil"
@@ -116,6 +114,7 @@ opal_filter "language" do
   fails "Global variable $\" is read-only"
   fails "Hash literal checks duplicated keys on initialization" # Expected warning to match: /key 1000 is duplicated|duplicated key/ but got: ""
   fails "Hash literal expands a BasicObject using ** into the containing Hash literal initialization" # NoMethodError: undefined method `respond_to?' for BasicObject
+  fails "Hash#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: ArgumentError ([Hash#deconstruct_keys] wrong number of arguments(0 for 1))
   fails "Heredoc string allow HEREDOC with <<\"identifier\", interpolated" # Expected #<Encoding:UTF-16LE> to equal #<Encoding:ASCII-8BIT (dummy)>
   fails "Heredoc string allows HEREDOC with <<'identifier', no interpolation" # Expected #<Encoding:UTF-16LE> to equal #<Encoding:ASCII-8BIT (dummy)>
   fails "Heredoc string allows HEREDOC with <<-'identifier', allowing to indent identifier, no interpolation" # Expected #<Encoding:UTF-16LE> to equal #<Encoding:ASCII-8BIT (dummy)>
@@ -208,84 +207,29 @@ opal_filter "language" do
   fails "Optional variable assignments using compounded constants with &&= assignments" # Expected warning to match: /already initialized constant/ but got: ""
   fails "Optional variable assignments using compounded constants with operator assignments" # Expected warning to match: /already initialized constant/ but got: ""
   fails "Optional variable assignments using compunded constants with ||= assignments"
-  fails "Pattern matching AS pattern binds a variable to a value if pattern matches" # Opal::SyntaxError: `n' is not allowed as a local variable name
-  fails "Pattern matching AS pattern can be used as a nested pattern" # Opal::SyntaxError: `ary' is not allowed as a local variable name
-  fails "Pattern matching Array pattern accepts a subclass of Array from #deconstruct" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern binds variables" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching Array pattern calls #deconstruct even on objects that are already an array" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern calls #deconstruct once for multiple patterns, caching the result" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern does match partially from the array beginning if list + , syntax used" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern does not match object if Constant === object returns false" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern does not match object if elements of array returned by #deconstruct method does not match elements in pattern" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern does not match object without #deconstruct method" # Mock '#<Object:0x75326>' expected to receive respond_to?("deconstruct") exactly 1 times but received it 0 times
-  fails "Pattern matching Array pattern does not match partially by default" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern matches [] with []" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern matches an object with #deconstruct method which returns an array and each element in array matches element in pattern" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern matches anything with *" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern raises TypeError if #deconstruct method does not return array" # Expected TypeError (/deconstruct must return Array/) but got: Opal::SyntaxError (Unsupported sexp: case_match)
-  fails "Pattern matching Array pattern supports form Constant(pat, pat, ...)" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern supports form Constant[pat, pat, ...]" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern supports form [pat, pat, ...]" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern supports form pat, pat, ..." # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Array pattern supports splat operator *rest" # Opal::SyntaxError: `rest' is not allowed as a local variable name
-  fails "Pattern matching Hash pattern binds variables" # Opal::SyntaxError: `x' is not allowed as a local variable name
-  fails "Pattern matching Hash pattern calls #deconstruct_keys per pattern" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern can match partially" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern can mix key (a:) and key-value (a: b) declarations" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching Hash pattern does not match object if #deconstruct_keys method does not return Hash" # Expected TypeError (/deconstruct_keys must return Hash/) but got: Opal::SyntaxError (Unsupported sexp: case_match)
-  fails "Pattern matching Hash pattern does not match object if #deconstruct_keys method returns Hash with non-symbol keys" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern does not match object if Constant === object returns false" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern does not match object if elements of Hash returned by #deconstruct_keys method does not match values in pattern" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern does not match object without #deconstruct_keys method" # Mock '#<Object:0x78c14>' expected to receive respond_to?("deconstruct_keys") exactly 1 times but received it 0 times
-  fails "Pattern matching Hash pattern matches an object with #deconstruct_keys method which returns a Hash with equal keys and each value in Hash matches value in pattern" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern matches anything with **" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern matches {} with {}" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern passes keys specified in pattern as arguments to #deconstruct_keys method" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern passes keys specified in pattern to #deconstruct_keys method if pattern contains double splat operator **" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern passes nil to #deconstruct_keys method if pattern contains double splat operator **rest" # Opal::SyntaxError: `rest' is not allowed as a local variable name
+  fails "Pattern matching Array pattern accepts a subclass of Array from #deconstruct" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Array pattern calls #deconstruct even on objects that are already an array" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Array pattern calls #deconstruct once for multiple patterns, caching the result" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Array pattern does not match object if elements of array returned by #deconstruct method does not match elements in pattern" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Array pattern does not match object without #deconstruct method" # Mock '#<Object:0x239ca>' expected to receive respond_to?("deconstruct") exactly 1 times but received it 0 times
+  fails "Pattern matching Array pattern matches an object with #deconstruct method which returns an array and each element in array matches element in pattern" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Array pattern raises TypeError if #deconstruct method does not return array" # Expected TypeError (/deconstruct must return Array/) but got: NoMethodError (undefined method `obj' for #<MSpecEnv:0x1af0a>)
+  fails "Pattern matching Hash pattern calls #deconstruct_keys per pattern" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern does not match object if #deconstruct_keys method does not return Hash" # Expected TypeError (/deconstruct_keys must return Hash/) but got: NoMethodError (undefined method `obj' for #<MSpecEnv:0x1af0a>)
+  fails "Pattern matching Hash pattern does not match object if #deconstruct_keys method returns Hash with non-symbol keys" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern does not match object if elements of Hash returned by #deconstruct_keys method does not match values in pattern" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern does not match object without #deconstruct_keys method" # Mock '#<Object:0x29382>' expected to receive respond_to?("deconstruct_keys") exactly 1 times but received it 0 times
+  fails "Pattern matching Hash pattern matches an object with #deconstruct_keys method which returns a Hash with equal keys and each value in Hash matches value in pattern" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern passes keys specified in pattern as arguments to #deconstruct_keys method" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern passes keys specified in pattern to #deconstruct_keys method if pattern contains double splat operator **" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
+  fails "Pattern matching Hash pattern passes nil to #deconstruct_keys method if pattern contains double splat operator **rest" # NoMethodError: undefined method `obj' for #<MSpecEnv:0x1af0a>
   fails "Pattern matching Hash pattern raise SyntaxError when keys duplicate in pattern" # Expected SyntaxError (/duplicated key name/) but got: Opal::SyntaxError (duplicate hash pattern key a)
-  fails "Pattern matching Hash pattern supports 'string': key literal" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern supports a: which means a: a" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching Hash pattern supports double splat operator **rest" # Opal::SyntaxError: `rest' is not allowed as a local variable name
-  fails "Pattern matching Hash pattern supports form Constant(id: pat, id: pat, ...)" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern supports form Constant[id: pat, id: pat, ...]" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern supports form id: pat, id: pat, ..." # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern supports form {id: pat, id: pat, ...}" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching Hash pattern treats **nil like there should not be any other keys in a matched Hash" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching allows using then operator" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching alternative pattern does not support variable binding" # Expected SyntaxError (/illegal variable in alternative pattern/) but got: Opal::SyntaxError (`a' is not allowed as a local variable name)
-  fails "Pattern matching alternative pattern matches if any of patterns matches" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching alternative pattern support underscore prefixed variables in alternation" # Opal::SyntaxError: `_' is not allowed as a local variable name
-  fails "Pattern matching binds variables" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching can be standalone assoc operator that deconstructs value" # Opal::SyntaxError: `a' is not allowed as a local variable name
+  fails "Pattern matching alternative pattern does not support variable binding" # Expected SyntaxError (/illegal variable in alternative pattern/) but no exception was raised (nil was returned)
   fails "Pattern matching cannot mix in and when operators" # Expected SyntaxError (/syntax error, unexpected `in'/) but got: Opal::SyntaxError (unexpected token kIN)
-  fails "Pattern matching checks patterns until the first matching" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching evaluates the case expression once for multiple patterns, caching the result" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching executes else clause if no pattern matches" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching extends case expression with case/in construction" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching guards does not evaluate guard if pattern does not match" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching guards executes else clause if no guarded pattern matches" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching guards makes bound variables visible in guard" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching guards raises NoMatchingPatternError if no guarded pattern matches and no else clause" # NameError: uninitialized constant NoMatchingPatternError
-  fails "Pattern matching guards supports if guard" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching guards supports unless guard" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching guards takes guards into account when there are several matching patterns" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching raises NoMatchingPatternError if no pattern matches and no else clause" # NameError: uninitialized constant NoMatchingPatternError
-  fails "Pattern matching refinements are used for #=== in constant pattern" # NoMethodError: undefined method `refine' for #<Module:0x79d4c>
-  fails "Pattern matching refinements are used for #deconstruct" # NoMethodError: undefined method `refine' for #<Module:0x79d50>
-  fails "Pattern matching refinements are used for #deconstruct_keys" # NoMethodError: undefined method `refine' for #<Module:0x79d54>
-  fails "Pattern matching value pattern allows string literal with interpolation" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching value pattern matches an object such that pattern === object" # Opal::SyntaxError: Unsupported sexp: case_match
-  fails "Pattern matching variable pattern allow using _ name to drop values" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching variable pattern allows applying ^ operator to bound variables" # Opal::SyntaxError: `n' is not allowed as a local variable name
-  fails "Pattern matching variable pattern create local variables even if a pattern doesn't match" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching variable pattern does not support using variable name (except _) several times" # Expected SyntaxError (/duplicated variable name/) but got: Opal::SyntaxError (`a' is not allowed as a local variable name)
-  fails "Pattern matching variable pattern makes bounded variable visible outside a case statement scope" # Opal::SyntaxError: `a' is not allowed as a local variable name
-  fails "Pattern matching variable pattern matches a value and binds variable name to this value" # Opal::SyntaxError: `a' is not allowed as a local variable name
+  fails "Pattern matching variable pattern allows applying ^ operator to bound variables" # NoMatchingPatternError: [1, 1]
+  fails "Pattern matching variable pattern does not support using variable name (except _) several times" # Expected SyntaxError (/duplicated variable name/) but got: Opal::SyntaxError (duplicate variable name a)
   fails "Pattern matching variable pattern requires bound variable to be specified in a pattern before ^ operator when it relies on a bound variable" # Expected SyntaxError (/n: no such local variable/) but got: Opal::SyntaxError (no such local variable: `n')
   fails "Pattern matching variable pattern supports existing variables in a pattern specified with ^ operator" # Opal::SyntaxError: no such local variable: `a'
-  fails "Pattern matching variable pattern supports using _ in a pattern several times" # Opal::SyntaxError: `_' is not allowed as a local variable name
-  fails "Pattern matching variable pattern supports using any name with _ at the beginning in a pattern several times" # Opal::SyntaxError: `_x' is not allowed as a local variable name
   fails "Pattern matching warning warns about pattern matching is experimental feature" # NameError: uninitialized constant Warning
   fails "Post-args with optional args with a circular argument reference shadows an existing local with the same name as the argument"
   fails "Post-args with optional args with a circular argument reference shadows an existing method with the same name as the argument"
@@ -319,6 +263,7 @@ opal_filter "language" do
   fails "Safe navigator allows assignment methods"
   fails "Safe navigator allows assignment operators"
   fails "Safe navigator does not call the operator method lazily with an assignment operator"
+  fails "Struct#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: ArgumentError ([#deconstruct_keys] wrong number of arguments(0 for 1))  
   fails "The =~ operator with named captures on syntax of 'string_literal' =~ /regexp/ does not set local variables" # Exception: named captures are not supported in javascript: "(?<matched>foo)(?<unmatched>bar)?"
   fails "The =~ operator with named captures on syntax of /regexp/ =~ string_variable sets local variables by the captured pairs"
   fails "The =~ operator with named captures on syntax of regexp_variable =~ string_variable does not set local variables"

data/spec/filters/bugs/string.rb

@@ -299,4 +299,5 @@ opal_filter "String" do
   fails "String#valid_encoding? returns true for IBM720 encoding self is valid in" # ArgumentError: unknown encoding name - IBM720
   fails "String.new accepts an encoding argument" # ArgumentError: [String.new] wrong number of arguments(2 for -1)
   fails "String.new is called on subclasses" # Expected nil to equal "subclass"
+  fails "Struct#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: ArgumentError ([#deconstruct_keys] wrong number of arguments(0 for 1))
 end

data/spec/filters/bugs/struct.rb

@@ -1,15 +1,5 @@
 # NOTE: run bin/format-filters after changing this file
 opal_filter "Struct" do
-  fails "Struct#deconstruct returns an array of attribute values" # NoMethodError: undefined method `deconstruct' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys accepts argument position number as well but returns them as keys" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=10, y=20, z=30>
-  fails "Struct#deconstruct_keys accepts nil argument and return all the attributes" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys accepts string attribute names" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys raise TypeError if passed anything accept nil or array" # Expected TypeError (/expected Array or nil/) but got: NoMethodError (undefined method `deconstruct_keys' for #<struct x=1, y=2>)
-  fails "Struct#deconstruct_keys requires one argument" # Expected ArgumentError (/wrong number of arguments \(given 0, expected 1\)/) but got: NoMethodError (undefined method `deconstruct_keys' for #<struct x=1>)
-  fails "Struct#deconstruct_keys returns a hash of attributes" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys returns an empty hash when there are more keys than attributes" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys returns at first not existing attribute name" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2>
-  fails "Struct#deconstruct_keys returns only specified keys" # NoMethodError: undefined method `deconstruct_keys' for #<struct x=1, y=2, z=3>
   fails "Struct#dig returns the value by the index" # Expected nil == "one" to be truthy but was false
   fails "Struct#hash returns different hashes for different struct classes" # Expected "Hash" != "Hash" to be truthy but was false
   fails "Struct#hash returns different hashes for structs with different values when using keyword_init: true" # NameError: wrong constant name 1 non symbol member

data/spec/filters/unsupported/refinements.rb

@@ -2,4 +2,7 @@
 opal_unsupported_filter "Refinements" do
   fails "Kernel#eval with refinements activates refinements from the binding" # NoMethodError: undefined method `refine' for #<Module:0x7ad6a>
   fails "Kernel#eval with refinements activates refinements from the eval scope" # NoMethodError: undefined method `refine' for #<Module:0x7ad6e>
+  fails "Pattern matching refinements are used for #=== in constant pattern" # NoMethodError: undefined method `refine' for #<Module:0x46556>
+  fails "Pattern matching refinements are used for #deconstruct" # NoMethodError: undefined method `refine' for #<Module:0x4655e>
+  fails "Pattern matching refinements are used for #deconstruct_keys" # NoMethodError: undefined method `refine' for #<Module:0x4655a>
 end

data/spec/opal/core/language/pattern_matching_spec.rb

@@ -0,0 +1,124 @@
+require 'spec_helper'
+
+describe "pattern matching" do
+  it "supports basic assignment" do
+    5 => a
+    a.should == 5
+  end
+
+  it "supports array pattern" do
+    [1,2,3,4] => [1,2,*rest]
+    rest.should == [3,4]
+    [1,2,3,4] => [*rest,3,x]
+    rest.should == [1,2]
+    x.should == 4
+  end
+
+  it "supports hash pattern" do
+    {a: 4} => {a:}
+    a.should == 4
+    {a: 4, b: 6} => {b:}
+    b.should == 6
+    {a: 1, b: 2, c: 3} => {a: 1, **rest}
+    rest.should == {b: 2, c: 3}
+  end
+
+  it "supports pinning" do
+    a = 6
+    6 => ^a
+    a.should == 6
+  end
+
+  it "supports a lambda literal" do
+    [6, 7] => [->(a) { a == 6 }, b]
+    b.should == 7
+  end
+
+  it "supports constants" do
+    [6, 7, 8] => [Integer, a, Integer]
+    a.should == 7
+  end
+
+  it "supports regexps" do
+    "test" => /e(s)t/
+    $1.should == 's'
+  end
+
+  it "supports save pattern" do
+    [6, 7, 8] => [Integer=>a, Integer=>b, Integer=>c]
+    [a,b,c].should == [6, 7, 8]
+  end
+
+  it "supports find pattern with save" do
+    [1, 2, 3, 4, 5] => [*before, 3 => three, 4 => four, *after]
+    before.should == [1,2]
+    three.should == 3
+    four.should == 4
+    after.should == [5]
+  end
+
+  it "supports custom classes" do
+    class TotallyArrayOrHashLike
+      def deconstruct
+        [1,2,3]
+      end
+
+      def deconstruct_keys(_)
+        {a: 1, b: 2}
+      end
+    end
+
+    TotallyArrayOrHashLike.new => TotallyArrayOrHashLike[*array]
+    array.should == [1,2,3]
+
+    TotallyArrayOrHashLike.new => TotallyArrayOrHashLike(**hash)
+    hash.should == {a: 1, b: 2}
+  end
+
+  it "supports case expressions" do
+    case 4
+    in 4
+      z = true
+    in 5
+      z = false
+    end
+
+    z.should == true
+  end
+
+  it "supports case expressions with guards" do
+    case 4
+    in 4 if false
+      z = true
+    in 4 if true
+      z = false
+    end
+
+    z.should == false
+  end
+
+  it "raises if case expression is unmatched" do
+    proc do
+      case 4
+      in 5
+        :test
+      end
+    end.should raise_error NoMatchingPatternError
+  end
+
+  it "doesn't raise when else in a case expression is present" do
+    case 4
+    in 5
+      z = true
+    else
+      z = false
+    end
+
+    z.should == false
+  end
+
+  it "doesn't raise or set variables if an in expression is unmatched" do
+    4 in String => a
+    a.should == nil
+  end
+end