diff options
| author | Eduardo Julian | 2016-12-20 01:13:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-20 01:13:38 -0400 |
| commit | 6a1bcea931b6ce76051de91d5a67c37b83adf29d (patch) | |
| tree | 58e18f15929e77a580e939ff69d08902d9791212 /stdlib/source | |
| parent | 4dc12073c9f5d0e58e7affe9dbd901bc63d54723 (diff) | |
- Improved tests (and added fixes) for lux/data/struct/vector, lux/type and lux/data/ident.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/struct/vector.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/lux/type.lux | 6 |
2 files changed, 5 insertions, 6 deletions
diff --git a/stdlib/source/lux/data/struct/vector.lux b/stdlib/source/lux/data/struct/vector.lux index 4e4922d0c..fbe3dbd97 100644 --- a/stdlib/source/lux/data/struct/vector.lux +++ b/stdlib/source/lux/data/struct/vector.lux @@ -436,8 +436,7 @@ (def: applicative Applicative<Vector>) (def: join - (let [(^open) Functor<Vector> - (^open) Fold<Vector> + (let [(^open) Fold<Vector> (^open) Monoid<Vector>] - (fold append unit))) + (fold (lambda [post pre] (append pre post)) unit))) ) diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index c81d5e23d..a721c0926 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -8,6 +8,7 @@ (lux (control eq monad) (data [text "Text/" Monoid<Text> Eq<Text>] + [ident "Ident/" Eq<Ident>] [number "Nat/" Codec<Text,Nat>] maybe (struct [list #+ "List/" Monad<List> Monoid<List> Fold<List>])) @@ -79,9 +80,8 @@ (and (= xleft yleft) (= xright yright)) - [(#;NamedT [xmodule xname] xtype) (#;NamedT [ymodule yname] ytype)] - (and (Text/= xmodule ymodule) - (Text/= xname yname) + [(#;NamedT xname xtype) (#;NamedT yname ytype)] + (and (Ident/= xname yname) (= xtype ytype)) (^template [<tag>] |