Noratrieb/riverdelta
1
0
Fork 0
mirror of https://github.com/Noratrieb/riverdelta.git synced 2026-01-14 16:35:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

add unreachable for unreachable things

Browse source
This commit is contained in:
nora 2023-07-30 00:17:05 +02:00
parent 1d9ab31baf
commit 89dbb50add
2 changed files with 26 additions and 89 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/index.ts
View file

@ -10,14 +10,15 @@ import fs from "fs";
import { exec } from "child_process";
const input = `
function main() = uwu(10);
function main() = (
loop (no(break););
uwu(10);
);
function print_a(
a: String,
): String = a;
function no(a: !): String = a;
function uwu(a: Int) = if a != 0 then (
print(print_a("uwu\n"));
print("uwu\n");
uwu(a - 1);
);
`;