Changeset 24d6572 for libcfa/src/stdlib.hfa

Timestamp:

Jun 12, 2023, 2:45:32 PM (13 months ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ast-experimental, master

Children:

62d62db

Parents:

34b4268 (diff), 251ce80 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into ast-experimental

File:

• libcfa/src/stdlib.hfa (modified) (3 diffs)

libcfa/src/stdlib.hfa

@@ -10 +10 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Dec 11 18:25:53 2022
-// Update Count     : 765
+// Last Modified On : Thu Feb  2 11:30:04 2023
+// Update Count     : 766
 //
 
@@ -367 +367 @@
 
         char random( void ) { return (unsigned long int)random(); }
-        char random( char u ) { return random( (unsigned long int)u ); } // [0,u)
+        char random( char u ) { return (unsigned long int)random( (unsigned long int)u ); } // [0,u)
         char random( char l, char u ) { return random( (unsigned long int)l, (unsigned long int)u ); } // [l,u)
         int random( void ) { return (long int)random(); }
-        int random( int u ) { return random( (long int)u ); } // [0,u]
+        int random( int u ) { return (long int)random( (long int)u ); } // [0,u]
         int random( int l, int u ) { return random( (long int)l, (long int)u ); } // [l,u)
         unsigned int random( void ) { return (unsigned long int)random(); }
-        unsigned int random( unsigned int u ) { return random( (unsigned long int)u ); } // [0,u]
+        unsigned int random( unsigned int u ) { return (unsigned long int)random( (unsigned long int)u ); } // [0,u]
         unsigned int random( unsigned int l, unsigned int u ) { return random( (unsigned long int)l, (unsigned long int)u ); } // [l,u)
 } // distribution
@@ -404 +404 @@
 //   calls( sprng );
 
-trait basic_prng( PRNG &, R ) {
+forall( PRNG &, R )
+trait basic_prng {
         void set_seed( PRNG & prng, R seed );                           // set seed
         R get_seed( PRNG & prng );                                                      // get seed