summaryrefslogtreecommitdiff
path: root/tests_buffer
diff options
context:
space:
mode:
authorNadrieril Feneanar2019-08-07 23:12:47 +0200
committerGitHub2019-08-07 23:12:47 +0200
commit674fbdc33c788156f76d263b044dccc48c810870 (patch)
tree725eaa49a4f2236d44470279296969b66ba0bbc8 /tests_buffer
parent8ec422f2319360f986950fcb9aae4bcf65a9c1e2 (diff)
parente81ab9a553bf82f20fa0b0344926258176a21dac (diff)
Merge pull request #95 from Nadrieril/catchup-spec
A lot more catching up on the spec
Diffstat (limited to 'tests_buffer')
-rw-r--r--tests_buffer7
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)