@effekt-lang/effekt 0.2.2 → 0.3.0

package/libraries/llvm/types.c

@@ -5,11 +5,21 @@
 typedef int64_t Int;
 typedef double Double;
 
+struct Header {
+  uint64_t rc;
+  void (*eraser)(void *);
+};
+
 struct Pos {
     uint64_t tag; // type-local tag
     void *obj; // pointer into the heap
 };
 
+struct Neg {
+    void *vtable;
+    void *obj;
+};
+
 static const struct Pos Unit = (struct Pos) { .tag = 0, .obj = NULL, };
 static const struct Pos BooleanFalse = (struct Pos) { .tag = 0, .obj = NULL, };
 static const struct Pos BooleanTrue = (struct Pos) { .tag = 1, .obj = NULL, };
@@ -17,4 +27,17 @@ static const struct Pos BooleanTrue = (struct Pos) { .tag = 1, .obj = NULL, };
 typedef struct Pos String;
 
 
+// Defined in rts.ll
+
+extern void run(struct Neg);
+extern void run_i64(struct Neg, int64_t);
+extern void run_Pos(struct Neg, struct Pos);
+
+// Reference counting primitives defined in LLVM
+extern void eraseNegative(struct Neg);
+extern void erasePositive(struct Pos);
+
+extern void shareNegative(struct Neg);
+extern void sharePositive(struct Pos);
+
 #endif

package/libraries/ml/effekt.sml

@@ -61,3 +61,5 @@ fun mlRandomReal () =
 
 (* HOLES *)
 exception Hole
+
+exception Absurd

package/libraries/ml/internal/mllist.effekt

@@ -0,0 +1,9 @@
+module internal/mllist
+
+extern type MLList[Elem] // = 'elem list
+extern pure def isEmpty[A](l: MLList[A]): Bool = ml "null ${l}"
+extern pure def head[A](l: MLList[A]): A = ml "hd ${l}"
+extern pure def tail[A](l: MLList[A]): MLList[A] = ml "tl ${l}"
+
+def toList[A](l: MLList[A]): List[A] =
+  if (l.isEmpty) Nil() else Cons(l.head, toList(l.tail))

package/libraries/ml/internal/mloption.effekt

@@ -0,0 +1,18 @@
+module internal/mloption
+
+import effekt
+import option
+
+extern type MLOption[T]
+
+extern pure def isDefined[T](opt: MLOption[T]): Bool =
+  ml "Option.isSome ${opt}"
+
+def isEmpty[T](opt: MLOption[T]): Bool = not(opt.isDefined())
+
+extern pure def force[T](opt: MLOption[T]): T =
+  ml "Option.valOf ${opt}"
+
+def toOption[T](opt: MLOption[T]): Option[T] = {
+    if (isDefined(opt)) Some(force(opt)) else None()
+}

package/libraries/ml/random.effekt

@@ -10,12 +10,12 @@ module random
  * effect [[Random]], below.
  */
 extern type RNG // = int * int
-extern io def seed(n: Int, m: Int): RNG = "Random.rand (${n}, ${m})"
-extern pure def toString(s: RNG): String = "Random.toString ${s}"
+extern io def seed(n: Int, m: Int): RNG = ml "Random.rand (${n}, ${m})"
+extern pure def toString(s: RNG): String = ml "Random.toString ${s}"
 
-extern io def int(s: RNG): Int = "Random.randInt ${s}"
-extern io def int(s: RNG, from: Int, to: Int): Int = "Random.randRange (${from}, ${to}) ${s}"
-extern io def double(s: RNG): Double = "Random.randReal ${s}"
+extern io def int(s: RNG): Int = ml "Random.randInt ${s}"
+extern io def int(s: RNG, from: Int, to: Int): Int = ml "Random.randRange (${from}, ${to}) ${s}"
+extern io def double(s: RNG): Double = ml "Random.randReal ${s}"
 
 
 /**
@@ -29,15 +29,15 @@ extern io def double(s: RNG): Double = "Random.randReal ${s}"
  */
 extern type PseudoRNG
 extern pure def random(s: PseudoRNG): PseudoRNG =
-  "Rand.random ${s}"
+  ml "Rand.random ${s}"
 extern pure def range(s: PseudoRNG, n: Int, m: Int): Int =
-  "Rand.range (${n}, ${m}) ${s}"
+  ml "Rand.range (${n}, ${m}) ${s}"
 extern pure def norm(s: PseudoRNG): Double =
-  "Rand.norm ${s}"
+  ml "Rand.norm ${s}"
 
 // converting two integers into a word that is between randMin and randMax is completely made up
 extern pure def pseudo(n: Int, m: Int): PseudoRNG =
-  "Word.fromInt ((Word.toInt Rand.randMin) + ((abs (${n} * ${m})) mod (Word.toInt Rand.randMax)))"
+  ml "Word.fromInt ((Word.toInt Rand.randMin) + ((abs (${n} * ${m})) mod (Word.toInt Rand.randMax)))"
 
 
 

package/libraries/ml/text/regex.effekt

@@ -1,21 +1,16 @@
 module text/regex
 
-extern type MLList[Elem] // = 'elem list
-extern pure def isEmpty[A](l: MLList[A]): Boolean = "null ${l}"
-extern pure def head[A](l: MLList[A]): A = "hd ${l}"
-extern pure def tail[A](l: MLList[A]): MLList[A] = "tl ${l}"
-
-def toList[A](l: MLList[A]): List[A] =
-  if (l.isEmpty) Nil() else Cons(l.head, toList(l.tail))
+import internal/mllist
+import internal/mloption
 
 extern type Char // TODO move to text/string
 type Chars = MLList[Char]
 
 
-extern pure def chars(str: String): Chars = "String.explode ${str}"
-extern pure def toString(chars: Chars): String = "String.implode ${chars}"
+extern pure def chars(str: String): Chars = ml "String.explode ${str}"
+extern pure def toString(chars: Chars): String = ml "String.implode ${chars}"
 
-extern """
+extern ml """
 
 (** The RegExp module is created by choosing a parser (P) and an engine (E)
   * for regular expressions.
@@ -42,7 +37,7 @@ record Match(matched: String)
 
 // TODO handle CannotParse and CannotCompile ml exceptions.
 extern pure def regex(regexString: String): Regex =
-  "RegExp.compileString ${regexString}"
+  ml "RegExp.compileString ${regexString}"
 
 
 // A stream of elements of type Elem, read from a source of type Source
@@ -52,7 +47,7 @@ extern type MLStream[Elem, Source] // = ('elem, 'source) StringCvt.reader
 //   <https://www.smlnj.org/doc/smlnj-lib/RegExp/str-MatchTree.html>
 extern type MLMatchResult // = match * char list
 
-extern """
+extern ml """
 type regex_match = {len: int, pos: char list} MatchTree.match_tree;
 fun matchedString (match : regex_match * char list) =
   let val res = MatchTree.root (#1 match)
@@ -76,25 +71,25 @@ fun unsafeSplit str sep =
 """
 
 extern pure def getMatch(result: MLMatchResult): String =
-  "matchedString ${result}"
+  ml "matchedString ${result}"
 extern pure def getRemainder(result: MLMatchResult): Chars =
-  "remainderChars ${result}"
+  ml "remainderChars ${result}"
 
 extern pure def unsafeSplit(str: String, ch: Char): MLList[String] =
-  "String.fields (fn c => c = ${ch}) ${str}"
+  ml "String.fields (fn c => c = ${ch}) ${str}"
 
 extern pure def unsafeMatchPrefix(r: Regex, str: Chars): MLOption[MLMatchResult] =
-  "RegExp.prefix ${r} List.getItem ${str}"
+  ml "RegExp.prefix ${r} List.getItem ${str}"
 
 extern pure def unsafeSplit(str: String, sep: String): MLList[String] =
-  "unsafeSplit ${str} ${sep}"
+  ml "unsafeSplit ${str} ${sep}"
 
-extern """
+extern ml """
 val NEWLINE_CHAR = #"\n";
 """
 
 extern pure def unsafeLines(str: String): MLList[String] =
-  "String.fields (fn c => c = NEWLINE_CHAR) ${str}"
+  ml "String.fields (fn c => c = NEWLINE_CHAR) ${str}"
 
 def lines(str: String): List[String] = unsafeLines(str).toList
 

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=1724865025"><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=1726491576"><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">
@@ -57,5 +57,5 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa fa-linkedin 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://eclipsecon.us6.list-manage.com/subscribe/post 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"><div><i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></div></div><input type=hidden name=u value=eaf9e1f06f194eadc66788a85>
 <input type=hidden name=id value=46e57eacf1>
-<input id=mc-embedded-subscribe type=submit name=subscribe hidden></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=1724865025"></script>
+<input id=mc-embedded-subscribe type=submit name=subscribe hidden></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=1726491576"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>