added a configure option to disable isocline

2025-09-17 22:51:43 +09:00
parent 0da9721c9f
commit 8c54c12ea7
8 changed files with 151 additions and 73 deletions
--- a/src/Magnitude.hak
+++ b/src/Magnitude.hak
@ -6,7 +6,7 @@ class Magnitude: Object {
 	fun >= (oprnd) { return ((self < oprnd):not) }
 }

-class(#limited) Number: Magnitude {
+class[#limited] Number: Magnitude {
 	fun + (oprnd) { return (+ self oprnd) }
 	fun - (oprnd) { return (- self oprnd) }
 	fun * (oprnd) { return (* self oprnd) }