external/ton
1
0
Fork 0
mirror of https://github.com/ton-blockchain/ton synced 2025-03-09 15:40:10 +00:00
Code Issues Releases Wiki Activity
ton/tolk-tester/tests
History
Exact
tolk-vm ef0328837f
[Tolk] throw interrupts control flow; never type 
In FunC (and in Tolk before) throwing an exception is just
calling a built-in function:
> throw 123; // actually, __throw(123)
Since it's a regular function, the compiler was not aware
that execution will stop, and all following code is unreachable.
For instance, `throw` in the end on function needed to be
followed by `return` statement.

Now, `throw` interrupts control flow, all statements after
it are considered unreachable. At IR level, code Ops are
also not produced.

This works because a built-in __throw() now has `never` type.
It can also be applied to custom functions:
> fun alwaysThrow(): never { throw 123; }
The code after alwaysThrow() call will also be unreachable.
2025-02-28 16:44:18 +03:00
..
imports [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
a6.tolk [Tolk] Compiler built-in __expect_type() for testing purposes 2025-01-27 15:30:21 +03:00
a6_1.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
a6_5.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
a7.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
a10.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
allow_post_modification.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
asm_arg_order.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
assignment-tests.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
bit-operators.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
c2.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
c2_1.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
cells-slices.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
co1.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
code_after_ifelse.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
codegen_check_demo.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
comments.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
dicts-demo.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
generics-1.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
if_stmt.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
indexed-access.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
inference-tests.tolk [Tolk] throw interrupts control flow; never type 2025-02-28 16:44:18 +03:00
inline_big.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
inline_if.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
inline_loops.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-assign-1.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
invalid-assign-2.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
invalid-assign-3.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
invalid-bitwise-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-3.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-4.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-5.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-6.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-bitwise-7.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-builtin-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-call-1.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-call-2.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-call-3.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-call-4.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-call-5.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-call-6.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-call-7.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-call-8.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-call-9.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-call-10.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
invalid-call-11.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-catch-1.tolk [Tolk] Allow cell and slice be valid identifiers 2025-01-27 15:30:21 +03:00
invalid-catch-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-cmt-nested.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-cmt-old.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-const-1.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-cyclic-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-2.tolk [Tolk] Allow cell and slice be valid identifiers 2025-01-27 15:30:21 +03:00
invalid-declaration-3.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-4.tolk [Tolk] Allow cell and slice be valid identifiers 2025-01-27 15:30:21 +03:00
invalid-declaration-5.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-6.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-declaration-7.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-8.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-9.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-10.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-declaration-11.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-declaration-12.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-declaration-13.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-1.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-generics-2.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-3.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-4.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-5.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-6.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-7.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-generics-8.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-9.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-10.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-11.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-generics-12.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-generics-13.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-generics-14.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-get-method-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-get-method-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-import.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-mutate-1.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-2.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-3.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-4.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-5.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-6.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-7.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-8.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-9.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-10.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-mutate-11.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-mutate-12.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-mutate-13.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-mutate-14.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-mutate-15.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-mutate-16.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-mutate-17.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-mutate-18.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-mutate-19.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-mutate-20.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-never-1.tolk [Tolk] throw interrupts control flow; never type 2025-02-28 16:44:18 +03:00
invalid-no-import-1.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-no-import-2.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-nopar-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-nopar-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-nopar-3.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-nopar-4.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-pure-1.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-pure-2.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-pure-3.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-redefinition-1.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-redefinition-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-redefinition-3.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-redefinition-4.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-redefinition-5.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-redefinition-6.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
invalid-self-1.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-self-2.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-self-3.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-self-4.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-self-5.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-self-6.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-self-7.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
invalid-shift-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-symbol-1.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
invalid-symbol-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-syntax-1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-syntax-2.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-syntax-3.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-syntax-4.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-syntax-5.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-syntax-6.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-syntax-7.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-tolk-version.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
invalid-typing-1.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-2.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
invalid-typing-3.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-4.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-5.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-6.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
invalid-typing-7.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-8.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-9.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-10.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
invalid-typing-11.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-12.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
invalid-typing-13.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
invalid-typing-14.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-typing-15.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-typing-16.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-typing-17.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-typing-18.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
invalid-typing-19.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-20.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-21.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-22.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-23.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-24.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-25.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-26.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-27.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-28.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-29.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-30.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-44.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
invalid-typing-45.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
logical-operators.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
method_id.tolk [Tolk] Allow cell and slice be valid identifiers 2025-01-27 15:30:21 +03:00
mutate-methods.tolk [Tolk] Change order of assignment evaluation, lhs first 2025-02-24 20:11:13 +03:00
never-type-tests.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
no-spaces.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
null-keyword.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
nullable-tensors.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
nullable-types.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
op-priority.tolk [Tolk] Support syntax tensorVar.0 and tupleVar.0 2025-01-27 15:30:21 +03:00
parse-address.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
pure-functions.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
remove-unused-functions.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
s1.tolk [Tolk] Completely rework stdlib: multiple files and renaming 2024-11-02 03:44:13 +04:00
self-keyword.tolk [Tolk] Rewrite the type system from Hindley-Milner to static typing 2025-01-15 15:38:43 +03:00
smart-cast-tests.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
special-fun-names.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
test-math.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
try-func.tolk [Tolk] throw interrupts control flow; never type 2025-02-28 16:44:18 +03:00
unbalanced_ret.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
unbalanced_ret_inline.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
unbalanced_ret_loops.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
unbalanced_ret_nested.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
unreachable-1.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
unreachable-2.tolk [Tolk] AST-based semantic analysis, get rid of Expr 2025-01-13 20:28:44 +07:00
unreachable-3.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
unreachable-4.tolk [Tolk] throw interrupts control flow; never type 2025-02-28 16:44:18 +03:00
use-before-declare.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
var-apply.tolk [Tolk] Nullable types T? and null safety 2025-02-28 16:41:41 +03:00
w1.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
w2.tolk [Tolk] Get rid of ~tilda with mutate and self methods 2024-11-02 03:44:14 +04:00
w6.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
w7.tolk [Tolk] bool type (-1/0 int under the hood) 2025-01-15 15:38:47 +03:00
w9.tolk [Tolk] v0.6 syntax: fun, import, var, types on the right, etc. 2024-11-02 03:44:13 +04:00
warnings-1.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00
warnings-2.tolk [Tolk] Smart casts and control flow graph 2025-02-28 16:44:15 +03:00