add a couple tests, and shuffled some others around.

2024-11-14 16:28:34 +03:00 · 2018-08-08 22:21:57 -04:00 · 2018-08-08 22:21:57 -04:00 · 90be707834
commit 90be707834
parent 2fd89ae6ee
18 changed files with 6 additions and 0 deletions
--- a/unison-src/errors/if-body-mismatch.u
+++ b/unison-src/errors/if-body-mismatch.u
--- a/unison-src/errors/if-cond-not-bool.u
+++ b/unison-src/errors/if-cond-not-bool.u
--- a/unison-src/errors/type-functor-inspired/app1.u
+++ b/unison-src/errors/type-functor-inspired/app1.u
--- a/unison-src/errors/type-functor-inspired/app2.u
+++ b/unison-src/errors/type-functor-inspired/app2.u
--- a/unison-src/errors/type-functor-inspired/arrow1.u
+++ b/unison-src/errors/type-functor-inspired/arrow1.u
--- a/unison-src/errors/type-functor-inspired/effect1.uu
+++ b/unison-src/errors/type-functor-inspired/effect1.uu
--- a/unison-src/errors/type-functor-inspired/effect2.u
+++ b/unison-src/errors/type-functor-inspired/effect2.u
--- a/unison-src/errors/type-functor-inspired/forall-arrow.u
+++ b/unison-src/errors/type-functor-inspired/forall-arrow.u
--- a/unison-src/errors/type-functor-inspired/forall-arrow2.u
+++ b/unison-src/errors/type-functor-inspired/forall-arrow2.u
--- a/unison-src/errors/type-functor-inspired/forall-arrow3.u
+++ b/unison-src/errors/type-functor-inspired/forall-arrow3.u
--- a/unison-src/errors/type-functor-inspired/parens.u
+++ b/unison-src/errors/type-functor-inspired/parens.u
--- a/unison-src/errors/type-functor-inspired/subtuple.u
+++ b/unison-src/errors/type-functor-inspired/subtuple.u
--- a/unison-src/errors/type-functor-inspired/synthesizeApp.u
+++ b/unison-src/errors/type-functor-inspired/synthesizeApp.u
--- a/unison-src/errors/type-functor-inspired/tuple.u
+++ b/unison-src/errors/type-functor-inspired/tuple.u
--- a/unison-src/errors/type-functor-inspired/tuple2.u
+++ b/unison-src/errors/type-functor-inspired/tuple2.u
@ -0,0 +1,3 @@
+y : (UInt64, Optional Int64, Text)
+y = (42, 3, "")
+y
--- a/unison-src/errors/type-functor-inspired/unit.u
+++ b/unison-src/errors/type-functor-inspired/unit.u
--- a/unison-src/errors/unit2.u
+++ b/unison-src/errors/unit2.u
--- a/unison-src/tests/void.u
+++ b/unison-src/tests/void.u
@ -0,0 +1,3 @@
+type Void =
+
+3