From f81fd718643bfbf81420d3904bfc35d44fa25ed4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 27 Jan 2017 05:58:27 -0400 Subject: - Number no longer depends on Ord. --- stdlib/source/lux/control/number.lux | 8 ++------ stdlib/source/lux/data/number.lux | 3 --- stdlib/source/lux/math/ratio.lux | 1 - 3 files changed, 2 insertions(+), 10 deletions(-) (limited to 'stdlib/source') diff --git a/stdlib/source/lux/control/number.lux b/stdlib/source/lux/control/number.lux index e24d61d9b..52ed7bf0f 100644 --- a/stdlib/source/lux/control/number.lux +++ b/stdlib/source/lux/control/number.lux @@ -1,14 +1,10 @@ (;module: - lux - (lux/control [ord])) + lux) ## [Signatures] (sig: #export (Number n) {#;doc "Everything that should be expected of a number type."} - - (: (ord;Ord n) - ord) - + (do-template [] [(: (-> n n n) )] [+] [-] [*] [/] [%]) diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index ab097e449..998b42ea8 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -36,7 +36,6 @@ ) (struct: #export _ (Number Nat) - (def: ord Ord) (def: + n.+) (def: - n.-) (def: * n.*) @@ -52,7 +51,6 @@ (do-template [ <+> <-> <*> <%> <=> <<> <0> <1> <-1>] [(struct: #export _ (Number ) - (def: ord ) (def: + <+>) (def: - <->) (def: * <*>) @@ -75,7 +73,6 @@ ) (struct: #export _ (Number Deg) - (def: ord Ord) (def: + d.+) (def: - d.-) (def: * d.*) diff --git a/stdlib/source/lux/math/ratio.lux b/stdlib/source/lux/math/ratio.lux index 5d23f6961..fb86b1fed 100644 --- a/stdlib/source/lux/math/ratio.lux +++ b/stdlib/source/lux/math/ratio.lux @@ -109,7 +109,6 @@ (def: >= q.>=)) (struct: #export _ (Number Ratio) - (def: ord Ord) (def: + q.+) (def: - q.-) (def: * q.*) -- cgit v1.2.3