Changeset 71f3d45

Timestamp:

Nov 27, 2024, 5:01:26 PM (3 weeks ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

f5e37a4

Parents:

108b2c7

Message:

Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic.

May help (tbd) effort to move enum.hfa to builtins.

Location:

libcfa/src

Files:

• rational.cfa (modified) (1 diff)
• rational.hfa (modified) (1 diff)

libcfa/src/rational.cfa

@@ -201 +201 @@
                 return is;
         } // ?|?
-
+} // distribution
+
+forall( T ) {
         forall( ostype & | ostream( ostype ) | { ostype & ?|?( ostype &, T ); } ) {
         ostype & ?|?( ostype & os, rational(T) r ) {

libcfa/src/rational.hfa

@@ -77 +77 @@
         forall( istype & | istream( istype ) | { istype & ?|?( istype &, T & ); } )
         istype & ?|?( istype &, rational(T) & );
+} // distribution
 
+forall( T ) {
         forall( ostype & | ostream( ostype ) | { ostype & ?|?( ostype &, T ); } ) {
                 ostype & ?|?( ostype &, rational(T) );