diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/maybe.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index a92141bd9..60d154a7a 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -14,7 +14,7 @@ pipe] [data ["." text - format] + ["%" format (#+ format)]] [number ["." nat]]] [math @@ -28,7 +28,7 @@ (def: #export test Test - (<| (_.context (%name (name-of .Maybe))) + (<| (_.context (%.name (name-of .Maybe))) ($_ _.and ($equivalence.spec (/.equivalence nat.equivalence) (..maybe r.nat)) ($functor.spec /@wrap /.equivalence /.functor) |