From 763a810358f15a8bac6973ac4b273f517729cc84 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 17 Jan 2020 10:06:22 +0000
Subject: Oops, this endeavour is doomed

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

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index 1c4cde5..225fc98 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -36,6 +36,7 @@ variables across import boundaries
     TextLitNested3 "${"${""}"}${x}"
     regression/
         NaturalFoldExtraArg Natural/fold 0 (Bool -> Bool) (λ(_ : (Bool -> Bool)) → λ(_ : Bool) → True) (λ(_ : Bool) → False) True
+            let T = Natural let ap = λ(f : T → List T) -> λ(x : T) -> f x in ap (λ(x : T) -> ap (λ(y : T) -> [x, y]) 1) 0
 
 typecheck:
 something that involves destructuring a recordtype after merge
-- 
cgit v1.2.3