Permalink
Browse files

Made filter more general

  • Loading branch information...
1 parent face055 commit 9e90852a6a1d3d70822f02e9e918496d1a32c5b8 @phyrex1an phyrex1an committed May 30, 2010
Showing with 6 additions and 1 deletion.
  1. +6 −1 haskell.hiji.js
View
@@ -221,7 +221,12 @@ commands[":type"] = "TYPE";
var type = infered.type.apply(env.getSubst());
var preds = infered.preds.filter(
function (p) {
- return tc.elem(type.tv(), p.type());
+ return tc.any(
+ p.tv(),
+ function(t) {
+ return tc.elem(type.tv(), t);
+ }
+ )
}
);
var predsString = preds.map(function(p) { return p.toString(); }).join(", ");

0 comments on commit 9e90852

Please sign in to comment.