diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 19:19:18 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 19:19:18 +0900 |
| commit | 8a249bc142d021b42a1c71876c6adf3d1168f270 (patch) | |
| tree | 958145395d7143926b94ca241cdeb5477e140a0e /examples/mod7.scm | |
| parent | b0dfdae06b34a7b760a800970cbc4d668cf32fc0 (diff) | |
Update examples
Diffstat (limited to 'examples/mod7.scm')
| -rw-r--r-- | examples/mod7.scm | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/examples/mod7.scm b/examples/mod7.scm index cfdce61..119c401 100644 --- a/examples/mod7.scm +++ b/examples/mod7.scm @@ -7,7 +7,7 @@ (module (mod7 semigroup) = (algebraic-structures semigroup) (import scheme (chicken module) - (chicken base)) + (only (chicken base) assert)) (export <>) (define (<> x y) @@ -20,7 +20,7 @@ (module (mod7 monoid) = (algebraic-structures monoid) (import scheme (chicken module) - (chicken base)) + (only (mod7 semigroup))) (reexport (mod7 semigroup)) (export unit) @@ -28,9 +28,10 @@ (module (mod7 group) = (algebraic-structures group) (import scheme - (chicken base) + (only (chicken base) assert) (chicken module) - matchable) + matchable + (only (mod7 monoid))) (reexport (mod7 monoid)) (export inv) @@ -47,5 +48,5 @@ (module (mod7 fold) = ((algebraic-structures monoid fold) (mod7 monoid) (algebraic-structures list foldable))) -(import (prefix (mod7 group) mod7:) - (prefix (mod7 fold) mod7:)) +;; (import (prefix (mod7 group) mod7:) +;; (prefix (mod7 fold) mod7:)) |