diff options
| author | Nadrieril | 2019-08-04 11:11:37 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:40:24 +0200 |
| commit | 711164a7a24ab832006b72cac162e78cf434861a (patch) | |
| tree | cdb2097aa25e20c2953cd5d0192ce66274def33b /tests_buffer | |
| parent | cc03ada4e713f145f2eb1bbf0f131a4c5746cf74 (diff) | |
Remove old-style optional literals
Diffstat (limited to 'tests_buffer')
| -rw-r--r-- | tests_buffer | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index 1ea9a1c..deb245d 100644 --- a/tests_buffer +++ b/tests_buffer @@ -86,6 +86,8 @@ success/ failure/ ProjectionByExpressionNeedsParens r.{ x: T } +binary decoding: +decode old-style optional literals ? import: success/ @@ -104,6 +106,7 @@ variables across import boundaries typecheck: something that involves destructuring a recordtype after merge +failure on old-style optional literal success/ MergeEmptyAlternative merge { x = 1 } < x >.x MergeTrickyShadowing let _ = Bool in merge {_ = \(x: _) -> x} (<_: Bool>._ True) |