@effekt-lang/effekt 0.20.0 → 0.22.0

package/libraries/common/bytearray.effekt

@@ -41,6 +41,15 @@ extern global def unsafeSet(arr: ByteArray, index: Int, value: Byte): Unit =
   """
   chez "(bytevector-u8-set! ${arr} ${index} ${value})"
 
+/// Creates a new ByteArray of size `size` filled with the value `init`
+def bytearray(size: Int, init: Byte): ByteArray = {
+  val arr = allocate(size);
+  each(0, size) { i =>
+    unsafeSet(arr, i, init)
+  };
+  arr
+}
+
 def resize(source: ByteArray, size: Int): ByteArray = {
   val target = allocate(size)
   val n = min(source.size, target.size)

package/libraries/common/exception.effekt

@@ -50,7 +50,7 @@ def wrongFormat(msg: String): Nothing / Exception[WrongFormat] =
 /**
  * A fatal runtime error that cannot be caught
  */
-extern io def panic[R](msg: String): R =
+extern io def panic(msg: String): Nothing =
   js "(function() { throw ${msg} })()"
   chez "(raise ${msg})"
   llvm """

package/libraries/common/io/filesystem.effekt

@@ -109,6 +109,10 @@ def close(file: File): Unit / Exception[IOError] = {
   internal::checkResult(internal::close(file)); ()
 }
 
+def mkdir(path: String): Unit / Exception[IOError] = {
+  internal::checkResult(internal::mkdir(path)); ()
+}
+
 namespace internal {
 
   extern js """
@@ -149,6 +153,12 @@ namespace internal {
         if (err) { callback(err.errno) } else { callback(0) }
       })
     }
+
+    function mkdir(path, callback) {
+      fs.mkdir(path, (err) => {
+        if (err) { callback(err.errno) } else { callback(0) }
+      })
+    }
   """
 
   extern llvm """
@@ -158,6 +168,7 @@ namespace internal {
     declare void @c_fs_read(%Int, %Pos, %Int, %Int, %Int, %Stack)
     declare void @c_fs_write(%Int, %Pos, %Int, %Int, %Int, %Stack)
     declare void @c_fs_close(%Int, %Stack)
+    declare void @c_fs_mkdir(%Pos, %Stack)
   """
 
   extern async def openForReading(path: String): Int =
@@ -204,6 +215,13 @@ namespace internal {
       ret void
     """
 
+  extern async def mkdir(path: String): Int =
+    jsNode "$effekt.capture(callback => mkdir(${path}, callback))"
+    llvm """
+      call void @c_fs_mkdir(%Pos ${path}, %Stack %stack)
+      ret void
+    """
+
   def checkResult(result: Int): Int / Exception[IOError] =
     if (result < 0) {
       val ioError = fromNumber(internal::errorNumber(result));

package/libraries/common/resizable_array.effekt

@@ -29,7 +29,7 @@ def resizableArray[T](): ResizableArray[T] = resizableArray(8)
 
 /// Throw an OutOfBounds exception if index is not a valid index into arr
 def boundsCheck[T](arr: ResizableArray[T], index: Int): Unit / Exception[OutOfBounds] = {
-  if (index < 0 && index >= arr.size) {
+  if (index < 0 || index >= arr.size) {
     do raise(OutOfBounds(), "Array index out of bounds: " ++ show(index))
   }
 }

package/libraries/common/stream.effekt

@@ -282,7 +282,10 @@ def writeFile[R](path: String) { stream: () => R / emit[Byte] }: R / Exception[I
     push(0, offset)
     return r
   } with emit[Byte] { (byte) =>
-    if (offset >= buffer.size) { push(0, buffer.size) }
+    if (offset >= buffer.size) {
+      push(0, buffer.size)
+      offset = 0
+    }
     buffer.unsafeSet(offset, byte)
     offset = offset + 1
     resume(())
@@ -304,7 +307,6 @@ def readFile[R](path: String) { reader: () => R / read[Byte] }: R / Exception[IO
       case 0 =>
         do stop()
       case n =>
-        offset = 0
         length = n
     }
   }
@@ -313,7 +315,10 @@ def readFile[R](path: String) { reader: () => R / read[Byte] }: R / Exception[IO
     reader()
   } with read[Byte] {
     resume {
-      if (offset >= length) { pull() }
+      if (offset >= length) {
+        pull()
+        offset = 0
+      }
       val byte = buffer.unsafeGet(offset)
       offset = offset + 1
       return byte

package/libraries/llvm/io.c

@@ -71,7 +71,7 @@ void c_fs_open(String path, int flags, Stack stack) {
     uv_fs_t* request = malloc(sizeof(uv_fs_t));
     request->data = stack;
 
-    int result = uv_fs_open(uv_default_loop(), request, path_str, flags, 0666, c_resume_int_fs);
+    int result = uv_fs_open(uv_default_loop(), request, path_str, flags, 0777, c_resume_int_fs);
 
     if (result < 0) {
         uv_fs_req_cleanup(request);
@@ -79,7 +79,7 @@ void c_fs_open(String path, int flags, Stack stack) {
         resume_Int(stack, result);
     }
 
-    // We must free the string either way, since libuv copies it into the request
+    // Free the string since libuv copies it into the request
     free(path_str);
 
     return;
@@ -147,6 +147,29 @@ void c_fs_close(Int file, Stack stack) {
     }
 }
 
+void c_fs_mkdir(String path, Stack stack) {
+
+    // Convert the Effekt String to a null-terminated string
+    char* path_str = c_bytearray_into_nullterminated_string(path);
+    erasePositive((struct Pos) path);
+
+    uv_fs_t* request = malloc(sizeof(uv_fs_t));
+    request->data = stack;
+
+    // Perform the mkdir operation
+    int result = uv_fs_mkdir(uv_default_loop(), request, path_str, 0777, c_resume_int_fs);
+
+    if (result < 0) {
+        uv_fs_req_cleanup(request);
+        free(request);
+        resume_Int(stack, result);
+    }
+
+    // Free the string since libuv copies it into the request
+    free(path_str);
+
+    return;
+}
 
 /**
  * Maps the libuv error code to a stable (platform independent) numeric value.

package/libraries/llvm/rts.ll

@@ -151,7 +151,7 @@ define private %Prompt @currentPrompt(%Stack %stack) {
 define private %Prompt @freshPrompt() {
     %promptSize = ptrtoint ptr getelementptr (%PromptValue, ptr null, i64 1) to i64
     %prompt = call %Prompt @malloc(i64 %promptSize)
-    store %PromptValue zeroinitializer, %Prompt %prompt
+    store %PromptValue zeroinitializer, %Prompt %prompt, !alias.scope !4
     ret %Prompt %prompt
 }
 
@@ -244,7 +244,7 @@ define void @eraseNegative(%Neg %val) alwaysinline {
 
 define private %Stack @getStack(%Prompt %prompt) {
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %stack = load %Stack, ptr %stack_pointer
+    %stack = load %Stack, ptr %stack_pointer, !alias.scope !4
     ret %Stack %stack
 }
 
@@ -280,8 +280,8 @@ define private %Stack @checkLimit(%Stack %stack, i64 %n) alwaysinline {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
 
-    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
     %isInside = icmp ule %StackPointer %nextStackPointer, %limit
     br i1 %isInside, label %done, label %realloc
@@ -304,13 +304,13 @@ realloc:
     %newStackPointer_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
     %newLimit_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
 
-    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !2
-    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !2
+    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !3
+    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !3
 
     %prompt_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 3
     %prompt = load %Prompt, ptr %prompt_pointer
     %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack %newStack, ptr %promptStack
+    store %Stack %newStack, ptr %promptStack, !alias.scope !4
 
     ret %Stack %newStack
 }
@@ -319,26 +319,26 @@ define private %StackPointer @stackAllocate(%Stack %stack, i64 %n) alwaysinline
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
 
-    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
 
-    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !3
     ret %StackPointer %currentStackPointer
 }
 
 define private %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
 
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %isInside = icmp ule %StackPointer %stackPointer, %limit
     call void @llvm.assume(i1 %isInside)
 
     %o = sub i64 0, %n
     %newStackPointer = getelementptr i8, %StackPointer %stackPointer, i64 %o
-    store %StackPointer %newStackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    store %StackPointer %newStackPointer, ptr %stackPointer_pointer, !alias.scope !3
 
     ret %StackPointer %newStackPointer
 }
@@ -352,11 +352,11 @@ define private i64 @nextPowerOfTwo(i64 %x) {
 
 define private void @assumeFrameHeaderWasPopped(%Stack %stack) alwaysinline {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
     %oldStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 1
 
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %isInside = icmp ule %StackPointer %oldStackPointer, %limit
     call void @llvm.assume(i1 %isInside)
     ret void
@@ -381,7 +381,7 @@ define private %Stack @reset(%Stack %oldStack) {
     store %StackValue %stack.3, %Stack %stack
 
     %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack %stack, ptr %promptStack
+    store %Stack %stack, ptr %promptStack, !alias.scope !4
 
     ret %Stack %stack
 }
@@ -390,7 +390,7 @@ define private void @revalidate(%Stack %stack) {
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %prompt = load %Prompt, ptr %prompt_pointer
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %stack_pointer
+    %promptStack = load %Stack, ptr %stack_pointer, !alias.scope !4
     %isThis = icmp eq %Stack %promptStack, %stack
     br i1 %isThis, label %done, label %continue
 
@@ -406,7 +406,7 @@ displace:
     br label %update
 
 update:
-    store %Stack %stack, ptr %stack_pointer
+    store %Stack %stack, ptr %stack_pointer, !alias.scope !4
 
     %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
     %next = load %Stack, ptr %next_pointer
@@ -420,7 +420,7 @@ define private void @invalidate(%Stack %stack, %Stack %end) {
     %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
     %prompt = load %Prompt, ptr %prompt_pointer
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %stack_pointer
+    store %Stack null, ptr %stack_pointer, !alias.scope !4
 
     %next = load %Stack, ptr %next_pointer
 
@@ -456,7 +456,7 @@ define private %Stack @resume(%Resumption %resumption, %Stack %oldStack) {
 
 define private {%Resumption, %Stack} @shift(%Stack %stack, %Prompt %prompt) {
     %resumpion_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %resumption = load %Stack, ptr %resumpion_pointer
+    %resumption = load %Stack, ptr %resumpion_pointer, !alias.scope !4
     %next_pointer = getelementptr %StackValue, %Stack %resumption, i64 0, i32 4
     %next = load %Stack, ptr %next_pointer
 
@@ -469,12 +469,12 @@ define private {%Resumption, %Stack} @shift(%Stack %stack, %Prompt %prompt) {
 
 define private void @erasePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     switch %ReferenceCount %referenceCount, label %decrement [%ReferenceCount 0, label %free]
 
 decrement:
     %newReferenceCount = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     ret void
 
 free:
@@ -484,9 +484,9 @@ free:
 
 define private void @sharePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     %newReferenceCount = add %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     ret void
 }
 
@@ -498,7 +498,7 @@ define private %Stack @underflowStack(%Stack %stack) {
     %rest = load %Stack, ptr %stackRest
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %promptStack_pointer
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
 
     call void @erasePrompt(%Prompt %prompt)
     call void @free(%Stack %stack)
@@ -630,12 +630,12 @@ define void @eraseStack(%Stack %stack) alwaysinline {
     %rest = load %Stack, ptr %rest_pointer
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %promptStack_pointer
+    %promptStack = load %Stack, ptr %promptStack_pointer, !alias.scope !4
     %isThisStack = icmp eq %Stack %promptStack, %stack
     br i1 %isThisStack, label %clearPrompt, label %free
 
 clearPrompt:
-    store %Stack null, ptr %promptStack_pointer
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
     br label %free
 
 free:
@@ -721,7 +721,7 @@ define private %Stack @withEmptyStack() {
     %stack = call %Stack @reset(%Stack %globals)
 
     %globalStack = getelementptr %PromptValue, %Prompt @global, i64 0, i32 1
-    store %Stack %stack, ptr %globalStack
+    store %Stack %stack, ptr %globalStack, !alias.scope !4
 
     %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %stackPointer = load %StackPointer, ptr %stackStackPointer
@@ -807,6 +807,9 @@ define void @run_Pos(%Neg %f, %Pos %argument) {
 
 ; Scopes
 !1 = !{!"stackValues", !0}
+!2 = !{!"prompts", !0}
 
 ; Scope lists
-!2 = !{!1}
+!3 = !{!1} ; stackValues
+!4 = !{!2} ; prompts
+!5 = !{!1, !2} ; stackValues & prompts

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

@@ -1,4 +1,4 @@
-<!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/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><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.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1739128573"><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></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
+<!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/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><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.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1740338125"><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></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
 <i class="fa fa-search fa-lg" aria-role=none></i></button><div class="toolbar-search-bar-wrapper dropdown-menu dropdown-menu-right" aria-labelledby=toolbar-search><form action=https://www.eclipse.org/home/search method=get><div class=search-bar><input class=search-bar-input name=q placeholder=Search>
 <button>
 <i class="fa fa-search" type=submit></i></button></div></form></div></div><div class="toolbar-btn toolbar-user-menu-btn dropdown"><button class=dropdown-toggle id=toolbar-user-menu type=button data-toggle=dropdown tabindex=0 aria-label="User Menu">
@@ -10,7 +10,7 @@ Projects</button></li><li class=navbar-nav-links-item><button class="nav-link-js
 Supporters</button></li><li class=navbar-nav-links-item><button class="nav-link-js btn-link link-unstyled" type=button aria-expanded=true data-menu-target=collaborations-menu>
 Collaborations</button></li><li class=navbar-nav-links-item><button class="nav-link-js btn-link link-unstyled" type=button aria-expanded=true data-menu-target=resources-menu>
 Resources</button></li><li class=navbar-nav-links-item><button class="nav-link-js btn-link link-unstyled" type=button aria-expanded=true data-menu-target=the-foundation-menu>
-The Foundation</button></li></ul></nav><div class=header-navbar-end><a class="header-navbar-end-download-btn btn btn-primary" href=/downloads/><i class=fa aria-hidden=true></i>
+The Foundation</button></li></ul></nav><div class=header-navbar-end><a class="header-navbar-end-download-btn btn btn-primary" href=/downloads/ id=download-now-top-nav-20250207><i class=fa aria-hidden=true></i>
 Download</a>
 <button class=mobile-menu-btn aria-label="Toggle mobile navigation menu" aria-expanded=false>
 <i class="fa fa-bars fa-xl"></i></button></div></div></div></div><nav class="mobile-menu hidden" aria-expanded=false><ul><li class=mobile-menu-dropdown><a class="mobile-menu-item mobile-menu-dropdown-toggle" data-target=projects-menu><span>Projects</span>
@@ -47,9 +47,11 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-epl-20><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/legal/epl-2.0/ target=_self>About</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.html target=_self>Plain HTML</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.txt target=_self>Plain Text</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-2.0/EPL-2.0.pdf target=_self>PDF</a></li><li class=submenu-item><a class=link-unstyled href=/legal/epl-2.0/faq/ target=_self>FAQ</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-epl-10 aria-expanded=false aria-controls=legal-epl-10><span>EPL-1.0</span>
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-epl-10><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-v10.php target=_self>About</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-v10.html target=_self>Plain HTML</a></li><li class=submenu-item><a class=link-unstyled href=/org/documents/epl-1.0/EPL-1.0.txt target=_self>Plain Text</a></li><li class=submenu-item><a class=link-unstyled href=/legal/epl/faq target=_self>FAQ</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-licenses aria-expanded=false aria-controls=legal-licenses><span>Licenses</span>
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-licenses><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/legal/licenses#approved target=_self>Approved 3rd Party</a></li><li class=submenu-item><a class=link-unstyled href=/legal/licenses#nonapproved target=_self>Non Approved</a></li><li class=submenu-item><a class=link-unstyled href=/projects/handbook/#ip-copyright-headers target=_self>File Headers</a></li><li class=submenu-item><a class=link-unstyled href=/legal/non-code-licenses target=_self>Docs & Examples</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-specs aria-expanded=false aria-controls=legal-specs><span>Specifications</span>
-<i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-specs><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/projects/efsp/ target=_self>Specifications Process</a></li><li class=submenu-item><a class=link-unstyled href=/projects/efsp/operations.php target=_self>Specifications Operations</a></li><li class=submenu-item><a class=link-unstyled href=/legal/efsl target=_self>Specification License</a></li><li class=submenu-item><a class=link-unstyled href=/legal/tck target=_self>TCK License</a></li></ul></div></li></li></ul></aside></div></div></div></main><div class="eclipsefdn-featured-footer featured-footer" id=featured-footer data-publish-target=eclipse_org><div class=container><div class=row><div class="col-sm-24 featured-container"></div></div></div></div><p id=back-to-top><a class=visible-xs href=#>Back to the top</a></p><footer class=footer id=footer><div class=container><div class="footer-end-social-container margin-bottom-30"><div class=footer-end-social><p class="footer-end-social-text hidden-xs">Follow Us:</p><ul class="footer-end-social-links list-inline"><li><a class=link-unstyled href=https://twitter.com/EclipseFdn title="Twitter account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-specs><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/projects/efsp/ target=_self>Specifications Process</a></li><li class=submenu-item><a class=link-unstyled href=/projects/efsp/operations.php target=_self>Specifications Operations</a></li><li class=submenu-item><a class=link-unstyled href=/legal/efsl target=_self>Specification License</a></li><li class=submenu-item><a class=link-unstyled href=/legal/tck target=_self>TCK License</a></li></ul></div></li></li></ul></aside></div></div></div></main><div class="eclipsefdn-featured-footer featured-footer" id=featured-footer data-publish-target=eclipse_org><div class=container><div class=row><div class="col-sm-24 featured-container"></div></div></div></div><p id=back-to-top><a class=visible-xs href=#>Back to the top</a></p><footer class=footer id=footer><div class=container><div class="footer-end-social-container margin-bottom-30"><div class=footer-end-social><p class="footer-end-social-text hidden-xs">Follow Us:</p><ul class="footer-end-social-links list-inline"><li><a class=link-unstyled href=https://x.com/EclipseFdn title="X account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-x-twitter fa-stack-1x fa-inverse" aria-hidden=true></i>
-<span class=sr-only>Twitter account</span></span></a></li><li><a class=link-unstyled href=https://www.facebook.com/eclipse.org title="Facebook account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<span class=sr-only>X account</span></span></a></li><li><a class=link-unstyled href=https://bsky.app/profile/eclipsefdn.bsky.social title="Bluesky account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
+<i class="fa-brands fa-bluesky fa-stack-1x fa-inverse" aria-hidden=true></i>
+<span class=sr-only>Bluesky account</span></span></a></li><li><a class=link-unstyled href=https://www.facebook.com/eclipse.org title="Facebook account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-facebook-f fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Facebook account</span></span></a></li><li><a class=link-unstyled href=https://www.youtube.com/user/EclipseFdn title="Youtube account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-youtube fa-stack-1x fa-inverse" aria-hidden=true></i>
@@ -57,5 +59,5 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action="https://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&id=e7538485cd&f_id=00f9c2e1f0" method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address">
 <button class="footer-end-newsletter-submit btn btn-link" id=mc-embedded-subscribe type=submit name=subscribe>
-<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1739128573"></script>
+<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1740338125"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>