aboutsummaryrefslogtreecommitdiff
path: root/tests/run.scm
diff options
context:
space:
mode:
Diffstat (limited to 'tests/run.scm')
-rw-r--r--tests/run.scm39
1 files changed, 30 insertions, 9 deletions
diff --git a/tests/run.scm b/tests/run.scm
index 8d78396..6110b98 100644
--- a/tests/run.scm
+++ b/tests/run.scm
@@ -2,29 +2,43 @@
(test-begin "algebraic-structures")
-(test-begin "monoid")
+(test-begin "semigroup")
-(import (algebraic-structures monoid))
+(import (algebraic-structures semigroup))
-(module (mod7 monoid) = (algebraic-structures monoid)
+(module (mod7 semigroup) = (algebraic-structures semigroup)
(import scheme
(chicken module)
(chicken base))
- (export <> unit)
+ (export <>)
(define (<> x y)
(assert (integer? x))
(assert (integer? y))
(assert (not (zero? x)))
(assert (not (zero? y)))
- (modulo (* x y) 7))
+ (modulo (* x y) 7)))
+
+(import (prefix (algebraic-structures semigroup) mod7:<>))
+
+(test 5 (mod7:<> 3 4))
+
+(test-end "semigroup")
+
+(import (algebraic-structures monoid))
+
+(module (mod7 monoid) = (algebraic-structures monoid)
+ (import scheme
+ (chicken module)
+ (chicken base))
+ (reexport (mod7 semigroup))
+ (export unit)
(define unit 1))
(import (prefix (mod7 monoid) mod7:)
(srfi 1))
-(test 5 (mod7:<> 3 4))
(test 1 mod7:unit)
(test-end "monoid")
@@ -95,18 +109,25 @@
(test-begin "monoid.fold")
-(module (product monoid) = (algebraic-structures monoid)
+(module (product semigroup) = (algebraic-structures semigroup)
(import scheme
(chicken base)
(chicken module))
- (export <> unit)
+ (export <>)
(define (<> x y)
(assert (number? x))
(assert (not (zero? x)))
(assert (number? y))
(assert (not (zero? y)))
- (* x y))
+ (* x y)))
+
+(module (product monoid) = (algebraic-structures monoid)
+ (import scheme
+ (chicken base)
+ (chicken module))
+ (reexport (product semigroup))
+ (export unit)
(define unit 1))