Merge pull request #143 from Nadrieril/record-puns

Implement record puns

1 files changed, 6 insertions, 4 deletions

diff --git a/tests_buffer b/tests_buffer
index de49f25..74e76bc 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -3,18 +3,20 @@ parser:
 ./"a%20b"
 text interpolation and escapes
 projection by expression unit tests
-fix fakeurlencode test
+x.({ a : Bool, b })
+x.({ a })
+x.{ a : Bool }
 s/QuotedVariable/VariableQuoted/
 
-binary decoding:
-decode old-style optional literals ?
-
 import:
 failure/
     don't recover cycle
     don't resolve symlinks in canonicalizing
 
 normalization:
+move builtins and operators in their own folder ?
+RecordSortFields { b = 1, a = 0 }
+RecordTypeSortFields { b : Bool, a : Natural }
 
 type-inference:
 something that involves destructuring a recordtype after merge