diff options
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: |