tests without extern

lit/mem/arg_style.thorin

@@ -1,5 +1,7 @@
 // RUN: rm -f %t.ll ; \
-// RUN: %thorin %s --output-ll %t.ll -o - | FileCheck %s
+// RUN: %thorin %s --output-ll %t.ll -o -
+
+// TODO: add filecheck
 
 .import core;
 .import mem;

lit/mem/arg_style_no_extern.thorin

@@ -0,0 +1,100 @@
+// RUN: rm -f %t.ll ; \
+// RUN: %thorin %s --output-ll %t.ll -o -
+
+// TODO: add filecheck
+
+.import core;
+.import mem;
+
+.let _32 = 4294967296;
+.let I32 = .Idx _32;
+.let Tas = (I32, 0);
+
+.con f1 [mem: %mem.M, a: I32, ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con f2 [[mem: %mem.M, a: I32], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con g1 [mem: %mem.M, a: I32, b:I32, ret: .Cn [%mem.M, I32]] = {
+    .let c = %core.wrap.add _32 0 (a,b);
+    ret (mem,c)
+};
+
+.con g2 [[mem: %mem.M, a: I32, b:I32], ret: .Cn [%mem.M, I32]] = {
+    .let c = %core.wrap.add _32 0 (a,b);
+    ret (mem,c)
+};
+
+.con g3 [[mem: %mem.M, [a: I32, b:I32]], ret: .Cn [%mem.M, I32]] = {
+    .let c = %core.wrap.add _32 0 (a,b);
+    ret (mem,c)
+};
+
+.con g4 [mem: %mem.M, [a: I32, b:I32], ret: .Cn [%mem.M, I32]] = {
+    .let c = %core.wrap.add _32 0 (a,b);
+    ret (mem,c)
+};
+
+.con h1 [mem: %mem.M, a: I32, x:%mem.Ptr (I32, 0), ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con h2 [mem: %mem.M, [a: I32, x:%mem.Ptr (I32, 0)], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con h3 [[mem: %mem.M, a: I32, x:%mem.Ptr (I32, 0)], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con h4 [[mem: %mem.M, [a: I32, x:%mem.Ptr (I32, 0)]], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con e1 [mem: %mem.M, a: I32, [], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con e2 [mem: %mem.M, [a: I32, []], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+.con e3 [[mem: %mem.M, [a: I32, []]], ret: .Cn [%mem.M, I32]] = {
+    ret (mem,a)
+};
+
+// .con i1 [[], ret: .Cn [%mem.M, I32]] = {
+//     ret (mem,42:I32)
+// };
+
+.con .extern main [mem : %mem.M, argc : I32, argv : %mem.Ptr (%mem.Ptr (.Idx 256, 0:.Nat), 0:.Nat), return : .Cn [%mem.M, I32]] = {
+
+    .let a = argc;
+    .let (mem2,p) = %mem.alloc Tas mem;
+
+    .con cont [mem:%mem.M, v:I32] = {
+        .let a = v;
+        .let cont = return;
+        .let mem2 = mem;
+        f1 (mem, v, return)
+        // f2 ((mem, v), return)
+        // g3 ((mem, (a,a)), return)
+        // g2 ((mem, a,a), return)
+        // g4 (mem2, (a,a), cont)
+        // e1 (mem2, a, (), cont)
+        // e2 (mem2, (a, ()), cont)
+        // e3 ((mem2, (a, ())), cont)
+    };
+
+    f1 (mem2, argc, cont)
+    // f2 ((mem2, argc), cont)
+    // g3 ((mem2, (a,a)), cont)
+    // g2 ((mem2, a,a), cont)
+    // g4 (mem2, (a,a), cont)
+    // e1 (mem2, a, (), cont)
+    // e2 (mem2, (a, ()), cont)
+    // e3 ((mem2, (a, ())), cont)
+};