@effekt-lang/effekt 0.72.0 → 0.74.0

package/libraries/common/effekt.effekt

@@ -152,6 +152,9 @@ extern def infixPlusPlus(s1: String, s2: String) at {}: String =
     ret %Pos %spz
   """
 
+/// Beware that this function is backend-dependent.
+/// If you want to get the number of bytes that a string would take up in a UTF-8 encoding,
+/// use `string::utf8ByteLength` instead.
 extern def length(str: String) at {}: Int =
   js "${str}.length"
   chez "(string-length ${str})"
@@ -808,6 +811,7 @@ namespace C {
   extern type Double = llvm "double"
   extern type Float = llvm "float"
   extern type Ptr = llvm "ptr"
+  extern type Obj = llvm "%CObject"
   extern type Void = llvm "void"
 
   // Type conversion: effekt -> C

package/libraries/common/string.effekt

@@ -204,6 +204,23 @@ def lastIndexOf(str: String, sub: String, from: Int): Option[Int] = {
   go(from)
 }
 
+namespace internal {
+  def utf8ByteLength(str: String): Int = stream::sum {
+    for {str.each} { (c: Char) =>
+      do emit(c.utf8ByteCount)
+    }
+  }
+}
+
+/// Returns the number of bytes that the given `str` would take up in a UTF-8 encoding.
+extern def utf8ByteLength(str: String) at {io, global}: Int =
+  jsNode "Buffer.byteLength(${str}, 'utf8')"
+  llvm """
+    %x = call %Int @c_bytearray_size(%Pos ${str})
+    ret %Int %x
+  """ // via bytearray::fromString(str).length
+  default { internal::utf8ByteLength(str) }
+
 // TODO more efficient (native) implementations could be integrated as follows
 
 // extern def indexOf(str: String, sub: String) at {}: Option[Int] =

package/libraries/llvm/rts.ll

@@ -23,6 +23,9 @@
 ;   +-----------------+--------+-------------+
 %Object = type ptr
 
+; C-visible managed objects point at the payload, not at the header.
+%CObject = type ptr
+
 
 ; A Frame has the following layout
 ;
@@ -219,6 +222,41 @@ define void @eraseNegative(%Neg %val) alwaysinline {
 }
 
 
+; User-facing C-helpers for GC
+
+define %CObject @effekt_alloc(%Eraser %eraser, i64 %size) {
+    %object = call %Object @newObject(%Eraser %eraser, i64 %size)
+    %environment = call %Environment @objectEnvironment(%Object %object)
+    ret %CObject %environment
+}
+
+define void @effekt_share(%CObject %object) {
+    %isNull = icmp eq %CObject %object, null
+    br i1 %isNull, label %done, label %next
+
+    next:
+    %header = getelementptr %Header, ptr %object, i64 -1
+    call void @shareObject(%Object %header)
+    br label %done
+
+    done:
+    ret void
+}
+
+define void @effekt_erase(%CObject %object) {
+    %isNull = icmp eq %CObject %object, null
+    br i1 %isNull, label %done, label %next
+
+    next:
+    %header = getelementptr %Header, ptr %object, i64 -1
+    call void @eraseObject(%Object %header)
+    br label %done
+
+    done:
+    ret void
+}
+
+
 ; Arena management
 
 define private %Stack @getStack(%Prompt %prompt) {
@@ -823,6 +861,37 @@ define ccc ptr @coercePosPtr(%Pos %input) {
     ret ptr %d
 }
 
+define ccc %Pos @coerceObjPos(%CObject %input) {
+    entry:
+    %isNull = icmp eq %CObject %input, null
+    br i1 %isNull, label %done, label %next
+
+    next:
+    %header = getelementptr %Header, ptr %input, i64 -1
+    br label %done
+
+    done:
+    %object = phi %Object [ null, %entry ], [ %header, %next ]
+    %boxed1 = insertvalue %Pos zeroinitializer, i64 0, 0
+    %boxed2 = insertvalue %Pos %boxed1, %Object %object, 1
+    ret %Pos %boxed2
+}
+
+define ccc %CObject @coercePosObj(%Pos %input) {
+    entry:
+    %object = extractvalue %Pos %input, 1
+    %isNull = icmp eq %Object %object, null
+    br i1 %isNull, label %done, label %next
+
+    next:
+    %environment = call %Environment @objectEnvironment(%Object %object)
+    br label %done
+
+    done:
+    %result = phi %CObject [ null, %entry ], [ %environment, %next ]
+    ret %CObject %result
+}
+
 
 ; Scope domains
 !0 = !{!"types"}

package/libraries/llvm/types.c

@@ -1,10 +1,11 @@
 #ifndef EFFEKT_TYPES_C
 #define EFFEKT_TYPES_C
 
-
 typedef int64_t Int;
 typedef double Double;
 typedef uint8_t Byte;
+typedef void* CObject;
+typedef void (*Eraser)(void*);
 
 struct Header {
     uint64_t rc;
@@ -50,4 +51,8 @@ extern void shareNegative(struct Neg);
 extern void sharePositive(struct Pos);
 extern void shareStack(Stack);
 
+extern CObject effekt_alloc(Eraser eraser, uint64_t size);
+extern void effekt_share(CObject object);
+extern void effekt_erase(CObject object);
+
 #endif

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,5 +1,5 @@
 <!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title>
-<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=https://www.eclipse.org//legal/epl-2.0/index.xml type=application/rss+xml title><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css>  <script type="module" crossorigin src="/public/assets/legal/epl-2.0/index-B3AGZL5a.js"></script>
+<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=https://www.eclipse.org//legal/epl-2.0/index.xml type=application/rss+xml title><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css>  <script type="module" crossorigin src="/public/assets/legal/epl-2.0/index-C_u-k0hP.js"></script>
   <link rel="modulepreload" crossorigin href="/public/assets/main-Bt8LvxVt.js">
   <link rel="modulepreload" crossorigin href="/public/assets/get-body-content-BSqVYN3a.js">
   <link rel="modulepreload" crossorigin href="/public/assets/generate-body-content-B3DBgq4n.js">