diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:26:14 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:26:14 +0100 |
| commit | 7313085a16269a7cf8dabd5a03fac78f23f526fa (patch) | |
| tree | 64f2f99159614913d8787b5e672f9600201fc81a /Source/Core/Parser.cs | |
| parent | 57fb103b7ae870973544f957ae1c230dbf570cdb (diff) | |
Refactoring of TypeVariableSeq
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index 7bd21d02..7b172d30 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -1775,13 +1775,13 @@ out VariableSeq/*!*/ ins, out VariableSeq/*!*/ outs, out QKeyValue kv) { Forall();
x = t;
QuantifierBody(x, out typeParams, out ds, out kv, out trig, out e);
- if (typeParams.Length + ds.Length > 0)
+ if (typeParams.Count + ds.Length > 0)
e = new ForallExpr(x, typeParams, ds, kv, trig, e);
} else if (la.kind == 89 || la.kind == 90) {
Exists();
x = t;
QuantifierBody(x, out typeParams, out ds, out kv, out trig, out e);
- if (typeParams.Length + ds.Length > 0)
+ if (typeParams.Count + ds.Length > 0)
e = new ExistsExpr(x, typeParams, ds, kv, trig, e);
} else if (la.kind == 91 || la.kind == 92) {
Lambda();
@@ -1789,7 +1789,7 @@ out VariableSeq/*!*/ ins, out VariableSeq/*!*/ outs, out QKeyValue kv) { QuantifierBody(x, out typeParams, out ds, out kv, out trig, out e);
if (trig != null)
SemErr("triggers not allowed in lambda expressions");
- if (typeParams.Length + ds.Length > 0)
+ if (typeParams.Count + ds.Length > 0)
e = new LambdaExpr(x, typeParams, ds, kv, e);
} else SynErr(123);
Expect(10);
|