Adds instance Dividable Integer CReal

coalton-lang · Oct 16, 2024 · 80ad3cc · 80ad3cc
1 parent 60d3e81
commit 80ad3cc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/library/computable-reals/computable-reals.lisp b/library/computable-reals/computable-reals.lisp
@@ -104,6 +104,12 @@ This threshold is used to ensure `Eq` and `Ord` instances terminate. (In general
       (lisp Creal (n)
         (cr:/r n)))))
 
+(coalton-toplevel
+
+  (define-instance (Dividable Integer CReal)
+    (define (general/ a b)
+      (/ (fromint a) (fromint b)))))
+
 (coalton-toplevel
 
   (define-instance (math:Exponentiable Creal)