From 8325de2db085bb0b3599bc453b658a1dacfe79ae Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 5 Nov 2020 00:18:38 +0000
Subject: tests: add some tests

---
 tests_buffer | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index 80fa833..c3c1c70 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -14,22 +14,17 @@ From https://github.com/dhall-lang/dhall-lang/issues/280 :
 
 import:
 failure/
-    don't recover cycle
     don't resolve symlinks in canonicalizing
 as Text hash
 as Location hash
 
 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
 add some of the more complicated Prelude tests back, like List/enumerate
 failure/
-    \(_: Bool) -> assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)
     merge { x = λ(x : Bool) → x } (< x: Bool | y: Natural >.x True)
     merge { x = λ(_ : Bool) → _, y = 1 } < x = True | y >
     merge { x = True, y = 1 } < x | y >.x
-- 
cgit v1.2.3