diff options
46 files changed, 31 insertions, 63 deletions
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux index 97ce7dec3..56b40f41b 100644 --- a/stdlib/source/lux/concurrency/actor.lux +++ b/stdlib/source/lux/concurrency/actor.lux @@ -2,7 +2,7 @@ lux (lux (control monad) [io #- run] - (codata function) + function (data [error #- fail] text/format (coll [list "List/" Monoid<List> Monad<List>]) diff --git a/stdlib/source/lux/concurrency/frp.lux b/stdlib/source/lux/concurrency/frp.lux index f84103e3f..6d18a73bb 100644 --- a/stdlib/source/lux/concurrency/frp.lux +++ b/stdlib/source/lux/concurrency/frp.lux @@ -5,7 +5,6 @@ monad eq) [io #- run] - (codata function) (data (coll [list "L/" Monoid<List>]) text/format) [compiler] diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/concurrency/promise.lux index ef7efd923..e94aa68e5 100644 --- a/stdlib/source/lux/concurrency/promise.lux +++ b/stdlib/source/lux/concurrency/promise.lux @@ -5,7 +5,7 @@ text/format error) [io #- run] - (codata function) + function (control functor applicative monad) diff --git a/stdlib/source/lux/control/order.lux b/stdlib/source/lux/control/order.lux index 153100cff..eb2a6f81b 100644 --- a/stdlib/source/lux/control/order.lux +++ b/stdlib/source/lux/control/order.lux @@ -1,7 +1,7 @@ (;module: lux - (.. eq) - lux/codata/function) + (lux function) + (.. eq)) ## [Signatures] (sig: #export (Order a) diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux index 0b8d207fc..2d89de635 100644 --- a/stdlib/source/lux/data/bool.lux +++ b/stdlib/source/lux/data/bool.lux @@ -2,8 +2,7 @@ lux (lux (control monoid eq - codec) - (codata function))) + codec))) ## [Structures] (struct: #export _ (Eq Bool) diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux index 5f2ef3984..4f93bb541 100644 --- a/stdlib/source/lux/data/coll/list.lux +++ b/stdlib/source/lux/data/coll/list.lux @@ -8,8 +8,7 @@ [fold]) (data [number "Int/" Number<Int> Codec<Text,Int>] bool - [product]) - codata/function)) + [product]))) ## [Types] ## (type: (List a) diff --git a/stdlib/source/lux/data/coll/set.lux b/stdlib/source/lux/data/coll/set.lux index 3ac6725c1..e10f20488 100644 --- a/stdlib/source/lux/data/coll/set.lux +++ b/stdlib/source/lux/data/coll/set.lux @@ -6,8 +6,7 @@ eq [hash #*]) (data (coll [dict] - [list "List/" Fold<List> Functor<List>])) - (codata function))) + [list "List/" Fold<List> Functor<List>])))) ## [Types] (type: #export (Set a) diff --git a/stdlib/source/lux/codata/coll/stream.lux b/stdlib/source/lux/data/coll/stream.lux index 3089fe1b2..5cb0829e9 100644 --- a/stdlib/source/lux/codata/coll/stream.lux +++ b/stdlib/source/lux/data/coll/stream.lux @@ -7,7 +7,7 @@ (macro ["s" syntax #+ syntax: Syntax]) (data (coll [list "List/" Monad<List>]) bool) - (codata [cont #+ @lazy Cont]))) + (function [cont #+ @lazy Cont]))) ## [Types] (type: #export (Stream a) diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index 8565fb32f..066777fdf 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -19,7 +19,6 @@ (coll [list "" Fold<List> "List/" Monad<List>] [vector #+ Vector vector "Vector/" Monad<Vector>] [dict #+ Dict])) - (codata [function]) [compiler #+ Monad<Lux> with-gensyms] (macro [syntax #+ syntax:] [ast] diff --git a/stdlib/source/lux/codata/function.lux b/stdlib/source/lux/function.lux index cddf5d472..cddf5d472 100644 --- a/stdlib/source/lux/codata/function.lux +++ b/stdlib/source/lux/function.lux diff --git a/stdlib/source/lux/codata/cont.lux b/stdlib/source/lux/function/cont.lux index 7f1b918f0..f6330cbe4 100644 --- a/stdlib/source/lux/codata/cont.lux +++ b/stdlib/source/lux/function/cont.lux @@ -4,8 +4,8 @@ (control functor applicative monad) - (data (coll list))) - (.. function)) + (data (coll list)) + function)) ## [Types] (type: #export (Cont a) diff --git a/stdlib/source/lux/codata/reader.lux b/stdlib/source/lux/function/reader.lux index 955b4bba3..955b4bba3 100644 --- a/stdlib/source/lux/codata/reader.lux +++ b/stdlib/source/lux/function/reader.lux diff --git a/stdlib/source/lux/codata/state.lux b/stdlib/source/lux/function/state.lux index 5f5b96e4b..5f5b96e4b 100644 --- a/stdlib/source/lux/codata/state.lux +++ b/stdlib/source/lux/function/state.lux diff --git a/stdlib/source/lux/codata/thunk.lux b/stdlib/source/lux/function/thunk.lux index 12af1dfe2..12af1dfe2 100644 --- a/stdlib/source/lux/codata/thunk.lux +++ b/stdlib/source/lux/function/thunk.lux diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux index 002208fd2..a527a7dda 100644 --- a/stdlib/source/lux/host.jvm.lux +++ b/stdlib/source/lux/host.jvm.lux @@ -3,7 +3,6 @@ (lux (control monad [enum]) [io #+ IO Monad<IO> io] - (codata function) (data (coll [list #* "" Functor<List> Fold<List> "List/" Monad<List> Monoid<List>] [array #+ Array]) number diff --git a/stdlib/test/test/lux/cli.lux b/stdlib/test/test/lux/cli.lux index e8dbf1f82..8393d459b 100644 --- a/stdlib/test/test/lux/cli.lux +++ b/stdlib/test/test/lux/cli.lux @@ -8,7 +8,6 @@ [product] [sum] (coll [list])) - (codata function) ["&" cli] ["R" math/random] pipe) diff --git a/stdlib/test/test/lux/concurrency/actor.lux b/stdlib/test/test/lux/concurrency/actor.lux index e13a1ccc5..49100ef01 100644 --- a/stdlib/test/test/lux/concurrency/actor.lux +++ b/stdlib/test/test/lux/concurrency/actor.lux @@ -6,8 +6,7 @@ text/format [error #- fail]) (concurrency [promise #+ Promise Monad<Promise> "Promise/" Monad<Promise>] - ["&" actor #+ actor:]) - (codata function)) + ["&" actor #+ actor:])) lux/test) (actor: Adder diff --git a/stdlib/test/test/lux/concurrency/frp.lux b/stdlib/test/test/lux/concurrency/frp.lux index 80f15ad3d..6c2e9af99 100644 --- a/stdlib/test/test/lux/concurrency/frp.lux +++ b/stdlib/test/test/lux/concurrency/frp.lux @@ -6,8 +6,7 @@ text/format [error #- fail]) (concurrency [promise #+ Promise Monad<Promise> "Promise/" Monad<Promise>] - ["&" frp]) - (codata function)) + ["&" frp])) lux/test) (def: (List->Chan values) diff --git a/stdlib/test/test/lux/concurrency/promise.lux b/stdlib/test/test/lux/concurrency/promise.lux index d75d6d676..a054e5a96 100644 --- a/stdlib/test/test/lux/concurrency/promise.lux +++ b/stdlib/test/test/lux/concurrency/promise.lux @@ -6,7 +6,6 @@ text/format [error #- fail]) (concurrency ["&" promise]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/concurrency/stm.lux b/stdlib/test/test/lux/concurrency/stm.lux index f9e46b91d..d48d20a9d 100644 --- a/stdlib/test/test/lux/concurrency/stm.lux +++ b/stdlib/test/test/lux/concurrency/stm.lux @@ -7,7 +7,6 @@ text/format) (concurrency ["&" stm] [promise]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/coll/dict.lux b/stdlib/test/test/lux/data/coll/dict.lux index ff36cc362..3df06abcf 100644 --- a/stdlib/test/test/lux/data/coll/dict.lux +++ b/stdlib/test/test/lux/data/coll/dict.lux @@ -9,7 +9,6 @@ [char] (coll ["&" dict] [list "List/" Fold<List> Functor<List>])) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/codata/coll/stream.lux b/stdlib/test/test/lux/data/coll/stream.lux index 4c69f9f7b..2be6aa054 100644 --- a/stdlib/test/test/lux/codata/coll/stream.lux +++ b/stdlib/test/test/lux/data/coll/stream.lux @@ -5,11 +5,10 @@ comonad) (data [text "Text/" Monoid<Text>] text/format - (coll [list]) + (coll [list] + ["&" stream]) [number "Nat/" Codec<Text,Nat>]) - (codata function - [cont] - (coll ["&" stream])) + (function [cont]) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/coll/tree/zipper.lux b/stdlib/test/test/lux/data/coll/tree/zipper.lux index 888701bbe..ed0318cfe 100644 --- a/stdlib/test/test/lux/data/coll/tree/zipper.lux +++ b/stdlib/test/test/lux/data/coll/tree/zipper.lux @@ -8,7 +8,6 @@ [text "Text/" Monoid<Text>] text/format [number]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/coll/vector.lux b/stdlib/test/test/lux/data/coll/vector.lux index c82493df0..735374c5c 100644 --- a/stdlib/test/test/lux/data/coll/vector.lux +++ b/stdlib/test/test/lux/data/coll/vector.lux @@ -7,7 +7,6 @@ [text "Text/" Monoid<Text>] text/format [number]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/error/exception.lux b/stdlib/test/test/lux/data/error/exception.lux index 96108e448..41d01077e 100644 --- a/stdlib/test/test/lux/data/error/exception.lux +++ b/stdlib/test/test/lux/data/error/exception.lux @@ -7,7 +7,6 @@ [text] text/format [number]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/log.lux b/stdlib/test/test/lux/data/log.lux index 8854ec191..40a124490 100644 --- a/stdlib/test/test/lux/data/log.lux +++ b/stdlib/test/test/lux/data/log.lux @@ -6,7 +6,6 @@ [text "Text/" Monoid<Text> Eq<Text>] [number] [product]) - (codata function) pipe) lux/test) diff --git a/stdlib/test/test/lux/data/number/complex.lux b/stdlib/test/test/lux/data/number/complex.lux index f5c89d5ee..8ed27680c 100644 --- a/stdlib/test/test/lux/data/number/complex.lux +++ b/stdlib/test/test/lux/data/number/complex.lux @@ -9,7 +9,6 @@ ["&" number/complex] (coll [list "List/" Fold<List> Functor<List>]) [product]) - (codata function) [math] ["R" math/random] pipe) diff --git a/stdlib/test/test/lux/data/number/ratio.lux b/stdlib/test/test/lux/data/number/ratio.lux index a082050f8..c1f7e104f 100644 --- a/stdlib/test/test/lux/data/number/ratio.lux +++ b/stdlib/test/test/lux/data/number/ratio.lux @@ -9,7 +9,6 @@ ["&" number/ratio "&/" Number<Ratio>] (coll [list "List/" Fold<List> Functor<List>]) [product]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/product.lux b/stdlib/test/test/lux/data/product.lux index 3021f8b6d..00337ebfb 100644 --- a/stdlib/test/test/lux/data/product.lux +++ b/stdlib/test/test/lux/data/product.lux @@ -4,8 +4,7 @@ (control monad) (data product [text "Text/" Monoid<Text>] - [number]) - (codata function)) + [number])) lux/test) (test: "Products" diff --git a/stdlib/test/test/lux/data/sum.lux b/stdlib/test/test/lux/data/sum.lux index 907eacac0..8ab124c1b 100644 --- a/stdlib/test/test/lux/data/sum.lux +++ b/stdlib/test/test/lux/data/sum.lux @@ -6,7 +6,6 @@ [text "Text/" Monoid<Text>] [number] (coll [list])) - (codata function) pipe) lux/test) diff --git a/stdlib/test/test/lux/data/text.lux b/stdlib/test/test/lux/data/text.lux index ce72cd520..4563d9b12 100644 --- a/stdlib/test/test/lux/data/text.lux +++ b/stdlib/test/test/lux/data/text.lux @@ -7,7 +7,6 @@ text/format [number] (coll [list])) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/data/text/format.lux b/stdlib/test/test/lux/data/text/format.lux index ed05a013d..97b955e20 100644 --- a/stdlib/test/test/lux/data/text/format.lux +++ b/stdlib/test/test/lux/data/text/format.lux @@ -4,8 +4,7 @@ (control monad) (data text/format [text] - [number]) - (codata function)) + [number])) lux/test) (test: "Formatters" diff --git a/stdlib/test/test/lux/codata/cont.lux b/stdlib/test/test/lux/function/cont.lux index cef7661b0..ba1224bb8 100644 --- a/stdlib/test/test/lux/codata/cont.lux +++ b/stdlib/test/test/lux/function/cont.lux @@ -6,8 +6,7 @@ text/format [number] [product]) - (codata function - ["&" cont]) + (function ["&" cont]) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/test/lux/codata/reader.lux b/stdlib/test/test/lux/function/reader.lux index 021ee1ab9..14b95af94 100644 --- a/stdlib/test/test/lux/codata/reader.lux +++ b/stdlib/test/test/lux/function/reader.lux @@ -5,8 +5,7 @@ (data [text "Text/" Monoid<Text>] text/format [number]) - (codata function - ["&" reader]) + (function ["&" reader]) pipe) lux/test) diff --git a/stdlib/test/test/lux/codata/state.lux b/stdlib/test/test/lux/function/state.lux index c6a6c7ee6..186b786e0 100644 --- a/stdlib/test/test/lux/codata/state.lux +++ b/stdlib/test/test/lux/function/state.lux @@ -6,8 +6,7 @@ text/format [number] [product]) - (codata function - ["&" state]) + (function ["&" state]) pipe) lux/test) diff --git a/stdlib/test/test/lux/codata/thunk.lux b/stdlib/test/test/lux/function/thunk.lux index eb6a24701..e3e9aca1b 100644 --- a/stdlib/test/test/lux/codata/thunk.lux +++ b/stdlib/test/test/lux/function/thunk.lux @@ -2,7 +2,7 @@ lux (lux [io] (control monad) - (codata ["&" thunk]) + (function ["&" thunk]) pipe ["R" math/random]) lux/test) diff --git a/stdlib/test/test/lux/host.jvm.lux b/stdlib/test/test/lux/host.jvm.lux index ff875ec2a..f58b706d5 100644 --- a/stdlib/test/test/lux/host.jvm.lux +++ b/stdlib/test/test/lux/host.jvm.lux @@ -6,7 +6,6 @@ [number] [product] [text "Text/" Eq<Text>]) - (codata function) ["&" host #+ jvm-import class: interface: object] ["R" math/random] pipe) diff --git a/stdlib/test/test/lux/io.lux b/stdlib/test/test/lux/io.lux index e7238aef1..839996e81 100644 --- a/stdlib/test/test/lux/io.lux +++ b/stdlib/test/test/lux/io.lux @@ -4,8 +4,7 @@ (control monad) (data [text "Text/" Monoid<Text> Eq<Text>] text/format - [number]) - (codata function)) + [number])) lux/test) (test: "I/O" diff --git a/stdlib/test/test/lux/macro/ast.lux b/stdlib/test/test/lux/macro/ast.lux index 58efc1b83..768dafbf8 100644 --- a/stdlib/test/test/lux/macro/ast.lux +++ b/stdlib/test/test/lux/macro/ast.lux @@ -1,7 +1,6 @@ (;module: lux (lux [io] - (codata function) (control monad) (data [text "T/" Eq<Text>] text/format diff --git a/stdlib/test/test/lux/macro/syntax.lux b/stdlib/test/test/lux/macro/syntax.lux index 329e16a0f..b9dd304e1 100644 --- a/stdlib/test/test/lux/macro/syntax.lux +++ b/stdlib/test/test/lux/macro/syntax.lux @@ -10,7 +10,6 @@ [char] [ident] [error #- fail]) - (codata function) ["R" math/random] pipe [compiler] diff --git a/stdlib/test/test/lux/math.lux b/stdlib/test/test/lux/math.lux index b1c9b100e..4d8b8d12a 100644 --- a/stdlib/test/test/lux/math.lux +++ b/stdlib/test/test/lux/math.lux @@ -8,7 +8,6 @@ [number "r/" Number<Real>] (coll [list "List/" Fold<List> Functor<List>]) [product]) - (codata function) ["R" math/random] pipe ["&" math]) diff --git a/stdlib/test/test/lux/math/logic/continuous.lux b/stdlib/test/test/lux/math/logic/continuous.lux index ab907d6bd..fa08ec864 100644 --- a/stdlib/test/test/lux/math/logic/continuous.lux +++ b/stdlib/test/test/lux/math/logic/continuous.lux @@ -2,7 +2,6 @@ lux (lux [io] (control monad) - (codata function) ["R" math/random] pipe ["&" math/logic/continuous]) diff --git a/stdlib/test/test/lux/math/logic/fuzzy.lux b/stdlib/test/test/lux/math/logic/fuzzy.lux index 45c54bb44..afcd8b731 100644 --- a/stdlib/test/test/lux/math/logic/fuzzy.lux +++ b/stdlib/test/test/lux/math/logic/fuzzy.lux @@ -2,7 +2,6 @@ lux (lux [io] (control monad) - (codata function) (data (coll [list] [set]) [bool "B/" Eq<Bool>] @@ -16,6 +15,7 @@ (do-template [<desc> <gen> <triangle> <lt> <lte> <gt> <gte>] [(test: (format "[" <desc> "] " "Triangles") + #seed +1981055421923629192 [x <gen> y <gen> z <gen> @@ -52,6 +52,7 @@ (do-template [<desc> <gen> <trapezoid> <lt> <lte> <gt> <gte>] [(test: (format "[" <desc> "] " "Trapezoids") + #seed +8418494856347027801 [w <gen> x <gen> y <gen> @@ -94,6 +95,7 @@ ) (test: "Gaussian" + #seed +1000679812414 [deviation R;real center R;real #let [gaussian (&;gaussian deviation center)]] diff --git a/stdlib/test/test/lux/math/simple.lux b/stdlib/test/test/lux/math/simple.lux index 7a70ec1a6..32f5fb20c 100644 --- a/stdlib/test/test/lux/math/simple.lux +++ b/stdlib/test/test/lux/math/simple.lux @@ -8,7 +8,6 @@ [number "r/" Number<Real>] (coll [list "List/" Fold<List> Functor<List>]) [product]) - (codata function) ["R" math/random] pipe ["&" math/simple]) diff --git a/stdlib/test/test/lux/pipe.lux b/stdlib/test/test/lux/pipe.lux index 383043ebb..08866a3f4 100644 --- a/stdlib/test/test/lux/pipe.lux +++ b/stdlib/test/test/lux/pipe.lux @@ -7,7 +7,6 @@ [product] identity [text "T/" Eq<Text>]) - (codata function) ["R" math/random] pipe) lux/test) diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux index 53a003756..ca0079092 100644 --- a/stdlib/test/tests.lux +++ b/stdlib/test/tests.lux @@ -12,11 +12,10 @@ ["_;" pipe] ["_;" lexer] (lexer ["_;" regex]) - (codata ["_;" cont] - ["_;" reader] - ["_;" state] - ["_;" thunk] - (coll ["_;" stream])) + (function ["_;" cont] + ["_;" reader] + ["_;" state] + ["_;" thunk]) (concurrency ["_;" actor] ["_;" atom] ["_;" frp] @@ -51,7 +50,8 @@ (tree [rose] [zipper]) ["_;" seq] - ["_;" priority-queue]) + ["_;" priority-queue] + ["_;" stream]) (text [format]) ) ["_;" math] |