Skip to content

Commit c11f279

Browse files
committed
not hard to reproduce error
1 parent 857541a commit c11f279

File tree

2 files changed

+13
-1
lines changed

2 files changed

+13
-1
lines changed

Makefile

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,8 @@ dev: install-production
1111
#lm --showalloc SRC/unit-tctx-core.lsts > out.txt
1212
#lm --showalloc SRC/unit-prop-core.lsts > out.txt
1313
#lm --showalloc SRC/unit-ascript-core.lsts > out.txt
14-
lm --showalloc --v23 SRC/index.lsts > out.txt
14+
#lm --showalloc SRC/index.lsts > out.txt
15+
lm tests/promises/typechecking/misc-linear-error-1.lsts
1516

1617
build: compile-production
1718
time env $(LSTSFLAGS) ./production --v23 --c -o deploy1.c SRC/index.lsts
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
import lib/core/bedrock.lsts;
3+
4+
let f(tokens: List<Token>, cls: String): List<Token> = (
5+
tokens
6+
);
7+
8+
let g(tokens: List<Token>): Nil = (
9+
let initializer = (Some(0), Some(0));
10+
if initializer.first.is-none then f(tokens, "[Initializer]");
11+
);

0 commit comments

Comments
 (0)