diff options
| author |  Dan Rosén <danr@chalmers.se> | 2014-08-19 10:30:44 -0700 |
|---|---|---|
| committer | Dan Rosén <danr@chalmers.se> | 2014-08-19 10:30:44 -0700 |
| commit | 78e74bf9fa5ad7175cafd171427f58f556256e4a (patch) | |
| tree | b3f22b3584fccb470d14da61a8aa001562310455 /Test/hofs | |
| parent | 5e7d03fba113642aa1d6b181a854c684c740979e (diff) | |
Fix type inference bug in data rank comparison when one side can be a TypeVar
Diffstat (limited to 'Test/hofs')
| -rw-r--r-- | Test/hofs/Fold.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/hofs/Fold.dfy b/Test/hofs/Fold.dfy index df7d0126..7ce99e56 100644 --- a/Test/hofs/Fold.dfy +++ b/Test/hofs/Fold.dfy @@ -15,7 +15,7 @@ function method Eval(e : Expr): int function method Fold(xs : List<A>, unit : B, f : (A,B) -> B): B reads f.reads; - requires forall x : A, y: B :: x < xs ==> f.requires(x,y); + requires forall x, y :: x < xs ==> f.requires(x,y); { match xs case Nil => unit |