diff options
| author | Nadrieril | 2019-08-20 22:20:59 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-20 22:20:59 +0200 |
| commit | ec349d42703a8a31715cf97b44845ba3dd7a6805 (patch) | |
| tree | 877f5fc4b2f6b6c5dff6090680bf8b4d51120d6d /tests_buffer | |
| parent | f70e45daef2570259eccd227a0126493c015d7b0 (diff) | |
Propagate type information in Value::app()
Diffstat (limited to '')
| -rw-r--r-- | tests_buffer | 1 |
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: |