From a610f53d794f430a9f57c37d8b88f76a62620506 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 7 Mar 2020 22:14:41 +0000
Subject: Upstream all local tests

See https://github.com/dhall-lang/dhall-lang/pull/933
---
 tests_buffer | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index 478edbb..de49f25 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -10,24 +10,15 @@ binary decoding:
 decode old-style optional literals ?
 
 import:
-success/
-    recover type error
-    recover recursive import error
 failure/
     don't recover cycle
     don't resolve symlinks in canonicalizing
 
 normalization:
-variables across import boundaries
 
 type-inference:
 something that involves destructuring a recordtype after merge
 add some of the more complicated Prelude tests back, like List/enumerate
-success/
-    regression/
-        somehow test that ({ x = { z = 1 } } ∧ { x = { y = 2 } }).x has a type
-        somehow test that the recordtype from List/indexed has a type in both empty and nonempty cases
-        somehow test types added to the Foo/build closures
 failure/
     \(_: Bool) -> assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)
     merge { x = λ(x : Bool) → x } (< x: Bool | y: Natural >.x True)
-- 
cgit v1.2.3