From ec349d42703a8a31715cf97b44845ba3dd7a6805 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 20 Aug 2019 22:20:59 +0200
Subject: Propagate type information in Value::app()

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

(limited to 'tests_buffer')

diff --git a/tests_buffer b/tests_buffer
index c6366ba..15dc9c5 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -41,5 +41,6 @@ failure/
     merge {x=...,y=...} <x:T>.x
     MergeBoolIsNotUnion merge x True
     MergeOptionalIsNotUnion merge x (Some 1)
+    SortInLet let x = Sort in 1
 
 equivalence:
-- 
cgit v1.2.3