goodguide-gibbon 0.3.7 → 0.3.8

data/lib/goodguide/gibbon/version.rb

@@ -1,7 +1,7 @@
 module GoodGuide
   module Gibbon
     def self.version
-      '0.3.7'
+      '0.3.8'
     end
   end
 end

data/lib/goodguide/gibbon.rb

@@ -71,14 +71,20 @@ module GoodGuide
       end
 
     private
+      def inspect_expr(expr)
+        obj = JS.default.gibbon[:TypeExpr].fromJSON(expr)
+        inspect = obj[:inspect]
+        inspect.methodcall(obj)
+      end
+
       def semantic_error_message(e)
         case e['_tag']
         when 'match'
-          lhs = e['lhs'].inspect
-          rhs = e['rhs'].inspect
+          lhs = inspect_expr e['lhs']
+          rhs = inspect_expr e['rhs']
           "could not match #{lhs} with #{rhs}"
         when 'destructure'
-          type = e['type'].inspect
+          type = inspect_expr e['type']
           "could not destructure #{type}"
         when 'lookup'
           query_name = e['query']['name']

data/vendor/gibbon/lib/gibbon.browser.dev.js

@@ -1219,7 +1219,7 @@ parse = Gibbon.parse = (function() {
   return parse;
 })();
 // Generated by CoffeeScript 1.6.3
-var Semantic, Type, TypeLookup, analyze, _ref, _ref1, _ref2,
+var Semantic, Type, TypeExpr, TypeLookup, analyze, _ref, _ref1, _ref2, _ref3,
   __hasProp = {}.hasOwnProperty,
   __extends = function(child, parent) { for (var key in parent) { if (__hasProp.call(parent, key)) child[key] = parent[key]; } function ctor() { this.constructor = child; } ctor.prototype = parent.prototype; child.prototype = new ctor(); child.__super__ = parent.prototype; return child; },
   __slice = [].slice;
@@ -1311,243 +1311,244 @@ Gibbon.Type = Type = (function(_super) {
 
 })(Union);
 
-analyze = Gibbon.analyze = (function() {
-  var TypeExpr, generate, solve, _ref3;
-  TypeExpr = (function(_super) {
-    __extends(TypeExpr, _super);
+Gibbon.TypeExpr = TypeExpr = (function(_super) {
+  __extends(TypeExpr, _super);
 
-    function TypeExpr() {
-      _ref3 = TypeExpr.__super__.constructor.apply(this, arguments);
-      return _ref3;
-    }
+  function TypeExpr() {
+    _ref3 = TypeExpr.__super__.constructor.apply(this, arguments);
+    return _ref3;
+  }
+
+  TypeExpr.types({
+    expr: ['expr'],
+    variable: ['name'],
+    query: ['input', 'scope', 'query'],
+    destructure: ['constraint', 'name', 'argnum'],
+    "native": ['id'],
+    param: ['name', 'constraints'],
+    error: ['type', 'args'],
+    any: []
+  });
 
-    TypeExpr.types({
-      expr: ['expr'],
-      variable: ['name'],
-      query: ['input', 'scope', 'query'],
-      destructure: ['constraint', 'name', 'argnum'],
-      "native": ['id'],
-      param: ['name', 'constraints'],
-      error: ['type', 'args'],
-      any: []
+  TypeExpr.prototype.realize = function() {
+    return this.cases({
+      "native": function(id) {
+        return Type.entity(id);
+      },
+      param: function(name, args) {
+        var arg;
+        return Type[name].apply(Type, (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = args.length; _i < _len; _i++) {
+            arg = args[_i];
+            _results.push(arg.realize());
+          }
+          return _results;
+        })());
+      },
+      other: function() {
+        return Type.abstract(this);
+      }
     });
+  };
 
-    TypeExpr.prototype.realize = function() {
-      return this.cases({
-        "native": function(id) {
-          return Type.entity(id);
-        },
-        param: function(name, args) {
-          var arg;
-          return Type[name].apply(Type, (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = args.length; _i < _len; _i++) {
-              arg = args[_i];
-              _results.push(arg.realize());
-            }
-            return _results;
-          })());
-        },
-        other: function() {
-          return Type.abstract(this);
+  TypeExpr.prototype.inspect = function() {
+    return this.cases({
+      expr: function(e) {
+        return "<" + (e.inspect()) + ">";
+      },
+      variable: function(name) {
+        return "%" + name;
+      },
+      query: function(input, _, query) {
+        return "@" + query.type + "(" + query.name + ")[" + (input.inspect()) + "]";
+      },
+      destructure: function(constraint, name, argnum) {
+        return "" + (constraint.inspect()) + "/" + name + "[" + argnum + "]";
+      },
+      "native": function(id) {
+        return "!" + id;
+      },
+      param: function(name, exprs) {
+        var expr;
+        if (!exprs.length) {
+          return "(" + name + ")";
         }
-      });
-    };
-
-    TypeExpr.prototype.inspect = function() {
-      return this.cases({
-        expr: function(e) {
-          return "<" + (e.inspect()) + ">";
-        },
-        variable: function(name) {
-          return "%" + name;
-        },
-        query: function(input, _, query) {
-          return "@" + query.type + "(" + query.name + ")[" + (input.inspect()) + "]";
-        },
-        destructure: function(constraint, name, argnum) {
-          return "" + (constraint.inspect()) + "/" + name + "[" + argnum + "]";
-        },
-        "native": function(id) {
-          return "!" + id;
-        },
-        param: function(name, exprs) {
-          var expr;
-          if (!exprs.length) {
-            return "(" + name + ")";
+        exprs = (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = exprs.length; _i < _len; _i++) {
+            expr = exprs[_i];
+            _results.push(expr.inspect());
           }
-          exprs = (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = exprs.length; _i < _len; _i++) {
-              expr = exprs[_i];
-              _results.push(expr.inspect());
-            }
-            return _results;
-          })();
-          return "(" + name + " " + (exprs.join(' ')) + ")";
-        },
-        any: function() {
-          return '*';
-        }
-      });
-    };
-
-    TypeExpr.prototype.equals = function(other) {
-      var _this = this;
-      if (this._tag !== other._tag) {
-        return false;
+          return _results;
+        })();
+        return "(" + name + " " + (exprs.join(' ')) + ")";
+      },
+      any: function() {
+        return '*';
       }
-      return this.cases({
-        expr: function(e) {
-          return e === other.expr;
-        },
-        query: function(input, scope, query) {
-          if (scope !== other.scope) {
-            return false;
-          }
-          if (query !== other.query) {
-            return false;
-          }
-          return input.equals(other.input);
-        },
-        "native": function(id) {
-          return id === other.id;
-        },
-        param: function(name, constraints) {
-          var constraint, i, _i, _len;
-          if (name !== other.type) {
-            return false;
-          }
-          for (i = _i = 0, _len = constraints.length; _i < _len; i = ++_i) {
-            constraint = constraints[i];
-            if (!constraint.equals(other.constraints[i])) {
-              return false;
-            }
-          }
-          return true;
-        },
-        destructure: function(constraint, name, argnum) {
-          if (name !== other.type) {
-            return false;
-          }
-          if (argnum !== other.argnum) {
+    });
+  };
+
+  TypeExpr.prototype.equals = function(other) {
+    var _this = this;
+    if (this._tag !== other._tag) {
+      return false;
+    }
+    return this.cases({
+      expr: function(e) {
+        return e === other.expr;
+      },
+      query: function(input, scope, query) {
+        if (scope !== other.scope) {
+          return false;
+        }
+        if (query !== other.query) {
+          return false;
+        }
+        return input.equals(other.input);
+      },
+      "native": function(id) {
+        return id === other.id;
+      },
+      param: function(name, constraints) {
+        var constraint, i, _i, _len;
+        if (name !== other.name) {
+          return false;
+        }
+        for (i = _i = 0, _len = constraints.length; _i < _len; i = ++_i) {
+          constraint = constraints[i];
+          if (!constraint.equals(other.constraints[i])) {
             return false;
           }
-          return constraint.equals(other.constraint);
-        },
-        other: function() {
-          return _this === other;
         }
-      });
-    };
-
-    TypeExpr.fromAST = function(typeAST, scope) {
-      var e, r;
-      r = function(ast) {
-        return TypeExpr.fromAST(ast, scope);
-      };
-      e = TypeExpr;
-      return typeAST.cases({
-        concrete: function(name) {
-          if (typeof Type[name] !== 'function') {
-            throw new Error("unknown type " + name);
-          }
-          return e.param(name, []);
-        },
-        variable: function(name) {
-          return scope.cache(name, function() {
-            return e.variable(name);
-          });
-        },
-        "native": function(id) {
-          return e["native"](id);
-        },
-        wildcard: function() {
-          return e.any();
-        },
-        list: function(el) {
-          return e.param('list', [r(el)]);
-        },
-        block: function(el) {
-          return e.param('block', [r(el.from), r(el.to)]);
-        },
-        pair: function(first, second) {
-          return e.param('pair', [r(first), r(second)]);
+        return true;
+      },
+      destructure: function(constraint, name, argnum) {
+        if (name !== other.type) {
+          return false;
         }
-      });
+        if (argnum !== other.argnum) {
+          return false;
+        }
+        return constraint.equals(other.constraint);
+      },
+      other: function() {
+        return _this === other;
+      }
+    });
+  };
+
+  TypeExpr.fromAST = function(typeAST, scope) {
+    var e, r;
+    r = function(ast) {
+      return TypeExpr.fromAST(ast, scope);
     };
+    e = TypeExpr;
+    return typeAST.cases({
+      concrete: function(name) {
+        if (typeof Type[name] !== 'function') {
+          throw new Error("unknown type " + name);
+        }
+        return e.param(name, []);
+      },
+      variable: function(name) {
+        return scope.cache(name, function() {
+          return e.variable(name);
+        });
+      },
+      "native": function(id) {
+        return e["native"](id);
+      },
+      wildcard: function() {
+        return e.any();
+      },
+      list: function(el) {
+        return e.param('list', [r(el)]);
+      },
+      block: function(el) {
+        return e.param('block', [r(el.from), r(el.to)]);
+      },
+      pair: function(first, second) {
+        return e.param('pair', [r(first), r(second)]);
+      }
+    });
+  };
 
-    TypeExpr.fromType = function(t) {
-      var st;
-      if (t._tag === 'entity') {
-        return TypeExpr["native"](t.id);
+  TypeExpr.fromType = function(t) {
+    var st;
+    if (t._tag === 'entity') {
+      return TypeExpr["native"](t.id);
+    }
+    return TypeExpr.param(t._tag, (function() {
+      var _i, _len, _ref4, _results;
+      _ref4 = t._values;
+      _results = [];
+      for (_i = 0, _len = _ref4.length; _i < _len; _i++) {
+        st = _ref4[_i];
+        _results.push(this.fromType(st));
       }
-      return TypeExpr.param(t._tag, (function() {
-        var _i, _len, _ref4, _results;
-        _ref4 = t._values;
-        _results = [];
-        for (_i = 0, _len = _ref4.length; _i < _len; _i++) {
-          st = _ref4[_i];
-          _results.push(this.fromType(st));
-        }
-        return _results;
-      }).call(this));
-    };
+      return _results;
+    }).call(this));
+  };
 
-    TypeExpr.prototype.map = function(f) {
-      return this.cases({
-        param: function(name, params) {
-          var p;
-          return TypeExpr.param(name, (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = params.length; _i < _len; _i++) {
-              p = params[_i];
-              _results.push(f(p));
-            }
-            return _results;
-          })());
-        },
-        query: function(input, scope, query) {
-          return TypeExpr.query(f(input), scope, query);
-        },
-        destructure: function(constraint, name, argnum) {
-          return TypeExpr.destructure(f(constraint), name, argnum);
-        },
-        other: function() {
-          return this;
-        }
-      });
-    };
+  TypeExpr.prototype.map = function(f) {
+    return this.cases({
+      param: function(name, params) {
+        var p;
+        return TypeExpr.param(name, (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = params.length; _i < _len; _i++) {
+            p = params[_i];
+            _results.push(f(p));
+          }
+          return _results;
+        })());
+      },
+      query: function(input, scope, query) {
+        return TypeExpr.query(f(input), scope, query);
+      },
+      destructure: function(constraint, name, argnum) {
+        return TypeExpr.destructure(f(constraint), name, argnum);
+      },
+      other: function() {
+        return this;
+      }
+    });
+  };
 
-    TypeExpr.prototype.mapAsync = function(f, cb) {
-      return this.cases({
-        param: function(name, params) {
-          return asyncMap(params, f, function(ps) {
-            return cb(TypeExpr.param(name, ps));
-          });
-        },
-        query: function(input, scope, query) {
-          return f(input, function(i) {
-            return cb(TypeExpr.query(i, scope, query));
-          });
-        },
-        destructure: function(param, name, argnum) {
-          return f(param, function(p) {
-            return cb(TypeExpr.destructure(p, name, argnum));
-          });
-        },
-        other: function() {
-          return cb(this);
-        }
-      });
-    };
+  TypeExpr.prototype.mapAsync = function(f, cb) {
+    return this.cases({
+      param: function(name, params) {
+        return asyncMap(params, f, function(ps) {
+          return cb(TypeExpr.param(name, ps));
+        });
+      },
+      query: function(input, scope, query) {
+        return f(input, function(i) {
+          return cb(TypeExpr.query(i, scope, query));
+        });
+      },
+      destructure: function(param, name, argnum) {
+        return f(param, function(p) {
+          return cb(TypeExpr.destructure(p, name, argnum));
+        });
+      },
+      other: function() {
+        return cb(this);
+      }
+    });
+  };
 
-    return TypeExpr;
+  return TypeExpr;
 
-  })(Union);
+})(Union);
+
+analyze = Gibbon.analyze = (function() {
+  var generate, solve;
   generate = (function() {
     var NativeContext, Scope;
     NativeContext = (function() {
@@ -2027,6 +2028,7 @@ analyze = Gibbon.analyze = (function() {
             return next();
           };
           matchError = function() {
+            DEBUG.logConstraint('!> ', lhs, rhs);
             error('match', lhs, rhs);
             return next();
           };
@@ -2046,6 +2048,7 @@ analyze = Gibbon.analyze = (function() {
               return rhs.cases({
                 variable: swap,
                 expr: swap,
+                any: swap,
                 "native": function(otherId) {
                   if (id === otherId) {
                     return skip();

data/vendor/gibbon/lib/gibbon.browser.js

@@ -1213,7 +1213,7 @@ parse = Gibbon.parse = (function() {
   return parse;
 })();
 // Generated by CoffeeScript 1.6.3
-var Semantic, Type, TypeLookup, analyze, _ref, _ref1, _ref2,
+var Semantic, Type, TypeExpr, TypeLookup, analyze, _ref, _ref1, _ref2, _ref3,
   __hasProp = {}.hasOwnProperty,
   __extends = function(child, parent) { for (var key in parent) { if (__hasProp.call(parent, key)) child[key] = parent[key]; } function ctor() { this.constructor = child; } ctor.prototype = parent.prototype; child.prototype = new ctor(); child.__super__ = parent.prototype; return child; },
   __slice = [].slice;
@@ -1305,243 +1305,244 @@ Gibbon.Type = Type = (function(_super) {
 
 })(Union);
 
-analyze = Gibbon.analyze = (function() {
-  var TypeExpr, generate, solve, _ref3;
-  TypeExpr = (function(_super) {
-    __extends(TypeExpr, _super);
+Gibbon.TypeExpr = TypeExpr = (function(_super) {
+  __extends(TypeExpr, _super);
 
-    function TypeExpr() {
-      _ref3 = TypeExpr.__super__.constructor.apply(this, arguments);
-      return _ref3;
-    }
+  function TypeExpr() {
+    _ref3 = TypeExpr.__super__.constructor.apply(this, arguments);
+    return _ref3;
+  }
+
+  TypeExpr.types({
+    expr: ['expr'],
+    variable: ['name'],
+    query: ['input', 'scope', 'query'],
+    destructure: ['constraint', 'name', 'argnum'],
+    "native": ['id'],
+    param: ['name', 'constraints'],
+    error: ['type', 'args'],
+    any: []
+  });
 
-    TypeExpr.types({
-      expr: ['expr'],
-      variable: ['name'],
-      query: ['input', 'scope', 'query'],
-      destructure: ['constraint', 'name', 'argnum'],
-      "native": ['id'],
-      param: ['name', 'constraints'],
-      error: ['type', 'args'],
-      any: []
+  TypeExpr.prototype.realize = function() {
+    return this.cases({
+      "native": function(id) {
+        return Type.entity(id);
+      },
+      param: function(name, args) {
+        var arg;
+        return Type[name].apply(Type, (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = args.length; _i < _len; _i++) {
+            arg = args[_i];
+            _results.push(arg.realize());
+          }
+          return _results;
+        })());
+      },
+      other: function() {
+        return Type.abstract(this);
+      }
     });
+  };
 
-    TypeExpr.prototype.realize = function() {
-      return this.cases({
-        "native": function(id) {
-          return Type.entity(id);
-        },
-        param: function(name, args) {
-          var arg;
-          return Type[name].apply(Type, (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = args.length; _i < _len; _i++) {
-              arg = args[_i];
-              _results.push(arg.realize());
-            }
-            return _results;
-          })());
-        },
-        other: function() {
-          return Type.abstract(this);
+  TypeExpr.prototype.inspect = function() {
+    return this.cases({
+      expr: function(e) {
+        return "<" + (e.inspect()) + ">";
+      },
+      variable: function(name) {
+        return "%" + name;
+      },
+      query: function(input, _, query) {
+        return "@" + query.type + "(" + query.name + ")[" + (input.inspect()) + "]";
+      },
+      destructure: function(constraint, name, argnum) {
+        return "" + (constraint.inspect()) + "/" + name + "[" + argnum + "]";
+      },
+      "native": function(id) {
+        return "!" + id;
+      },
+      param: function(name, exprs) {
+        var expr;
+        if (!exprs.length) {
+          return "(" + name + ")";
         }
-      });
-    };
-
-    TypeExpr.prototype.inspect = function() {
-      return this.cases({
-        expr: function(e) {
-          return "<" + (e.inspect()) + ">";
-        },
-        variable: function(name) {
-          return "%" + name;
-        },
-        query: function(input, _, query) {
-          return "@" + query.type + "(" + query.name + ")[" + (input.inspect()) + "]";
-        },
-        destructure: function(constraint, name, argnum) {
-          return "" + (constraint.inspect()) + "/" + name + "[" + argnum + "]";
-        },
-        "native": function(id) {
-          return "!" + id;
-        },
-        param: function(name, exprs) {
-          var expr;
-          if (!exprs.length) {
-            return "(" + name + ")";
+        exprs = (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = exprs.length; _i < _len; _i++) {
+            expr = exprs[_i];
+            _results.push(expr.inspect());
           }
-          exprs = (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = exprs.length; _i < _len; _i++) {
-              expr = exprs[_i];
-              _results.push(expr.inspect());
-            }
-            return _results;
-          })();
-          return "(" + name + " " + (exprs.join(' ')) + ")";
-        },
-        any: function() {
-          return '*';
-        }
-      });
-    };
-
-    TypeExpr.prototype.equals = function(other) {
-      var _this = this;
-      if (this._tag !== other._tag) {
-        return false;
+          return _results;
+        })();
+        return "(" + name + " " + (exprs.join(' ')) + ")";
+      },
+      any: function() {
+        return '*';
       }
-      return this.cases({
-        expr: function(e) {
-          return e === other.expr;
-        },
-        query: function(input, scope, query) {
-          if (scope !== other.scope) {
-            return false;
-          }
-          if (query !== other.query) {
-            return false;
-          }
-          return input.equals(other.input);
-        },
-        "native": function(id) {
-          return id === other.id;
-        },
-        param: function(name, constraints) {
-          var constraint, i, _i, _len;
-          if (name !== other.type) {
-            return false;
-          }
-          for (i = _i = 0, _len = constraints.length; _i < _len; i = ++_i) {
-            constraint = constraints[i];
-            if (!constraint.equals(other.constraints[i])) {
-              return false;
-            }
-          }
-          return true;
-        },
-        destructure: function(constraint, name, argnum) {
-          if (name !== other.type) {
-            return false;
-          }
-          if (argnum !== other.argnum) {
+    });
+  };
+
+  TypeExpr.prototype.equals = function(other) {
+    var _this = this;
+    if (this._tag !== other._tag) {
+      return false;
+    }
+    return this.cases({
+      expr: function(e) {
+        return e === other.expr;
+      },
+      query: function(input, scope, query) {
+        if (scope !== other.scope) {
+          return false;
+        }
+        if (query !== other.query) {
+          return false;
+        }
+        return input.equals(other.input);
+      },
+      "native": function(id) {
+        return id === other.id;
+      },
+      param: function(name, constraints) {
+        var constraint, i, _i, _len;
+        if (name !== other.name) {
+          return false;
+        }
+        for (i = _i = 0, _len = constraints.length; _i < _len; i = ++_i) {
+          constraint = constraints[i];
+          if (!constraint.equals(other.constraints[i])) {
             return false;
           }
-          return constraint.equals(other.constraint);
-        },
-        other: function() {
-          return _this === other;
         }
-      });
-    };
-
-    TypeExpr.fromAST = function(typeAST, scope) {
-      var e, r;
-      r = function(ast) {
-        return TypeExpr.fromAST(ast, scope);
-      };
-      e = TypeExpr;
-      return typeAST.cases({
-        concrete: function(name) {
-          if (typeof Type[name] !== 'function') {
-            throw new Error("unknown type " + name);
-          }
-          return e.param(name, []);
-        },
-        variable: function(name) {
-          return scope.cache(name, function() {
-            return e.variable(name);
-          });
-        },
-        "native": function(id) {
-          return e["native"](id);
-        },
-        wildcard: function() {
-          return e.any();
-        },
-        list: function(el) {
-          return e.param('list', [r(el)]);
-        },
-        block: function(el) {
-          return e.param('block', [r(el.from), r(el.to)]);
-        },
-        pair: function(first, second) {
-          return e.param('pair', [r(first), r(second)]);
+        return true;
+      },
+      destructure: function(constraint, name, argnum) {
+        if (name !== other.type) {
+          return false;
         }
-      });
+        if (argnum !== other.argnum) {
+          return false;
+        }
+        return constraint.equals(other.constraint);
+      },
+      other: function() {
+        return _this === other;
+      }
+    });
+  };
+
+  TypeExpr.fromAST = function(typeAST, scope) {
+    var e, r;
+    r = function(ast) {
+      return TypeExpr.fromAST(ast, scope);
     };
+    e = TypeExpr;
+    return typeAST.cases({
+      concrete: function(name) {
+        if (typeof Type[name] !== 'function') {
+          throw new Error("unknown type " + name);
+        }
+        return e.param(name, []);
+      },
+      variable: function(name) {
+        return scope.cache(name, function() {
+          return e.variable(name);
+        });
+      },
+      "native": function(id) {
+        return e["native"](id);
+      },
+      wildcard: function() {
+        return e.any();
+      },
+      list: function(el) {
+        return e.param('list', [r(el)]);
+      },
+      block: function(el) {
+        return e.param('block', [r(el.from), r(el.to)]);
+      },
+      pair: function(first, second) {
+        return e.param('pair', [r(first), r(second)]);
+      }
+    });
+  };
 
-    TypeExpr.fromType = function(t) {
-      var st;
-      if (t._tag === 'entity') {
-        return TypeExpr["native"](t.id);
+  TypeExpr.fromType = function(t) {
+    var st;
+    if (t._tag === 'entity') {
+      return TypeExpr["native"](t.id);
+    }
+    return TypeExpr.param(t._tag, (function() {
+      var _i, _len, _ref4, _results;
+      _ref4 = t._values;
+      _results = [];
+      for (_i = 0, _len = _ref4.length; _i < _len; _i++) {
+        st = _ref4[_i];
+        _results.push(this.fromType(st));
       }
-      return TypeExpr.param(t._tag, (function() {
-        var _i, _len, _ref4, _results;
-        _ref4 = t._values;
-        _results = [];
-        for (_i = 0, _len = _ref4.length; _i < _len; _i++) {
-          st = _ref4[_i];
-          _results.push(this.fromType(st));
-        }
-        return _results;
-      }).call(this));
-    };
+      return _results;
+    }).call(this));
+  };
 
-    TypeExpr.prototype.map = function(f) {
-      return this.cases({
-        param: function(name, params) {
-          var p;
-          return TypeExpr.param(name, (function() {
-            var _i, _len, _results;
-            _results = [];
-            for (_i = 0, _len = params.length; _i < _len; _i++) {
-              p = params[_i];
-              _results.push(f(p));
-            }
-            return _results;
-          })());
-        },
-        query: function(input, scope, query) {
-          return TypeExpr.query(f(input), scope, query);
-        },
-        destructure: function(constraint, name, argnum) {
-          return TypeExpr.destructure(f(constraint), name, argnum);
-        },
-        other: function() {
-          return this;
-        }
-      });
-    };
+  TypeExpr.prototype.map = function(f) {
+    return this.cases({
+      param: function(name, params) {
+        var p;
+        return TypeExpr.param(name, (function() {
+          var _i, _len, _results;
+          _results = [];
+          for (_i = 0, _len = params.length; _i < _len; _i++) {
+            p = params[_i];
+            _results.push(f(p));
+          }
+          return _results;
+        })());
+      },
+      query: function(input, scope, query) {
+        return TypeExpr.query(f(input), scope, query);
+      },
+      destructure: function(constraint, name, argnum) {
+        return TypeExpr.destructure(f(constraint), name, argnum);
+      },
+      other: function() {
+        return this;
+      }
+    });
+  };
 
-    TypeExpr.prototype.mapAsync = function(f, cb) {
-      return this.cases({
-        param: function(name, params) {
-          return asyncMap(params, f, function(ps) {
-            return cb(TypeExpr.param(name, ps));
-          });
-        },
-        query: function(input, scope, query) {
-          return f(input, function(i) {
-            return cb(TypeExpr.query(i, scope, query));
-          });
-        },
-        destructure: function(param, name, argnum) {
-          return f(param, function(p) {
-            return cb(TypeExpr.destructure(p, name, argnum));
-          });
-        },
-        other: function() {
-          return cb(this);
-        }
-      });
-    };
+  TypeExpr.prototype.mapAsync = function(f, cb) {
+    return this.cases({
+      param: function(name, params) {
+        return asyncMap(params, f, function(ps) {
+          return cb(TypeExpr.param(name, ps));
+        });
+      },
+      query: function(input, scope, query) {
+        return f(input, function(i) {
+          return cb(TypeExpr.query(i, scope, query));
+        });
+      },
+      destructure: function(param, name, argnum) {
+        return f(param, function(p) {
+          return cb(TypeExpr.destructure(p, name, argnum));
+        });
+      },
+      other: function() {
+        return cb(this);
+      }
+    });
+  };
+
+  return TypeExpr;
 
-    return TypeExpr;
+})(Union);
 
-  })(Union);
+analyze = Gibbon.analyze = (function() {
+  var generate, solve;
   generate = (function() {
     var NativeContext, Scope;
     NativeContext = (function() {
@@ -1999,6 +2000,7 @@ analyze = Gibbon.analyze = (function() {
             return next();
           };
           matchError = function() {
+            
             error('match', lhs, rhs);
             return next();
           };
@@ -2018,6 +2020,7 @@ analyze = Gibbon.analyze = (function() {
               return rhs.cases({
                 variable: swap,
                 expr: swap,
+                any: swap,
                 "native": function(otherId) {
                   if (id === otherId) {
                     return skip();

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: goodguide-gibbon
 version: !ruby/object:Gem::Version
-  version: 0.3.7
+  version: 0.3.8
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-08-14 00:00:00.000000000 Z
+date: 2013-08-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: therubyracer
@@ -55,7 +55,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: 3075766379386117662
+      hash: 2444619293848573990
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
@@ -64,7 +64,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: 3075766379386117662
+      hash: 2444619293848573990
 requirements: []
 rubyforge_project: goodguide-gibbon
 rubygems_version: 1.8.23