From 038b220675ab24b59ce4ebf42949b4b4beb2d659 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 4 Apr 2019 21:12:25 -0400
Subject: Fixed a bug when pattern matching against "Error" values.

---
 stdlib/source/lux/data/error.lux      | 12 ++++++++----
 stdlib/source/test/lux/data/error.lux | 27 +++++++++++++--------------
 2 files changed, 21 insertions(+), 18 deletions(-)

(limited to 'stdlib/source')

diff --git a/stdlib/source/lux/data/error.lux b/stdlib/source/lux/data/error.lux
index f05df614d..3e7369ed3 100644
--- a/stdlib/source/lux/data/error.lux
+++ b/stdlib/source/lux/data/error.lux
@@ -72,15 +72,19 @@
   (All [M a] (-> (Monad M) (-> (M a) (M (Error a)))))
   (monad.lift monad (:: ..monad wrap)))
 
-(structure: #export (equivalence (^open "_@."))
+(structure: #export (equivalence (^open ",@."))
   (All [a] (-> (Equivalence a) (Equivalence (Error a))))
   (def: (= reference sample)
     (case [reference sample]
       [(#Success reference) (#Success sample)]
-      (_@= reference sample)
+      (,@= reference sample)
 
       [(#Failure reference) (#Failure sample)]
-      ("lux text =" reference sample))))
+      ("lux text =" reference sample)
+
+      _
+      false
+      )))
 
 (def: #export (succeed value)
   (All [a] (-> a (Error a)))
@@ -102,7 +106,7 @@
 (macro: #export (default tokens compiler)
   {#.doc (doc "Allows you to provide a default value that will be used"
               "if a (Error x) value turns out to be #Failure."
-              (= "foo"
+              (= "bar"
                  (default "foo" (#Success "bar")))
               (= "foo"
                  (default "foo" (#Failure "KABOOM!"))))}
diff --git a/stdlib/source/test/lux/data/error.lux b/stdlib/source/test/lux/data/error.lux
index 9012b3212..c60c6563a 100644
--- a/stdlib/source/test/lux/data/error.lux
+++ b/stdlib/source/test/lux/data/error.lux
@@ -32,12 +32,12 @@
 (def: #export (error element)
   (All [a] (-> (Random a) (Random (Error a))))
   ($_ r.or
-      (:: r.monad wrap "KABOOM!")
+      (r.unicode 1)
       element))
 
 (def: #export test
   Test
-  (<| (_.context (%name (name-of /.Error)))
+  (<| (_.context (%name (name-of /._)))
       ($_ _.and
           ($equivalence.spec (/.equivalence nat.equivalence) (..error r.nat))
           ($functor.spec ..injection ..comparison /.functor)
@@ -48,17 +48,16 @@
              right r.nat
              #let [expected (n/+ left right)
                    (^open "io@.") io.monad]]
-            (let []
-              (_.test "Can add error functionality to any monad."
-                      (let [lift (/.lift io.monad)]
-                        (|> (do (/.with io.monad)
-                              [a (lift (io@wrap left))
-                               b (wrap right)]
-                              (wrap (n/+ a b)))
-                            io.run
-                            (case> (#/.Success actual)
-                                   (n/= expected actual)
+            (_.test "Can add error functionality to any monad."
+                    (let [lift (/.lift io.monad)]
+                      (|> (do (/.with io.monad)
+                            [a (lift (io@wrap left))
+                             b (wrap right)]
+                            (wrap (n/+ a b)))
+                          io.run
+                          (case> (#/.Success actual)
+                                 (n/= expected actual)
 
-                                   _
-                                   #0))))))
+                                 _
+                                 false)))))
           )))
-- 
cgit v1.2.3