@effekt-lang/effekt 0.50.0 → 0.52.0

package/libraries/common/char.effekt

@@ -199,7 +199,7 @@ namespace returning {
       if(stopped){
         resume { do stop() }
       } else {
-        do read[Char] match {
+        do read() match {
           case '\n' => stopped = true; resume { do stop() }
           case char => resume { return char }
         }

package/libraries/common/effekt.effekt

@@ -164,6 +164,10 @@ extern def unsafeSubstring(str: String, from: Int, to: Int) at {}: String =
 extern def random() at io: Double =
   js "Math.random()"
   chez "(random 1.0)"
+  llvm """
+    %r = call double @c_io_random()
+    ret double %r
+  """
   vm "effekt::random()"
 
 // References and state

package/libraries/common/io/error.effekt

@@ -362,97 +362,110 @@ namespace internal {
     declare %Int @c_error_number(%Int)
   """
 
-  extern jsNode """
-    const os = require('node:os');
+extern jsNode """
+    const { getSystemErrorName } = require('node:util');
 
     /**
      * Maps the error code to a Effekt-stable (platform independent) numeric value.
      *
      * Tries to use most common errno integer values, but introduces fresh values (> 200)
      * for those without common errno values.
+     *
+     * The mapping from platfrom-specific error codes to Effekt error codes is handled by
+     * getSystemErrorName from 'node:util', which in turn uses the error code conventions from libuv.
+     * For reference, see the following Deno code which is more readable than the NodeJS implementation:
+     * https://github.com/denoland/deno/blob/8fb073d7b4ea83b57fd1bf9875681347b414bbe6/ext/node/polyfills/internal_binding/uv.ts
      */
     function errorNumber(errno) {
-      const errnoMap = {
-        [os.constants.errno.EPERM]: 1,
-        [os.constants.errno.ENOENT]: 2,
-        [os.constants.errno.ESRCH]: 3,
-        [os.constants.errno.EINTR]: 4,
-        [os.constants.errno.EIO]: 5,
-        [os.constants.errno.ENXIO]: 6,
-        [os.constants.errno.E2BIG]: 7,
-        [os.constants.errno.EBADF]: 9,
-        [os.constants.errno.EAGAIN]: 11,
-        [os.constants.errno.ENOMEM]: 12,
-        [os.constants.errno.EACCES]: 13,
-        [os.constants.errno.EFAULT]: 14,
-        [os.constants.errno.EBUSY]: 16,
-        [os.constants.errno.EEXIST]: 17,
-        [os.constants.errno.EXDEV]: 18,
-        [os.constants.errno.ENODEV]: 19,
-        [os.constants.errno.ENOTDIR]: 20,
-        [os.constants.errno.EISDIR]: 21,
-        [os.constants.errno.EINVAL]: 22,
-        [os.constants.errno.ENFILE]: 23,
-        [os.constants.errno.EMFILE]: 24,
-        [os.constants.errno.ENOTTY]: 25,
-        [os.constants.errno.ETXTBSY]: 26,
-        [os.constants.errno.EFBIG]: 27,
-        [os.constants.errno.ENOSPC]: 28,
-        [os.constants.errno.ESPIPE]: 29,
-        [os.constants.errno.EROFS]: 30,
-        [os.constants.errno.EMLINK]: 31,
-        [os.constants.errno.EPIPE]: 32,
-        [os.constants.errno.ERANGE]: 34,
-        [os.constants.errno.ENAMETOOLONG]: 36,
-        [os.constants.errno.ELOOP]: 40,
-        [os.constants.errno.EOVERFLOW]: 75,
-        [os.constants.errno.EFTYPE]: 79,
-        [os.constants.errno.EILSEQ]: 84,
-        [os.constants.errno.ENOTSOCK]: 88,
-        [os.constants.errno.EDESTADDRREQ]: 89,
-        [os.constants.errno.EMSGSIZE]: 90,
-        [os.constants.errno.EPROTOTYPE]: 91,
-        [os.constants.errno.ENOPROTOOPT]: 92,
-        [os.constants.errno.EPROTONOSUPPORT]: 93,
-        [os.constants.errno.ESOCKTNOSUPPORT]: 94,
-        [os.constants.errno.ENOTSUP]: 95,
-        [os.constants.errno.EAFNOSUPPORT]: 97,
-        [os.constants.errno.EADDRINUSE]: 98,
-        [os.constants.errno.EADDRNOTAVAIL]: 99,
-        [os.constants.errno.ENETDOWN]: 100,
-        [os.constants.errno.ENETUNREACH]: 101,
-        [os.constants.errno.ECONNABORTED]: 103,
-        [os.constants.errno.ECONNRESET]: 104,
-        [os.constants.errno.ENOBUFS]: 105,
-        [os.constants.errno.EISCONN]: 106,
-        [os.constants.errno.ENOTCONN]: 107,
-        [os.constants.errno.ETIMEDOUT]: 110,
-        [os.constants.errno.ECONNREFUSED]: 111,
-        [os.constants.errno.EHOSTUNREACH]: 113,
-        [os.constants.errno.EALREADY]: 114,
-        [os.constants.errno.ECANCELED]: 125,
-        [os.constants.errno.EAI_ADDRFAMILY]: 200,
-        [os.constants.errno.EAI_AGAIN]: 201,
-        [os.constants.errno.EAI_BADFLAGS]: 202,
-        [os.constants.errno.EAI_BADHINTS]: 203,
-        [os.constants.errno.EAI_CANCELED]: 204,
-        [os.constants.errno.EAI_FAIL]: 205,
-        [os.constants.errno.EAI_FAMILY]: 206,
-        [os.constants.errno.EAI_MEMORY]: 207,
-        [os.constants.errno.EAI_NODATA]: 208,
-        [os.constants.errno.EAI_NONAME]: 209,
-        [os.constants.errno.EAI_OVERFLOW]: 210,
-        [os.constants.errno.EAI_PROTOCOL]: 211,
-        [os.constants.errno.EAI_SERVICE]: 212,
-        [os.constants.errno.EAI_SOCKTYPE]: 213,
-        [os.constants.errno.ECHARSET]: 215,
-        [os.constants.errno.ENONET]: 216,
-        [os.constants.errno.UNKNOWN]: 217,
-        [os.constants.errno.EOF]: 218,
-        [os.constants.errno.EUNATCH]: 219,
-        [os.constants.errno.ESHUTDOWN]: 220
+      const mapByName = {
+        EPERM: 1,
+        ENOENT: 2,
+        ESRCH: 3,
+        EINTR: 4,
+        EIO: 5,
+        ENXIO: 6,
+        E2BIG: 7,
+        EBADF: 9,
+        EAGAIN: 11,
+        ENOMEM: 12,
+        EACCES: 13,
+        EFAULT: 14,
+        EBUSY: 16,
+        EEXIST: 17,
+        EXDEV: 18,
+        ENODEV: 19,
+        ENOTDIR: 20,
+        EISDIR: 21,
+        EINVAL: 22,
+        ENFILE: 23,
+        EMFILE: 24,
+        ENOTTY: 25,
+        ETXTBSY: 26,
+        EFBIG: 27,
+        ENOSPC: 28,
+        ESPIPE: 29,
+        EROFS: 30,
+        EMLINK: 31,
+        EPIPE: 32,
+        ERANGE: 34,
+        ENAMETOOLONG: 36,
+        ELOOP: 40,
+        EOVERFLOW: 75,
+        EFTYPE: 79,
+        EILSEQ: 84,
+        ENOTSOCK: 88,
+        EDESTADDRREQ: 89,
+        EMSGSIZE: 90,
+        EPROTOTYPE: 91,
+        ENOPROTOOPT: 92,
+        EPROTONOSUPPORT: 93,
+        ESOCKTNOSUPPORT: 94,
+        ENOTSUP: 95,
+        EAFNOSUPPORT: 97,
+        EADDRINUSE: 98,
+        EADDRNOTAVAIL: 99,
+        ENETDOWN: 100,
+        ENETUNREACH: 101,
+        ECONNABORTED: 103,
+        ECONNRESET: 104,
+        ENOBUFS: 105,
+        EISCONN: 106,
+        ENOTCONN: 107,
+        ETIMEDOUT: 110,
+        ECONNREFUSED: 111,
+        EHOSTUNREACH: 113,
+        EALREADY: 114,
+        ECANCELED: 125,
+
+        EAI_ADDRFAMILY: 200,
+        EAI_AGAIN: 201,
+        EAI_BADFLAGS: 202,
+        EAI_BADHINTS: 203,
+        EAI_CANCELED: 204,
+        EAI_FAIL: 205,
+        EAI_FAMILY: 206,
+        EAI_MEMORY: 207,
+        EAI_NODATA: 208,
+        EAI_NONAME: 209,
+        EAI_OVERFLOW: 210,
+        EAI_PROTOCOL: 211,
+        EAI_SERVICE: 212,
+        EAI_SOCKTYPE: 213,
+        ECHARSET: 215,
+        ENONET: 216,
+        UNKNOWN: 217,
+        EOF: 218,
+        EUNATCH: 219,
+        ESHUTDOWN: 220
       };
-      return errnoMap[-errno] || -1; // Default to -1 for unknown error names
+
+      // When the error code is not known, we return 217 (UNKNOWN).
+      try {
+        const name = getSystemErrorName(errno);
+        return mapByName[name] ?? 217;
+      } catch {
+        return 217;
+      }
     }
   """
 
@@ -469,7 +482,7 @@ namespace internal {
   def checkResult(result: Int): Int / Exception[IOError] =
     if (result < 0) {
       val ioError = fromNumber(internal::errorNumber(result));
-      do raise[IOError](ioError, message(ioError))
+      do raise(ioError, message(ioError))
     } else {
       result
     }

package/libraries/common/json.effekt

@@ -158,7 +158,7 @@ def readQuotedString(): Unit / { Scan[Char], emit[Char], Exception[WrongFormat]
 def decodeJson(): Unit / {Scan[Char], JsonBuilder, Exception[WrongFormat]} = {
   with boundary
   skipWhitespace()
-  if(do peek[Char]() is c) {
+  if(do peek() is c) {
     c match {
       case 'n' => expectString("null"); do null()
       case 't' => expectString("true"); do bool(true)
@@ -177,7 +177,7 @@ def decodeJsonObject(): Unit / {Scan[Char], JsonObjectBuilder, Exception[WrongFo
   expectString("{")
   with boundary
   skipWhitespace()
-  while(do peek[Char]() is c and (c != '}')) {
+  while(do peek() is c and (c != '}')) {
     if (not(first)) { expectString(",") }
     val k = string::collect { readQuotedString() }
     skipWhitespace()
@@ -188,20 +188,20 @@ def decodeJsonObject(): Unit / {Scan[Char], JsonObjectBuilder, Exception[WrongFo
     skipWhitespace()
     first = false
   }
-  do skip[Char]()
+  do skip()
 }
 def decodeJsonList(): Unit / {Scan[Char], JsonBuilder, Exception[WrongFormat]} = {
   var first = true
   expectString("[")
   with boundary
   skipWhitespace()
-  while(do peek[Char]() is c and (c != ']')) {
+  while(do peek() is c and (c != ']')) {
     if (not(first)) { expectString(",") }
     decodeJson()
     skipWhitespace()
     first = false
   }
-  do skip[Char]()
+  do skip()
 }
 
 // --------------------------------------------------------------------------------

package/libraries/common/random.effekt

@@ -73,7 +73,7 @@ def devurandom { randomnessReader: () => Unit / random }: Unit / Exception[IOErr
   try {
     with readFile("/dev/urandom")
     try randomnessReader() with random {
-      resume(do read[Byte]())
+      resume(do read())
     }
   } with stop {
     do raise(io::error::EOF(), "Unexpected EOF when reading /dev/urandom!")

package/libraries/common/scanner.effekt

@@ -12,8 +12,8 @@ interface Scan[A] {
 
 /// Advance the Scanner to the next character, returning it.
 def read[A](): A / { Scan[A], stop } = {
-  val t = do peek[A]()
-  do skip[A]()
+  val t = do peek()
+  do skip()
   return t
 }
 
@@ -26,9 +26,9 @@ def expect(message: String) { scanner: () => Unit / stop }: Unit / Exception[Wro
 
 /// Check that the next token satisfies the predicate and skip and return it when it does.
 def readIf[A] { predicate: A => Bool }: A / { Scan[A], stop } = {
-  val t = do peek[A]()
+  val t = do peek()
   if (predicate(t)) {
-    do skip[A]()
+    do skip()
     return t
   } else {
     do stop()
@@ -42,7 +42,7 @@ def skipIf[A] { predicate: A => Bool }: Unit / { Scan[A], stop } = {
 
 def readSome[A, B] { convert: A => Option[B] }: B / { Scan[A], stop } =
   if (convert(do peek()) is Some(t)) {
-    do skip[A]()
+    do skip()
     return t
   } else {
     do stop()
@@ -53,7 +53,7 @@ def tryRead[A, B] { convert: A => B / Exception[WrongFormat] }: B / { Scan[A], s
   with on[WrongFormat].default { do stop() }
 
   val t = convert(do peek())
-  do skip[A]()
+  do skip()
   return t
 }
 
@@ -130,7 +130,7 @@ def scanner[A, R] { scanner: () => R / Scan[A] }: R / read[A] = {
     def peek() = resume {
       last match {
         case None() =>
-          val t = do read[A]()
+          val t = do read()
           last = Some(t)
           return t
         case Some(t) =>
@@ -140,7 +140,7 @@ def scanner[A, R] { scanner: () => R / Scan[A] }: R / read[A] = {
     def skip() = resume {
       last match {
         case None() =>
-          val _ = do read[A]()
+          val _ = do read()
           return ()
         case Some(t) =>
           last = None()

package/libraries/common/stream.effekt

@@ -145,7 +145,7 @@ def zip[A, B] { stream1: () => Unit / emit[A] } { stream2: () => Unit / emit[B]
   with source[B] { stream2 }
 
   exhaustively {
-    action(do read[A](), do read[B]())
+    action(do read(), do read())
   }
 }
 

package/libraries/common/string.effekt

@@ -246,7 +246,7 @@ def feed[R](string: String) { reader: () => R / read[Char] } =
 def each(string: String): Unit / emit[Char] =
   feed(string) {
     exhaustively {
-      do emit[Char](do read[Char]())
+      do emit(do read())
     }
   }
 

package/libraries/llvm/forward-declare-c.ll

@@ -5,6 +5,7 @@ declare %Pos @c_get_arg(i64)
 
 declare void @c_io_println(%Pos)
 declare %Pos @c_io_readln()
+declare %Double @c_io_random()
 
 declare void @hole(i8*)
 declare void @duplicated_prompt()

package/libraries/llvm/io.c

@@ -4,8 +4,8 @@
 #include <uv.h>
 #include <string.h> // to compare flag names
 
-// Println and Readln
-// ------------------
+// Println and Readln and Random
+// -----------------------------
 
 void c_io_println(String text) {
     for (uint64_t j = 0; j < text.tag; ++j) {
@@ -34,6 +34,10 @@ String c_io_readln() {
     return result;
 }
 
+double c_io_random(void) {
+    return (double)rand() / (double)RAND_MAX;
+}
+
 // Lib UV Bindings
 // ---------------
 // Ideas behind the LLVM / libuv implementation.

package/libraries/llvm/main.c

@@ -34,6 +34,7 @@ uint64_t c_get_argc() {
 int main(int argc, char *argv[]) {
     program_argc = argc;
     program_argv = argv;
+    setvbuf(stdout, NULL, _IOLBF, BUFSIZ);
     effektMain();
     uv_loop_t *loop = uv_default_loop();
     uv_run(loop, UV_RUN_DEFAULT);

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=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1762110989"><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>
+<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=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1763320624"><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">
@@ -64,4 +64,4 @@ 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&amp;id=e7538485cd&amp;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-sm-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=1762110989"></script><script>(function(){})(jQuery,document)</script></div></body></html>
+<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-sm-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=1763320624"></script><script>(function(){})(jQuery,document)</script></div></body></html>