Permalink
Browse files

Apply substitution to the predicates too

  • Loading branch information...
1 parent e42858d commit c3f6d07f38ca92c44ce1f544b541dda31856c025 @phyrex1an phyrex1an committed May 30, 2010
Showing with 2 additions and 1 deletion.
  1. +2 −1 haskell.hiji.js
View
@@ -219,7 +219,8 @@ commands[":type"] = "TYPE";
var env = new tc.Environment(new tc.Assumps(), new tc.Subst(), new tc.NameGen());
var infered = ast.infer(env);
var type = infered.type.apply(env.getSubst());
- var preds = infered.preds.filter(
+ var predsSubst = infered.preds.map(function(p) { return p.apply(env.getSubst())});
+ var preds = predsSubst.filter(
function (p) {
return tc.any(
p.tv(),

0 comments on commit c3f6d07

Please sign in to comment.