diff options
| author | Nadrieril | 2019-08-05 18:18:45 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:42:16 +0200 |
| commit | 2551e6f91110bfe385fa65dd63e576df637c26fa (patch) | |
| tree | ae02cc84a085e75ece48c2831309448741d18e15 /tests_buffer | |
| parent | e52f50080d8e0e6d6a05b1045e3e0e840acb50d0 (diff) | |
Add some tests
Diffstat (limited to '')
| -rw-r--r-- | tests_buffer | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index deb245d..5234562 100644 --- a/tests_buffer +++ b/tests_buffer @@ -98,6 +98,8 @@ failure/ normalization: variables across import boundaries +Text/show "" +Double/show -1.5e-10 TextLitNested1 "${""}${x}" TextLitNested2 "${"${x}"}" TextLitNested3 "${"${""}"}${x}" @@ -106,6 +108,7 @@ variables across import boundaries typecheck: something that involves destructuring a recordtype after merge +add some of the more complicated Prelude tests back, like List/enumerate failure on old-style optional literal success/ MergeEmptyAlternative merge { x = 1 } < x >.x |