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 f535ea4 commit a8ad7a9Copy full SHA for a8ad7a9
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/match7.lm
4
as -o tmp.o tmp.s
5
ld -o tmp tmp.o
6
./tmp && echo $?
tests/strict/match7.lm
@@ -4,7 +4,15 @@ import STDLIB/default-primitives.lm;
import STDLIB/default-rules.lm;
import STDLIB/default-stdlib.lm;
7
-main := (match '--nomacro_s (
8
- ()
9
- ('--nomacro_s (tail( () (print 'Ok_s) )))
+import STRICT/utility.lm;
+
+config-preprocess := 1u8;
10
11
+main := λ(: argc U64)(: argv U8[][]).(tail(
12
+ (match '--nomacro_s (
13
+ ()
14
+ ('--macro_s (set config-preprocess 1u8))
15
+ ('--nomacro_s (set config-preprocess 0u8))
16
+ ))
17
+ (print config-preprocess)
18
));
0 commit comments