Changes in libcfa/prelude/builtins.c [0d8266c:427854b]

File:

• libcfa/prelude/builtins.c (modified) (3 diffs)

libcfa/prelude/builtins.c

@@ -10 +10 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jun 25 18:06:52 2019
-// Update Count     : 97
+// Last Modified On : Thu Nov 21 16:31:39 2019
+// Update Count     : 101
 //
 
@@ -49 +49 @@
 void abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
 
+forall(dtype T)
+static inline T & identity(T & i) {
+        return i;
+}
+
+// generator support
+struct $generator {
+        inline int;
+};
+
+static inline void  ?{}($generator & this) { ((int&)this) = 0; }
+static inline void ^?{}($generator &) {}
+
+trait is_generator(dtype T) {
+      void main(T & this);
+      $generator * get_generator(T & this);
+};
+
+forall(dtype T | is_generator(T))
+static inline T & resume(T & gen) {
+        main(gen);
+        return gen;
+}
+
 // implicit increment, decrement if += defined, and implicit not if != defined
 
@@ -69 +93 @@
 
 // universal typed pointer constant
-// Compiler issue: there is a problem with anonymous types that do not have a size.
-static inline forall( dtype DT | sized(DT) ) DT * intptr( uintptr_t addr ) { return (DT *)addr; }
+static inline forall( dtype DT ) DT * intptr( uintptr_t addr ) { return (DT *)addr; }
 
 // exponentiation operator implementation