diff options
| author | Nadrieril Feneanar | 2019-08-07 23:12:47 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-07 23:12:47 +0200 |
| commit | 674fbdc33c788156f76d263b044dccc48c810870 (patch) | |
| tree | 725eaa49a4f2236d44470279296969b66ba0bbc8 /tests_buffer | |
| parent | 8ec422f2319360f986950fcb9aae4bcf65a9c1e2 (diff) | |
| parent | e81ab9a553bf82f20fa0b0344926258176a21dac (diff) | |
Merge pull request #95 from Nadrieril/catchup-spec
A lot more catching up on the spec
Diffstat (limited to '')
| -rw-r--r-- | tests_buffer | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index 1ea9a1c..ca578e4 100644 --- a/tests_buffer +++ b/tests_buffer @@ -6,6 +6,7 @@ remove `double` remove imports/parenthesizeUsing remove multilet selection by expression unit tests +split aslocation test into actual unit tests success/ imports/ Missing missing @@ -86,6 +87,8 @@ success/ failure/ ProjectionByExpressionNeedsParens r.{ x: T } +binary decoding: +decode old-style optional literals ? import: success/ @@ -96,6 +99,8 @@ failure/ normalization: variables across import boundaries +Text/show "" +Double/show -1.5e-10 TextLitNested1 "${""}${x}" TextLitNested2 "${"${x}"}" TextLitNested3 "${"${""}"}${x}" @@ -104,6 +109,8 @@ 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 MergeTrickyShadowing let _ = Bool in merge {_ = \(x: _) -> x} (<_: Bool>._ True) |