From 711164a7a24ab832006b72cac162e78cf434861a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 4 Aug 2019 11:11:37 +0200
Subject: Remove old-style optional literals

---
 tests_buffer | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tests_buffer')

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)
-- 
cgit v1.2.3