From efe4b340bebaa7ef8bce6e69194959b126c5fade Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 10 Apr 2020 12:10:53 +0100
Subject: Deserialize `Prelude.Map` and `toMap` to a map instead of a list

---
 tests_buffer | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index bd76d36..3240b41 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -24,6 +24,7 @@ normalization:
 move builtins and operators in their own folder ?
 RecordSortFields { b = 1, a = 0 }
 RecordTypeSortFields { b : Bool, a : Natural }
+\(foo: { x: Bool, y: Bool }) -> \(bar: { x: Bool }) -> (foo.{x, y} // bar).{ x }
 
 type-inference:
 something that involves destructuring a recordtype after merge
-- 
cgit v1.2.3