@effekt-lang/effekt 0.70.0 → 0.71.0

package/libraries/common/effekt.effekt

@@ -794,4 +794,65 @@ effect splice[A](x: A): Unit
 // When adding an implicit value argument ?sourcePosition of this type, will have the information
 // of the call site unless passed explicitly.
 
-record SourcePosition(file: String, startLine: Int, startColumn: Int, endLine: Int, endColumn: Int)
+record SourcePosition(file: String, startLine: Int, startColumn: Int, endLine: Int, endColumn: Int)
+
+// C backend definitions
+// =====================
+// 
+// Type definitions & constructors for C types
+// Should only be used to automatically generate effekt wrappers for C functions
+
+namespace C {
+  extern type String = llvm "ptr"
+  extern type Int = llvm "i64"
+  extern type Double = llvm "double"
+  extern type Float = llvm "float"
+  extern type Ptr = llvm "ptr"
+  extern type Void = llvm "void"
+
+  // Type conversion: effekt -> C
+  extern def String(value: effekt::String): String = llvm """
+      %conv = call ptr @c_bytearray_into_nullterminated_string(%Pos ${value})
+      ret ptr %conv
+    """
+  extern def Int(value: effekt::Int) at {}: Int = llvm "ret %Int ${value}"
+  extern def Double(value: effekt::Double) at {}: Double = llvm "ret %Double ${value}"
+  extern def Float(value: effekt::Double) at {}: Float = llvm """
+    %trunc = fptrunc %Double ${value} to float
+    ret float %trunc
+  """
+  extern def Bool(value: effekt::Bool) at {}: Int = llvm """
+    %bool = extractvalue %Pos ${value}, 0
+    ret i64 %bool
+  """
+  extern def Null() at {}: Ptr = llvm "ret ptr null"
+
+  // Type conversion: C -> effekt
+  extern def toString(value: String): effekt::String = llvm """
+      %conv = call ptr @c_bytearray_from_nullterminated_string(ptr ${value})
+      ret %Pos %conv
+    """
+  extern def toInt(value: Int) at {}: effekt::Int = llvm "ret %Int ${value}"
+  extern def toDouble(value: Double) at {}: effekt::Double = llvm "ret %Double ${value}"
+  extern def toFloat(value: Float) at {}: effekt::Double = llvm """
+    %ext = fpext float ${value} to %Double
+    ret %Double %ext
+  """
+
+  // Additional utility
+  extern def isNull(ptr: C::Ptr): Bool = llvm """
+    %cmp = icmp eq ptr ${ptr}, null
+    %ext = zext i1 %cmp to i64
+    %bool = insertvalue %Pos zeroinitializer, i64 %ext, 0
+    ret %Pos %bool
+  """
+
+  extern def toBool(value: C::Int): Bool = llvm """
+    %cmp = icmp ne %Int ${value}, 0
+    %ext = zext i1 %cmp to i64
+    %bool = insertvalue %Pos zeroinitializer, i64 %ext, 0
+    ret %Pos %bool
+  """
+}
+
+def infixEq(v1: C::Int, v2: C::Int): Bool = C::toInt(v1) == C::toInt(v2)

package/libraries/llvm/rts.ll

@@ -795,6 +795,34 @@ define ccc %Double @coercePosDouble(%Pos %input) {
     ret %Double %d
 }
 
+define ccc %Pos @coerceFloatPos(float %input) {
+    %ext    = fpext float %input to double
+    %number = bitcast double %ext to i64
+    %boxed1 = insertvalue %Pos zeroinitializer, i64 %number, 0
+    %boxed2 = insertvalue %Pos %boxed1, %Object null, 1
+    ret %Pos %boxed2
+}
+
+define ccc float @coercePosFloat(%Pos %input) {
+    %unboxed = extractvalue %Pos %input, 0
+    %d = bitcast i64 %unboxed to double
+    %trunc = fptrunc double %d to float
+    ret float %trunc
+}
+
+define ccc %Pos @coercePtrPos(ptr %input) {
+    %number = ptrtoint ptr %input to i64
+    %boxed1 = insertvalue %Pos zeroinitializer, i64 %number, 0
+    %boxed2 = insertvalue %Pos %boxed1, %Object null, 1
+    ret %Pos %boxed2
+}
+
+define ccc ptr @coercePosPtr(%Pos %input) {
+    %unboxed = extractvalue %Pos %input, 0
+    %d = inttoptr i64 %unboxed to ptr
+    ret ptr %d
+}
+
 
 ; Scope domains
 !0 = !{!"types"}

package/licenses/mit license - mit-license.html

@@ -1538,11 +1538,11 @@ const a=JSON.parse(document.getElementById("wp-emoji-settings").textContent),o=(
 //# sourceURL=https://opensource.org/wp-includes/js/wp-emoji-loader.min.js
 </script>
 
-<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b6c4b835b271',t:'MTc4MjcyMzM0NA=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
+<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b8a05e141f2f',t:'MTc4MjcyMzQyMA=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
 </html>
 <!--
-	generated 17 seconds ago
+	generated 15 seconds ago
 	generated in 0.712 seconds
 	served from batcache in 0.003 seconds
-	expires in 283 seconds
+	expires in 285 seconds
 -->

package/licenses/the bsd license - bsd-license.html

@@ -1523,7 +1523,7 @@ _stq.push([ "clickTrackerInit", "210318891", "373" ]);
 </script>
 <script type="text/plain" data-service="jetpack-statistics" data-category="statistics" data-wp-strategy="defer" defer fetchpriority="low" id="jetpack-stats-js" data-cmplz-src="https://stats.wp.com/e-202627.js"></script>
 <script id="cmplz-cookiebanner-js-extra">
-var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"165","version":"7.5.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https://opensource.org/wp-json/complianz/v1/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"22","cookie_path":"/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https://opensource.org/wp-content/uploads/complianz/css/banner-{banner_id}-{type}.css?v=165","page_links":{"eu":{"cookie-statement":{"title":"","url":"https://opensource.org/license/wxwindows"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
+var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"165","version":"7.5.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https://opensource.org/wp-json/complianz/v1/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"22","cookie_path":"/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https://opensource.org/wp-content/uploads/complianz/css/banner-{banner_id}-{type}.css?v=165","page_links":{"eu":{"cookie-statement":{"title":"","url":"https://opensource.org/meeting-minutes/minutes20100421"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
 //# sourceURL=cmplz-cookiebanner-js-extra
 </script>
 <script defer id="cmplz-cookiebanner-js" src="https://opensource.org/wp-content/plugins/complianz-gdpr/cookiebanner/js/complianz.min.js?ver=1781894364"></script>
@@ -1536,11 +1536,11 @@ const a=JSON.parse(document.getElementById("wp-emoji-settings").textContent),o=(
 //# sourceURL=https://opensource.org/wp-includes/js/wp-emoji-loader.min.js
 </script>
 
-<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b6c35e2ab271',t:'MTc4MjcyMzM0Mw=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
+<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b89f8cc51f2f',t:'MTc4MjcyMzQyMA=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
 </html>
 <!--
-	generated 239 seconds ago
-	generated in 0.859 seconds
+	generated 25 seconds ago
+	generated in 0.887 seconds
 	served from batcache in 0.003 seconds
-	expires in 61 seconds
+	expires in 275 seconds
 -->

package/licenses/the mit license - mit.html

@@ -1525,7 +1525,7 @@ _stq.push([ "clickTrackerInit", "210318891", "395" ]);
 </script>
 <script type="text/plain" data-service="jetpack-statistics" data-category="statistics" data-wp-strategy="defer" defer fetchpriority="low" id="jetpack-stats-js" data-cmplz-src="https://stats.wp.com/e-202627.js"></script>
 <script id="cmplz-cookiebanner-js-extra">
-var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"165","version":"7.5.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https://opensource.org/wp-json/complianz/v1/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"22","cookie_path":"/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https://opensource.org/wp-content/uploads/complianz/css/banner-{banner_id}-{type}.css?v=165","page_links":{"eu":{"cookie-statement":{"title":"","url":"https://opensource.org/license/wxwindows"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
+var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"165","version":"7.5.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https://opensource.org/wp-json/complianz/v1/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"22","cookie_path":"/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https://opensource.org/wp-content/uploads/complianz/css/banner-{banner_id}-{type}.css?v=165","page_links":{"eu":{"cookie-statement":{"title":"","url":"https://opensource.org/meeting-minutes/minutes20100421"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
 //# sourceURL=cmplz-cookiebanner-js-extra
 </script>
 <script defer id="cmplz-cookiebanner-js" src="https://opensource.org/wp-content/plugins/complianz-gdpr/cookiebanner/js/complianz.min.js?ver=1781894364"></script>
@@ -1538,11 +1538,11 @@ const a=JSON.parse(document.getElementById("wp-emoji-settings").textContent),o=(
 //# sourceURL=https://opensource.org/wp-includes/js/wp-emoji-loader.min.js
 </script>
 
-<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b6c3deecb271',t:'MTc4MjcyMzM0Mw=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
+<script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a133b89fed451f2f',t:'MTc4MjcyMzQyMA=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
 </html>
 <!--
-	generated 208 seconds ago
-	generated in 0.720 seconds
+	generated 40 seconds ago
+	generated in 0.700 seconds
 	served from batcache in 0.003 seconds
-	expires in 92 seconds
+	expires in 260 seconds
 -->

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@effekt-lang/effekt",
   "author": "Jonathan Brachthäuser",
-  "version": "0.70.0",
+  "version": "0.71.0",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/effekt-lang/effekt.git"