summaryrefslogtreecommitdiff
path: root/tests_buffer
diff options
context:
space:
mode:
authorNadrieril2019-08-20 22:20:59 +0200
committerNadrieril2019-08-20 22:20:59 +0200
commitec349d42703a8a31715cf97b44845ba3dd7a6805 (patch)
tree877f5fc4b2f6b6c5dff6090680bf8b4d51120d6d /tests_buffer
parentf70e45daef2570259eccd227a0126493c015d7b0 (diff)
Propagate type information in Value::app()
Diffstat (limited to '')
-rw-r--r--tests_buffer1
1 files changed, 1 insertions, 0 deletions
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: