diff options
author | leino <unknown> | 2014-11-13 08:41:44 -0800 |
---|---|---|
committer | leino <unknown> | 2014-11-13 08:41:44 -0800 |
commit | 2f65735d93a06206fcfa1cf48a519677067b1948 (patch) | |
tree | 72ac5f80c57ce9e7f4ba8e3ae29d6cf6e2fbf86a /Test/hofs/Frame.dfy.expect | |
parent | cb2fc85d19ef3775d6e05376f59ba2fd4442fffa (diff) |
Use arbitrary lookahead to determine if the next expression is a lambda expression.
Diffstat (limited to 'Test/hofs/Frame.dfy.expect')
-rw-r--r-- | Test/hofs/Frame.dfy.expect | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/hofs/Frame.dfy.expect b/Test/hofs/Frame.dfy.expect index a4d10c47..0ee2eadb 100644 --- a/Test/hofs/Frame.dfy.expect +++ b/Test/hofs/Frame.dfy.expect @@ -1,17 +1,17 @@ Frame.dfy(23,16): Error: assertion violation
Execution trace:
(0,0): anon0
- Frame.dfy(19,13): anon5_Else
+ Frame.dfy(19,12): anon5_Else
(0,0): anon6_Then
Frame.dfy(37,14): Error: assertion violation
Execution trace:
(0,0): anon0
- Frame.dfy(33,13): anon3_Else
+ Frame.dfy(33,12): anon3_Else
Frame.dfy(63,23): Error: assertion violation
Execution trace:
(0,0): anon0
(0,0): anon13_Then
- Frame.dfy(55,13): anon14_Else
+ Frame.dfy(55,12): anon14_Else
(0,0): anon15_Then
(0,0): anon5
Frame.dfy(66,19): Error: insufficient reads clause to read array element
|