We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 337dae4 commit 258882dCopy full SHA for 258882d
Makefile
@@ -1,6 +1,6 @@
1
2
nostd: prod
3
- ./production --nostd -o tmp.s STRICT/cli.lm
+ ./production --nostd -o tmp.s tests/strict/cc2.lm
4
as -o tmp.o tmp.s
5
ld -o tmp tmp.o
6
./tmp && echo $?
tests/strict/cc2.lm
@@ -0,0 +1,17 @@
+
+import STDLIB/default-instruction-set.lm;
+import STDLIB/default-primitives.lm;
+import STDLIB/default-rules.lm;
+import STDLIB/default-stdlib.lm;
7
+echo := λ(: x U64). (: (
8
+ x
9
+) U64);
10
11
+main := (
12
+ (let x (SCons(
13
+ (close(SAtom( 'an-atom_s )))
14
+ (close(SNil))
15
+ )))
16
+ (print x)
17
+);
0 commit comments