added input builtin

2022-03-14 23:10:29 +01:00
parent 64f667127d
commit 90ae41be27
3 changed files with 53 additions and 5 deletions
@@ -1,9 +1,10 @@

-fun fail_at_depth(depth)
-{
-	fun fail(current_depth)
-	{
+fun fail_at_depth(depth) {
+
+	fun fail(current_depth) {
+
 		assert(current_depth < depth);
+
 		fail(current_depth + 1);
 	}