aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorXander <xander@icth.xyz>2023-06-30 13:54:27 +0200
committerXander <xander@icth.xyz>2023-06-30 13:54:27 +0200
commit560ab0ba6eb33d17df889e4fb1536cbaff6cba49 (patch)
tree863de08b1bc4cd3b1fda887afbd924fea07d0069 /kernel
parentc5bd05fa070d25ae6700660347bdb59ae84390e6 (diff)
downloadats-os-560ab0ba6eb33d17df889e4fb1536cbaff6cba49.tar.xz
ats-os-560ab0ba6eb33d17df889e4fb1536cbaff6cba49.zip
Calling ats function
Diffstat (limited to 'kernel')
-rw-r--r--kernel/main.c4
-rw-r--r--kernel/main.dats13
2 files changed, 13 insertions, 4 deletions
diff --git a/kernel/main.c b/kernel/main.c
deleted file mode 100644
index 6de1868..0000000
--- a/kernel/main.c
+++ /dev/null
@@ -1,4 +0,0 @@
-
-void test(double a) {}
-int main() { test(3.0); }
-
diff --git a/kernel/main.dats b/kernel/main.dats
new file mode 100644
index 0000000..1eb7813
--- /dev/null
+++ b/kernel/main.dats
@@ -0,0 +1,13 @@
+#include "share/atspre_staload.hats"
+
+typedef test = @{test2 = uint8}
+
+extern castfn uint8_of {n: nat} (i: int n): uint8 n
+
+implement main0 () =
+let
+ val t = @{test2 = uint8_of(4)} : test
+in
+ main0 ()
+end
+