@effekt-lang/effekt 0.2.1 → 0.2.2

package/libraries/llvm/immutable/result.effekt

@@ -0,0 +1,29 @@
+import immutable/option
+
+// Results
+// =======
+// The "reification" of the Exception[E] effect.
+type Result[A, E] {
+  Error(exception: E, msg: String);
+  Success(a: A)
+}
+
+def result[A, E] { f: () => A / Exception[E] }: Result[A, E] = try {
+  Success(f())
+} with Exception[E] {
+  def raise(exc, msg) = Error(exc, msg)
+}
+
+/**
+ * Extracts the value of a result, if available
+ * Monadic "reflection"
+ */
+def value[A, E](r: Result[A, E]): A / Exception[E] = r match {
+  case Success(a) => a
+  case Error(exc, msg) => do raise(exc, msg)
+}
+
+def toOption[A, E](r: Result[A, E]): Option[A] = r match {
+  case Success(a) => Some(a)
+  case Error(exc, msg) => None()
+}

package/libraries/llvm/io/args.effekt

@@ -0,0 +1,24 @@
+module io/args
+
+import effekt
+import immutable/list
+
+extern io def get_argc(): Int = """
+  %c = call %Int @c_get_argc()
+  ret %Int %c
+"""
+extern io def get_arg(i: Int): String = """
+  %s = call %Pos @c_get_arg(%Int %i)
+  ret %Pos %s
+"""
+
+def commandLineArgs(): List[String] = {
+    def rec(start: Int, acc: List[String]): List[String] = {
+        if (start < 1) {
+            acc
+        } else {
+            rec(start-1, Cons(get_arg(start), acc))
+        }
+    }
+    rec(get_argc()-1, Nil())
+}

package/libraries/llvm/io.c

@@ -0,0 +1,24 @@
+#ifndef EFFEKT_IO_C
+#define EFFEKT_IO_C
+
+// println
+
+void c_io_println_Int(const Int n) {
+    printf("%" PRId64 "\n", n);
+}
+
+void c_io_println_Boolean(const struct Pos p) {
+    printf("%s\n", p.tag ? "true" : "false");
+}
+
+void c_io_println_Double(const Double x) {
+    printf("%g\n", x);
+}
+
+void c_io_println_String(String text) {
+    for (uint64_t j = 0; j < c_buffer_length(text); ++j)
+        putchar(c_buffer_bytes(text)[j]);
+    putchar('\n');
+}
+
+#endif

package/libraries/llvm/main.c

@@ -0,0 +1,39 @@
+#include <errno.h>
+#include <inttypes.h>
+#include <limits.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+
+#define DEBUG_REFCOUNT (false)
+
+#include "sanity.c"
+#include "types.c"
+#include "buffer.c"
+#include "io.c"
+#include "hole.c"
+
+
+extern void effektMain();
+
+int program_argc;
+char** program_argv;
+
+struct Pos c_get_arg(uint64_t idx) {
+    if(idx < program_argc) {
+        return c_buffer_construct_from_null_terminated_string(program_argv[idx]);
+    } else {
+        return c_buffer_construct_zeroed(1);
+    }
+}
+uint64_t c_get_argc() {
+    return program_argc;
+}
+
+int main(int argc, char *argv[]) {
+    program_argc = argc;
+    program_argv = argv;
+    effektMain();
+}