Start on llvm IR target

Feat: Error on undefined function

Fix: All ids are now prefix to prevent native var clashes.
This was already done on it2, but now also in it0 and it1.
Redid it2 to match.

Fix: generate-recipes would not complain on missing exp.

Fix: Adds documentation and test for not

Chore: __check helper function for ease of use in it0, it1.

Chore: some reordering to match more between iterations.

0-lang0py/lang0py.py

@@ -2,14 +2,14 @@ import os
 import sys
 
 def emit(string):
-    sys.stdout.write(string)
+    sys.stdout.buffer.write(string.encode('latin_1'))
     sys.stdout.flush()
 
 def trace(header, value):
     if os.environ.get('TRACE'):
         sys.stderr.write(f'{header}={value!r}\n')
 
-eof = chr(0)
+eof = chr(0xFF)
 eol = chr(10)
 quote = chr(34)
 PEEK = None
@@ -39,6 +39,36 @@ def skip():
 
     PEEK = None
 
+def __check(func, args: list[str], msg: list[str]) -> None:
+    result = func(*args)
+    if result:
+        return
+
+    sys.stderr.write('ERROR: ' + ' '.join(msg) + '\n')
+    sys.stderr.flush()
+    exit(1)
+
+MAPSTORE = {}
+
+def mapclear(mapname: str) -> str:
+    MAPSTORE.pop(mapname)
+    return ""
+
+def mapgetkey(mapname: str, key: str, default: str) -> str:
+    return MAPSTORE.get(mapname, {}).get(key, default)
+
+def mapsetkey(mapname: str, key: str, value: str) -> str:
+    MAPSTORE.setdefault(mapname, {})
+    MAPSTORE[mapname][key] = value
+    return ""
+
+def registerid(id: str) -> str:
+    idname = mapgetkey("REGISTERID", id, "")
+    if idname:
+        return idname
+    idname = "id_" + id
+    return idname
+
 def emitln(data):
     emit(data)
     emit(eol)
@@ -81,12 +111,15 @@ def parseconststring():
     emit(quote)
 
 def parseexprvarref():
-    var = lexident()
-    emit(var)
+    varname = lexident()
+    varid = registerid(varname)
+    emit(varid)
 
 def parseexprcall():
     funcname = lexident()
-    emit(funcname)
+    __check(mapgetkey, ["FUNCREG", funcname, ""], ["Function", funcname, "does not exist"])
+    funcid = registerid(funcname)
+    emit(funcid)
     emit('(')
 
     first = True
@@ -109,11 +142,12 @@ def parsestatdeclare(indent):
 
 def parsestatset(indent):
     skipchar(' ')
-    var = lexident()
+    varname = lexident()
+    varid = registerid(varname)
     skipchar(' ')
 
     emit('    ' * indent)
-    emit(var)
+    emit(varid)
     emit(' = ')
 
     parseconststring()
@@ -123,11 +157,12 @@ def parsestatset(indent):
 
 def parsestatcalc(indent):
     skipchar(' ')
-    var = lexident()
+    varname = lexident()
+    varid = registerid(varname)
     skipchar(' ')
 
     emit('    ' * indent)
-    emit(var)
+    emit(varid)
     emit(' = ')
 
     parseexprcall()
@@ -166,17 +201,21 @@ def parsestatreturn(indent):
             parseconststring()
         else:
             parseexprvarref()
+    else:
+        emit('""')
     emit(eol)
     skipchar(eol)
 
 def parsestatcheck(indent):
     skipchar(' ')
     emit('    ' * indent)
-    emit('assert ')
+    emit('__check(')
 
-    func_name = lexident()
-    emit(func_name)
-    emit('(')
+    funcname = lexident()
+    funcid = registerid(funcname)
+    trace("funcid", funcid)
+    emit(funcid)
+    emit(', [')
     notfirst = False
 
     while True:
@@ -197,7 +236,7 @@ def parsestatcheck(indent):
 
     skipchar(':')
 
-    emit('), (')
+    emit('], [')
     notfirst = False
 
     while True:
@@ -214,19 +253,21 @@ def parsestatcheck(indent):
         if eol == peek():
             break
         notfirst = True
-    emitln(')')
+
+    emitln('])')
 
 def parsestattrace(indent):
     skipchar(' ')
     emit('    ' * indent)
-    emit('trace("')
+    emit('__trace("')
 
-    var_name = lexident()
+    varname = lexident()
+    varid = registerid(varname)
     skipchar(eol)
 
-    emit(var_name)
+    emit(varname)
     emit('", ')
-    emit(var_name)
+    emit(varid)
     emitln(')')
 
 def parsestat(indent):
@@ -269,8 +310,12 @@ def parsestat(indent):
         parsestattrace(indent)
         return
 
+    __check(mapgetkey, ["FUNCREG", call, ""], ["Function", call, "does not exist"])
+
+    callid = registerid(call)
+
     emit('    ' * indent)
-    emit(call)
+    emit(callid)
     emit('(')
 
     first = True
@@ -307,19 +352,22 @@ def parseblock(indent):
 
 def parsefunc():
     funcname = lexident()
+    funcid = registerid(funcname)
+    mapsetkey("FUNCREG", funcname, "1")
 
     trace('funcname', funcname)
     emit('def ')
-    emit(funcname)
+    emit(funcid)
     emit('(')
 
     first = True
     while ' ' == peek():
         skip()
-        var = lexident()
+        varname = lexident()
+        varid = registerid(varname)
         if not first:
             emit(", ")
-        emit(var)
+        emit(varid)
         first = False
 
     if '/' == peek():
@@ -344,26 +392,26 @@ def emitheader():
     emitln("import os")
     emitln("import sys")
     emitln("")
-    emitln("def eq(a, b):")
-    emitln("    return a == b")
+    emitln("def __eq(a: str, b: str) -> str:")
+    emitln("    return '1' if a == b else ''")
     emitln("")
-    emitln("def lt(a, b):")
-    emitln("    return a[0] < b[0]")
+    emitln("def __lt(a: str, b: str) -> str:")
+    emitln("    return '1' if a < b else ''")
     emitln("")
-    emitln("def addstringchar(a, b):")
-    emitln("    return a + b[0]")
+    emitln("def __add(a: str, b: str) -> str:")
+    emitln("    return a + b")
     emitln("")
-    emitln("def emit(string):")
-    emitln("    sys.stdout.write(string)")
+    emitln("def __emit(string):")
+    emitln("    sys.stdout.buffer.write(string.encode('latin_1'))")
     emitln("    sys.stdout.flush()")
     emitln("")
-    emitln("def trace(header, value):")
+    emitln("def __trace(header, value):")
     emitln("    if os.environ.get('TRACE'):")
     emitln("        sys.stderr.write(f'{header}={value!r}\\n')")
     emitln("")
-    emitln("eof = chr(0)")
-    emitln("eol = chr(10)")
-    emitln("quote = chr(34)")
+    emitln("__EOF = chr(0xFF)")
+    emitln("__EOL = chr(10)")
+    emitln("__QUOTE = chr(34)")
     emitln("")
     emitln("STDINCOLNO = 0")
     emitln("STDINLINENO = 1")
@@ -371,41 +419,106 @@ def emitheader():
     emitln("")
     emitln("def _readchar():")
     emitln("    char = sys.stdin.read(1)")
-    emitln("    trace('char', char)")
+    emitln("    __trace('char', char)")
     emitln("    if not char:")
-    emitln("        return eof")
+    emitln("        return __EOF")
     emitln("    return char")
     emitln("")
-    emitln("def peek():")
+    emitln("def __peek():")
     emitln("    return STDINPEEK")
     emitln("")
-    emitln("def skip():")
+    emitln("def __skip():")
     emitln("    global STDINCOLNO")
     emitln("    global STDINLINENO")
     emitln("    global STDINPEEK")
-    emitln("    if eol == STDINPEEK:")
+    emitln("    if __EOL == STDINPEEK:")
     emitln("        STDINLINENO += 1")
     emitln("        STDINCOLNO = 0")
     emitln("    STDINCOLNO += 1")
     emitln("    STDINPEEK = _readchar()")
     emitln("")
-    emitln("def stdinlineno():")
+    emitln("def __stdinlineno():")
     emitln("    global STDINLINENO")
     emitln("    return str(STDINLINENO)")
     emitln("")
-    emitln("def stdincolno():")
+    emitln("def __stdincolno():")
     emitln("    global STDINCOLNO")
     emitln("    return str(STDINCOLNO)")
     emitln("")
-    emitln("skip()")
+    emitln("__skip()")
+    emitln("")
+    emitln("MAPSTORE = {}")
+    emitln("")
+    emitln("def __mapclear(mapname: str) -> str:")
+    emitln("    MAPSTORE.pop(mapname)")
+    emitln("    return ''")
+    emitln("")
+    emitln("def __mapgetkey(mapname: str, key: str, default: str) -> str:")
+    emitln("    return MAPSTORE.get(mapname, {}).get(key, default)")
+    emitln("")
+    emitln("def __mapsetkey(mapname: str, key: str, value: str) -> str:")
+    emitln("    MAPSTORE.setdefault(mapname, {})")
+    emitln("    MAPSTORE[mapname][key] = value")
+    emitln("    return ''")
+    emitln("")
+    emitln("def __not(a: str) -> str:")
+    emitln("    if a:")
+    emitln("        return ''")
+    emitln("    return '1'")
+    emitln("")
+    emitln("def __check(func, args: list[str], msg: list[str]) -> None:")
+    emitln("    result = func(*args)")
+    emitln("    if result:")
+    emitln("        return")
+    emitln("")
+    emitln("    sys.stderr.write('ERROR: ' + ' '.join(msg) + '\\n')")
+    emitln("    sys.stderr.flush()")
+    emitln("    exit(1)")
+    emitln("")
+    emitln("# ### END OF RUNTIME ### #")
     emitln("")
 
 def emitfooter():
-    emit("if __name__ == '__main__':\n")
-    emit("    main()\n")
+    mainid = registerid("main")
+    emitln("if __name__ == '__main__':")
+    emit("    ")
+    emit(mainid)
+    emitln("()")
 
 def main():
     emitheader()
+
+    # Standard library constants
+    mapsetkey("REGISTERID", "eof", "__EOF")
+    mapsetkey("REGISTERID", "eol", "__EOL")
+    mapsetkey("REGISTERID", "quote", "__QUOTE")
+
+    # Standard library functions
+    mapsetkey("FUNCREG", "add", "1")
+    mapsetkey("REGISTERID", "add", "__add")
+    mapsetkey("FUNCREG", "emit", "1")
+    mapsetkey("REGISTERID", "emit", "__emit")
+    mapsetkey("FUNCREG", "eq", "1")
+    mapsetkey("REGISTERID", "eq", "__eq")
+    mapsetkey("FUNCREG", "lt", "1")
+    mapsetkey("REGISTERID", "lt", "__lt")
+    mapsetkey("FUNCREG", "not", "1")
+    mapsetkey("REGISTERID", "not", "__not")
+    mapsetkey("FUNCREG", "mapclear", "1")
+    mapsetkey("REGISTERID", "mapclear", "__mapclear")
+    mapsetkey("FUNCREG", "mapgetkey", "1")
+    mapsetkey("REGISTERID", "mapgetkey", "__mapgetkey")
+    mapsetkey("FUNCREG", "mapsetkey", "1")
+    mapsetkey("REGISTERID", "mapsetkey", "__mapsetkey")
+    mapsetkey("FUNCREG", "peek", "1")
+    mapsetkey("REGISTERID", "peek", "__peek")
+    mapsetkey("FUNCREG", "skip", "1")
+    mapsetkey("REGISTERID", "skip", "__skip")
+    mapsetkey("FUNCREG", "stdincolno", "1")
+    mapsetkey("REGISTERID", "stdincolno", "__stdincolno")
+    mapsetkey("FUNCREG", "stdinlineno", "1")
+    mapsetkey("REGISTERID", "stdinlineno", "__stdinlineno")
+
     while True:
         if eof == peek():
             break

1-lang0py/Makefile

@@ -36,5 +36,8 @@ lang0py.py: lang0py.lang0 lang0py2.exe
 	mv $@.tmp $@
 	-diff lang0py2.py lang0py.py
 
+$(LANG0PY): $(CURDIR)/../0-lang0py/lang0py.py $(CURDIR)/../0-lang0py/lang0py.lang0
+	cd ../0-lang0py && make lang0py.exe
+
 clean:
 	rm -f lang0py*.py lang0py*.c lang0py*.o lang0py*.exe

1-lang0py/lang0py.lang0

@@ -1,12 +1,14 @@
-skipchar exp:
-	declare act
-	declare lineno
-	declare colno
-	calc act peek
-	calc lineno stdinlineno
-	calc colno stdincolno
-	check eq exp act : "Unexpected character" act "expected" exp "at" lineno colno
-	skip
+registerid id:
+	declare idname
+	declare newidx
+
+	calc idname mapgetkey "REGISTERID" id ""
+	if idname
+		return idname
+	/
+
+	calc idname add "id_" id
+	return idname
 /
 
 emitln data:
@@ -14,14 +16,6 @@ emitln data:
 	emit eol
 /
 
-increaseindent indent:
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	return indent
-/
-
 lexident:
 	declare word
 	set word ""
@@ -35,12 +29,28 @@ lexident:
 		if isafterz
 			break
 		/
-		calc word addstringchar word char
+		calc word add word char
 		skip
 	/
 	return word
 /
 
+skipchar exp:
+	declare act
+	declare lineno
+	declare colno
+	calc act peek
+	calc lineno stdinlineno
+	calc colno stdincolno
+	check eq exp act : "Unexpected character" act "expected" exp "at" lineno colno
+	skip
+/
+
+increaseindent indent:
+	calc indent add indent "    "
+	return indent
+/
+
 parseconststring:
 	skipchar quote
 	emit quote
@@ -63,12 +73,15 @@ parseconststring:
 
 parseexprvarref:
 	calc varname lexident
-	emit varname
+	calc varid registerid varname
+	emit varid
 /
 
 parseexprcall:
 	calc funcname lexident
-	emit funcname
+	calc funcid registerid funcname
+	check mapgetkey "FUNCREG" funcname "" : "Function" funcname "does not exist"
+	emit funcid
 	emit "("
 	set first "1"
 	forever
@@ -100,16 +113,18 @@ parseexprcall:
 
 parsestatdeclare indent:
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	skipchar eol
 /
 
 parsestatset indent:
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	skipchar " "
 	emit indent
-	emit var
+	emit varid
 	emit " = "
 	parseconststring
 	emit eol
@@ -118,10 +133,11 @@ parsestatset indent:
 
 parsestatcalc indent:
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	skipchar " "
 	emit indent
-	emit var
+	emit varid
 	emit " = "
 	parseexprcall
 	emit eol
@@ -160,6 +176,7 @@ parsestatreturn indent:
 	emit "return "
 	calc char peek
 	calc isspace eq char " "
+	calc isnotspace not isspace
 	if isspace
 		skip
 		calc char peek
@@ -172,6 +189,10 @@ parsestatreturn indent:
 			parseexprvarref
 		/
 	/
+	if isnotspace
+		emit quote
+		emit quote
+	/
 	emit eol
 	skipchar eol
 /
@@ -186,11 +207,12 @@ parsestatcheck indent:
 
 	skipchar " "
 	emit indent
-	emit "assert "
+	emit "__check("
 
 	calc funcname lexident
-	emit funcname
-	emit "("
+	calc funcid registerid funcname
+	emit funcid
+	emit ", ["
 
 	set notfirst ""
 	forever
@@ -220,7 +242,8 @@ parsestatcheck indent:
 
 	skipchar ":"
 
-	emit "), ("
+	emit "], ["
+
 	set notfirst ""
 
 	forever
@@ -249,19 +272,20 @@ parsestatcheck indent:
 		set notfirst "1"
 	/
 
-	emitln ")"
+	emitln "])"
 /
 
 parsestattrace indent:
 	emit indent
-	emit "trace("
+	emit "__trace("
 	emit quote
 	skipchar " "
 	calc varname lexident
+	calc varid registerid varname
 	emit varname
 	emit quote
 	emit ", "
-	emit varname
+	emit varid
 	emitln ")"
 	skipchar eol
 /
@@ -314,8 +338,10 @@ parsestat indent:
 		parsestatcheck indent
 		return
 	/
+	check mapgetkey "FUNCREG" call "" : "Function" call "does not exist"
+	calc callid registerid call
 	emit indent
-	emit call
+	emit callid
 	emit "("
 	set first "1"
 	forever
@@ -380,9 +406,11 @@ parseblock indent:
 
 parsefunc:
 	calc funcname lexident
+	calc funcid registerid funcname
 	trace funcname
+	mapsetkey "FUNCREG" funcname "1"
 	emit "def "
-	emit funcname
+	emit funcid
 	emit "("
 	set isnotfirst ""
 	forever
@@ -393,11 +421,12 @@ parsefunc:
 			break
 		/
 		skip
-		calc var lexident
+		calc varname lexident
+		calc varid registerid varname
 		if isnotfirst
 			emit ", "
 		/
-		emit var
+		emit varid
 		set isnotfirst "1"
 	/
 	calc char peek
@@ -421,26 +450,31 @@ emitheader:
 	emitln "import os"
 	emitln "import sys"
 	emitln ""
-	emitln "def eq(a, b):"
-	emitln "    return a == b"
+	emitln "def __eq(a: str, b: str) -> str:"
+	emitln "    return '1' if a == b else ''"
 	emitln ""
-	emitln "def lt(a, b):"
-	emitln "    return a[0] < b[0]"
+	emitln "def __lt(a: str, b: str) -> str:"
+	emitln "    return '1' if a < b else ''"
 	emitln ""
-	emitln "def addstringchar(a, b):"
-	emitln "    return a + b[0]"
+	emitln "def __not(a: str) -> str:"
+	emitln "    if a:"
+	emitln "        return ''"
+	emitln "    return '1'"
 	emitln ""
-	emitln "def emit(string):"
-	emitln "    sys.stdout.write(string)"
+	emitln "def __add(a: str, b :str) -> str:"
+	emitln "    return a + b"
+	emitln ""
+	emitln "def __emit(string):"
+	emitln "    sys.stdout.buffer.write(string.encode('latin_1'))"
 	emitln "    sys.stdout.flush()"
 	emitln ""
-	emitln "def trace(header, value):"
+	emitln "def __trace(header, value):"
 	emitln "    if os.environ.get('TRACE'):"
 	emitln "        sys.stderr.write(f'{header}={value!r}\\n')"
 	emitln ""
-	emitln "eof = chr(0)"
-	emitln "eol = chr(10)"
-	emitln "quote = chr(34)"
+	emitln "__EOF = chr(0xFF)"
+	emitln "__EOL = chr(10)"
+	emitln "__QUOTE = chr(34)"
 	emitln ""
 	emitln "STDINCOLNO = 0"
 	emitln "STDINLINENO = 1"
@@ -448,43 +482,105 @@ emitheader:
 	emitln ""
 	emitln "def _readchar():"
 	emitln "    char = sys.stdin.read(1)"
-	emitln "    trace('char', char)"
+	emitln "    __trace('char', char)"
 	emitln "    if not char:"
-	emitln "        return eof"
+	emitln "        return __EOF"
 	emitln "    return char"
 	emitln ""
-	emitln "def peek():"
+	emitln "def __peek():"
 	emitln "    return STDINPEEK"
 	emitln ""
-	emitln "def skip():"
+	emitln "def __skip():"
 	emitln "    global STDINCOLNO"
 	emitln "    global STDINLINENO"
 	emitln "    global STDINPEEK"
-	emitln "    if eol == STDINPEEK:"
+	emitln "    if __EOL == STDINPEEK:"
 	emitln "        STDINLINENO += 1"
 	emitln "        STDINCOLNO = 0"
 	emitln "    STDINCOLNO += 1"
 	emitln "    STDINPEEK = _readchar()"
 	emitln ""
-	emitln "def stdinlineno():"
+	emitln "def __stdinlineno():"
 	emitln "    global STDINLINENO"
 	emitln "    return str(STDINLINENO)"
 	emitln ""
-	emitln "def stdincolno():"
+	emitln "def __stdincolno():"
 	emitln "    global STDINCOLNO"
 	emitln "    return str(STDINCOLNO)"
 	emitln ""
-	emitln "skip()"
+	emitln "__skip()"
+	emitln ""
+	emitln ""
+	emitln "MAPSTORE = {}"
+	emitln ""
+	emitln "def __mapclear(mapname: str) -> str:"
+	emitln "    MAPSTORE.pop(mapname)"
+	emitln "    return ''"
+	emitln ""
+	emitln "def __mapgetkey(mapname: str, key: str, default: str) -> str:"
+	emitln "    return MAPSTORE.get(mapname, {}).get(key, default)"
+	emitln ""
+	emitln "def __mapsetkey(mapname: str, key: str, value: str) -> str:"
+	emitln "    MAPSTORE.setdefault(mapname, {})"
+	emitln "    MAPSTORE[mapname][key] = value"
+	emitln "    return ''"
+	emitln ""
+	emitln "def __check(func, args: list[str], msg: list[str]) -> None:"
+	emitln "    result = func(*args)"
+	emitln "    if result:"
+	emitln "        return"
+	emitln ""
+	emitln "    sys.stderr.write('ERROR: ' + ' '.join(msg) + '\\n')"
+	emitln "    sys.stderr.flush()"
+	emitln "    exit(1)"
+	emitln ""
+	emitln "# ### END OF RUNTIME ### #"
 	emitln ""
 /
 
 emitfooter:
+	declare mainid
+	calc mainid registerid "main"
+
 	emitln "if __name__ == '__main__':"
-	emitln "    main()"
+	emit "    "
+	emit mainid
+	emitln "()"
 /
 
 main:
 	emitheader
+
+	mapsetkey "REGISTERID" "eof" "__EOF"
+	mapsetkey "REGISTERID" "eol" "__EOL"
+	mapsetkey "REGISTERID" "quote" "__QUOTE"
+
+	mapsetkey "FUNCREG" "add" "1"
+	mapsetkey "REGISTERID" "add" "__add"
+	mapsetkey "FUNCREG" "emit" "1"
+	mapsetkey "REGISTERID" "emit" "__emit"
+	mapsetkey "FUNCREG" "eq" "1"
+	mapsetkey "REGISTERID" "eq" "__eq"
+	mapsetkey "FUNCREG" "lt" "1"
+	mapsetkey "REGISTERID" "lt" "__lt"
+	mapsetkey "FUNCREG" "not" "1"
+	mapsetkey "REGISTERID" "not" "__not"
+	mapsetkey "FUNCREG" "mapclear" "1"
+	mapsetkey "REGISTERID" "mapclear" "__mapclear"
+	mapsetkey "FUNCREG" "mapgetkey" "1"
+	mapsetkey "REGISTERID" "mapgetkey" "__mapgetkey"
+	mapsetkey "FUNCREG" "mapsetkey" "1"
+	mapsetkey "REGISTERID" "mapsetkey" "__mapsetkey"
+	mapsetkey "FUNCREG" "peek" "1"
+	mapsetkey "REGISTERID" "peek" "__peek"
+	mapsetkey "FUNCREG" "skip" "1"
+	mapsetkey "REGISTERID" "skip" "__skip"
+	mapsetkey "FUNCREG" "stdincolno" "1"
+	mapsetkey "REGISTERID" "stdincolno" "__stdincolno"
+	mapsetkey "FUNCREG" "stdinlineno" "1"
+	mapsetkey "REGISTERID" "stdinlineno" "__stdinlineno"
+
+
 	forever
 		calc char peek
 		calc iseof eq char eof

2-lang0c/lang0c.lang0

@@ -1,12 +1,14 @@
-skipchar exp:
-	declare act
-	declare lineno
-	declare colno
-	calc act peek
-	calc lineno stdinlineno
-	calc colno stdincolno
-	check eq exp act : "Unexpected character" act "expected" exp "at" lineno colno
-	skip
+registerid id:
+	declare idname
+	declare newidx
+
+	calc idname mapgetkey "REGISTERID" id ""
+	if idname
+		return idname
+	/
+
+	calc idname add "id_" id
+	return idname
 /
 
 emitln data:
@@ -14,14 +16,6 @@ emitln data:
 	emit eol
 /
 
-increaseindent indent:
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	calc indent addstringchar indent " "
-	return indent
-/
-
 lexident:
 	declare char
 	declare isbeforea
@@ -38,12 +32,28 @@ lexident:
 		if isafterz
 			break
 		/
-		calc word addstringchar word char
+		calc word add word char
 		skip
 	/
 	return word
 /
 
+skipchar exp:
+	declare act
+	declare lineno
+	declare colno
+	calc act peek
+	calc lineno stdinlineno
+	calc colno stdincolno
+	check eq exp act : "Unexpected character" act "expected" exp "at" lineno colno
+	skip
+/
+
+increaseindent indent:
+	calc indent add indent "    "
+	return indent
+/
+
 parseconststring:
 	declare char
 	declare iseof
@@ -69,16 +79,18 @@ parseconststring:
 /
 
 parseexprvarref:
+	declare varid
 	declare varname
 	calc varname lexident
-	emit "var_"
-	emit varname
+	calc varid registerid varname
+	emit varid
 	return
 /
 
 parseexprcall:
 	declare char
 	declare first
+	declare funcid
 	declare funcname
 	declare isspace
 	declare isnotspace
@@ -87,7 +99,9 @@ parseexprcall:
 	declare isquote
 	declare isnotquote
 	calc funcname lexident
-	emit funcname
+	check mapgetkey "FUNCREG" funcname "" : "Function" funcname "does not exist"
+	calc funcid registerid funcname
+	emit funcid
 	emit "("
 	set first "1"
 	forever
@@ -119,12 +133,14 @@ parseexprcall:
 /
 
 parsestatdeclare indent:
-	declare var
+	declare varid
+	declare varname
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	emit indent
-	emit "char * var_"
-	emit var
+	emit "char * "
+	emit varid
 	emit ";"
 	emit eol
 	skipchar eol
@@ -132,13 +148,14 @@ parsestatdeclare indent:
 /
 
 parsestatset indent:
-	declare var
+	declare varid
+	declare varname
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	skipchar " "
 	emit indent
-	emit "var_"
-	emit var
+	emit varid
 	emit " = "
 	parseconststring
 	emit ";"
@@ -148,13 +165,14 @@ parsestatset indent:
 /
 
 parsestatcalc indent:
-	declare var
+	declare varid
+	declare varname
 	skipchar " "
-	calc var lexident
+	calc varname lexident
+	calc varid registerid varname
 	skipchar " "
 	emit indent
-	emit "var_"
-	emit var
+	emit varid
 	emit " = "
 	parseexprcall
 	emit ";"
@@ -227,7 +245,8 @@ parsestatreturn indent:
 		/
 	/
 	if isnotspace
-		emit "0"
+		emit quote
+		emit quote
 	/
 	emit ";"
 	emit eol
@@ -237,6 +256,7 @@ parsestatreturn indent:
 
 parsestatcheck indent:
 	declare char
+	declare funcid
 	declare funcname
 	declare iscolon
 	declare iseol
@@ -249,7 +269,8 @@ parsestatcheck indent:
 	emit "if( 0 == strlen("
 
 	calc funcname lexident
-	emit funcname
+	calc funcid registerid funcname
+	emit funcid
 	emit "("
 
 	set notfirst ""
@@ -284,6 +305,7 @@ parsestatcheck indent:
 	emit indent
 	emitln "{"
 
+	emit indent
 	emit "    fprintf(stderr, "
 	emit quote
 	emit "%s"
@@ -321,6 +343,14 @@ parsestatcheck indent:
 		/
 	/
 
+	emit indent
+	emit "    fprintf(stderr, "
+	emit quote
+	emit "%s"
+	emit quote
+	emit ", __EOL"
+	emitln ");"
+
 	emit indent
 	emitln "    exit(1);"
 	emit indent
@@ -328,16 +358,18 @@ parsestatcheck indent:
 /
 
 parsestattrace indent:
+	declare varid
 	declare varname
 	emit indent
-	emit "trace("
+	emit "__trace("
 	emit quote
 	skipchar " "
 	calc varname lexident
+	calc varid registerid varname
 	emit varname
 	emit quote
-	emit ", var_"
-	emit varname
+	emit ", "
+	emit varid
 	emitln ");"
 	skipchar eol
 	return
@@ -345,6 +377,7 @@ parsestattrace indent:
 
 parsestat indent:
 	declare call
+	declare callid
 	declare char
 	declare first
 	declare iscall
@@ -401,8 +434,10 @@ parsestat indent:
 		parsestattrace indent
 		return
 	/
+	check mapgetkey "FUNCREG" call "" : "Function" call "does not exist"
+	calc callid registerid call
 	emit indent
-	emit call
+	emit callid
 	emit "("
 	set first "1"
 	forever
@@ -416,17 +451,17 @@ parsestat indent:
 		calc char peek
 		calc isquote eq char quote
 		calc isnotquote not isquote
+		calc isfirst eq first "1"
+		calc isnotfirst not isfirst
+		if isnotfirst
+			emit ", "
+		/
 		if isquote
 			parseconststring
 		/
 		if isnotquote
 			parseexprvarref
 		/
-		calc isfirst eq first "1"
-		calc isnotfirst not isfirst
-		if isnotfirst
-			emit ", "
-		/
 		set first "0"
 	/
 	skipchar eol
@@ -476,17 +511,23 @@ parseblock indent:
 parsefunc:
 	declare char
 	declare first
+	declare funcid
 	declare funcname
 	declare iseoblock
 	declare isfirst
+	declare ismain
+	declare isnotmain
 	declare isspace
 	declare isnotfirst
 	declare isnotspace
-	declare var
+	declare varid
+	declare varname
 	calc funcname lexident
+	mapsetkey "FUNCREG" funcname "1"
+	calc funcid registerid funcname
 	trace funcname
 	emit "char * "
-	emit funcname
+	emit funcid
 	emit "("
 	set first "1"
 	forever
@@ -497,14 +538,15 @@ parsefunc:
 			break
 		/
 		skip
-		calc var lexident
+		calc varname lexident
+		calc varid registerid varname
 		calc isfirst eq first "1"
 		calc isnotfirst not isfirst
 		if isnotfirst
 			emit ", "
 		/
-		emit "char * var_"
-		emit var
+		emit "char * "
+		emit varid
 		set first "0"
 	/
 	calc char peek
@@ -532,45 +574,45 @@ emitheader:
 	emitln "#include <string.h>"
 	emitln ""
 	emitln ""
-	emitln "char var_eof[2] = {-1, 0};"
-	emitln "char var_eol[2] = {10, 0};"
-	emitln "char var_quote[2] = {34, 0};"
-	emitln "char var_false[1] = {0};"
-	emitln "char var_true[2] = {'1', 0};"
+	emitln "char __EOF[2] = {0xFF, 0};"
+	emitln "char __EOL[2] = {10, 0};"
+	emitln "char __QUOTE[2] = {34, 0};"
+	emitln "char __FALSE[1] = {0};"
+	emitln "char __TRUE[2] = {'1', 0};"
 	emitln ""
 	emitln ""
-	emitln "char * eq(char * a, char * b)"
+	emitln "char * __eq(char * a, char * b)"
 	emitln "{"
-	emitln "    return (strcmp(a, b) == 0) ? var_true : var_false;"
+	emitln "    return (strcmp(a, b) == 0) ? __TRUE : __FALSE;"
 	emitln "}"
 	emitln ""
-	emitln "char * lt(char * a, char * b)"
+	emitln "char * __lt(char * a, char * b)"
 	emitln "{"
-	emitln "    return (strcmp(a, b) < 0) ? var_true : var_false;"
+	emitln "    return (strcmp(a, b) < 0) ? __TRUE : __FALSE;"
 	emitln "}"
-	emitln "char * not(char * a)"
+	emitln "char * __not(char * a)"
 	emitln "{"
-	emitln "    return (strcmp(a, var_true) != 0) ? var_true : var_false;"
+	emitln "    return (0 == strlen(a)) ? __TRUE : __FALSE;"
 	emitln "}"
 	emitln ""
-	emitln "char * addstringchar(char * str, char * chr)"
+	emitln "char * __add(char * lft, char * rgt)"
 	emitln "{"
-	emitln "    int str_len = strlen(str);"
-	emitln "    assert(strlen(chr) == 1);"
-	emitln "    char * res = malloc((str_len + 2) * sizeof(char));"
-	emitln "    strcpy(res, str);"
-	emitln "    res[str_len + 0] = chr[0];"
-	emitln "    res[str_len + 1] = 0;"
+	emitln "    int lft_len = strlen(lft);"
+	emitln "    int rgt_len = strlen(rgt);"
+	emitln "    char * res = malloc((lft_len + rgt_len + 1) * sizeof(char));"
+	emitln "    strcpy(res, lft);"
+	emitln "    strcpy(res + lft_len, rgt);"
+	emitln "    res[lft_len + rgt_len] = 0;"
 	emitln "    return res;"
 	emitln "}"
 	emitln ""
-	emitln "char * emit(char * str)"
+	emitln "char * __emit(char * str)"
 	emitln "{"
 	emitln "    fputs(str, stdout);"
 	emitln "    return 0;"
 	emitln "}"
 	emitln ""
-	emitln "char * trace(char * var_name, char * var_value)"
+	emitln "char * __trace(char * var_name, char * var_value)"
 	emitln "{"
 	emit "    const char * env_trace = getenv("
 	emit quote
@@ -585,7 +627,7 @@ emitheader:
 	emit quote
 	emitln ", stderr);"
 	emitln "    fputs(var_value, stderr);"
-	emitln "    fputs(var_eol, stderr);"
+	emitln "    fputs(__EOL, stderr);"
 	emitln "    return 0;"
 	emitln "}"
 	emitln ""
@@ -601,13 +643,13 @@ emitheader:
 	emitln "    return res;"
 	emitln "}"
 	emitln ""
-	emitln "char * peek()"
+	emitln "char * __peek()"
 	emitln "{"
 	emitln "    if( !STDINPEEK ) STDINPEEK = _readchar(); // First byte read"
 	emitln "    return STDINPEEK;"
 	emitln "}"
 	emitln ""
-	emitln "void skip()"
+	emitln "void __skip()"
 	emitln "{"
 	emitln "    if( !STDINPEEK ) STDINPEEK = _readchar(); // First byte read, not even peek()'d"
 	emitln "    if( STDINPEEK[0] == 10 ) {"
@@ -618,7 +660,7 @@ emitheader:
 	emitln "    STDINPEEK = _readchar();"
 	emitln "}"
 	emitln ""
-	emitln "char * stdinlineno()"
+	emitln "char * __stdinlineno()"
 	emitln "{"
 	emitln "    char * res = malloc(8*sizeof(char));"
 	emit "    sprintf(res, "
@@ -629,7 +671,7 @@ emitheader:
 	emitln "    return res;"
 	emitln "}"
 	emitln ""
-	emitln "char * stdincolno()"
+	emitln "char * __stdincolno()"
 	emitln "{"
 	emitln "    char * res = malloc(8*sizeof(char));"
 	emit "    sprintf(res, "
@@ -640,11 +682,137 @@ emitheader:
 	emitln "    return res;"
 	emitln "}"
 	emitln ""
+	emitln "struct KEYVALUE"
+	emitln "{"
+	emitln "    char * key;"
+	emitln "    char * value;"
+	emitln "    struct KEYVALUE * nextkeyvalue;"
+	emitln "};"
+	emitln ""
+	emitln "struct MAP"
+	emitln "{"
+	emitln "    char * mapname;"
+	emitln "    struct KEYVALUE * firstkeyvalue;"
+	emitln "    struct MAP * nextmap;"
+	emitln "};"
+	emitln ""
+	emitln "struct MAP * MAPSTORE = 0;"
+	emitln ""
+	emitln "struct MAP * __map_get(char * mapname, int create)"
+	emitln "{"
+	emitln "    struct MAP *prevmap, *map;"
+	emitln ""
+	emitln "    prevmap = 0;"
+	emitln "    map = MAPSTORE;"
+	emitln "    while( map ) {"
+	emitln "        if( strcmp(mapname, map->mapname) == 0) break;"
+	emitln "        prevmap = map;"
+	emitln "        map = map->nextmap;"
+	emitln "    }"
+	emitln ""
+	emitln "    if( map ) {"
+	emitln "        return map;"
+	emitln "    }"
+	emitln ""
+	emitln "    if( !create ) {"
+	emitln "        return 0;"
+	emitln "    }"
+	emitln ""
+	emitln "    map = malloc(sizeof(struct MAP));"
+	emitln "    map->mapname = mapname;"
+	emitln "    map->firstkeyvalue = 0;"
+	emitln "    map->nextmap = 0;"
+	emitln "    if( prevmap == 0) {"
+	emitln "        MAPSTORE = map;"
+	emitln "    } else {"
+	emitln "        prevmap->nextmap = map;"
+	emitln "    }"
+	emitln ""
+	emitln "    return map;"
+	emitln "}"
+	emitln ""
+	emitln "struct KEYVALUE * __map_keyvalue_get(struct MAP * map, char * key, int create)"
+	emitln "{"
+	emitln "    struct KEYVALUE *prevkeyvalue, *keyvalue;"
+	emitln ""
+	emitln "    prevkeyvalue = 0;"
+	emitln "    keyvalue = map->firstkeyvalue;"
+	emitln "    while( keyvalue ) {"
+	emitln "        if( strcmp(key, keyvalue->key) == 0) break;"
+	emitln "        prevkeyvalue = keyvalue;"
+	emitln "        keyvalue = keyvalue->nextkeyvalue;"
+	emitln "    }"
+	emitln ""
+	emitln "    if( keyvalue ) {"
+	emitln "        return keyvalue;"
+	emitln "    }"
+	emitln ""
+	emitln "    if( !create ) {"
+	emitln "        return 0;"
+	emitln "    }"
+	emitln ""
+	emitln "    keyvalue = malloc(sizeof(struct KEYVALUE));"
+	emitln "    keyvalue->key = key;"
+	emitln "    keyvalue->nextkeyvalue = 0;"
+	emitln "    if( prevkeyvalue == 0) {"
+	emitln "        map->firstkeyvalue = keyvalue;"
+	emitln "    } else {"
+	emitln "        prevkeyvalue->nextkeyvalue = keyvalue;"
+	emitln "    }"
+	emitln ""
+	emitln "    return keyvalue;"
+	emitln "}"
+	emitln ""
+	emitln "char * __mapclear(char * mapname)"
+	emitln "{"
+	emitln "    struct MAP * map = __map_get(mapname, 0);"
+	emitln "    if( map ) {"
+	emitln "        map->firstkeyvalue = 0;"
+	emitln "    }"
+	emitln ""
+	emit "    return "
+	emit quote
+	emit quote
+	emitln ";"
+	emitln "}"
+	emitln ""
+	emitln "char * __mapgetkey(char * mapname, char * key, char * def)"
+	emitln "{"
+	emitln "    struct MAP * map = __map_get(mapname, 0);"
+	emitln "    if( !map ) return def;"
+	emitln ""
+	emitln "    struct KEYVALUE *keyvalue = __map_keyvalue_get(map, key, 0);"
+	emitln "    if( !keyvalue ) return def;"
+	emitln ""
+	emitln "    return keyvalue->value;"
+	emitln "}"
+	emitln ""
+	emitln "char * __mapsetkey(char * mapname, char * key, char * value)"
+	emitln "{"
+	emitln "    struct MAP *map = __map_get(mapname, 1);"
+	emitln "    struct KEYVALUE *keyvalue = __map_keyvalue_get(map, key, 1);"
+	emitln "    keyvalue->value = value;"
+	emit "    return "
+	emit quote
+	emit quote
+	emitln ";"
+	emitln "}"
+	emitln ""
+	emitln "// ### END OF RUNTIME ### //"
+	emitln ""
 	return
 /
 
 emitfooter:
-	emit ""
+	declare mainid
+	calc mainid registerid "main"
+
+	emitln "int main() {"
+	emit "    "
+	emit mainid
+	emitln "();"
+	emitln "    return 0;"
+	emitln "}"
 	return
 /
 
@@ -653,7 +821,38 @@ main:
 	declare iseof
 	declare iseol
 	declare isnoteol
+
 	emitheader
+
+	mapsetkey "REGISTERID" "eof" "__EOF"
+	mapsetkey "REGISTERID" "eol" "__EOL"
+	mapsetkey "REGISTERID" "quote" "__QUOTE"
+
+	mapsetkey "FUNCREG" "add" "1"
+	mapsetkey "REGISTERID" "add" "__add"
+	mapsetkey "FUNCREG" "emit" "1"
+	mapsetkey "REGISTERID" "emit" "__emit"
+	mapsetkey "FUNCREG" "eq" "1"
+	mapsetkey "REGISTERID" "eq" "__eq"
+	mapsetkey "FUNCREG" "lt" "1"
+	mapsetkey "REGISTERID" "lt" "__lt"
+	mapsetkey "FUNCREG" "not" "1"
+	mapsetkey "REGISTERID" "not" "__not"
+	mapsetkey "FUNCREG" "mapclear" "1"
+	mapsetkey "REGISTERID" "mapclear" "__mapclear"
+	mapsetkey "FUNCREG" "mapgetkey" "1"
+	mapsetkey "REGISTERID" "mapgetkey" "__mapgetkey"
+	mapsetkey "FUNCREG" "mapsetkey" "1"
+	mapsetkey "REGISTERID" "mapsetkey" "__mapsetkey"
+	mapsetkey "FUNCREG" "peek" "1"
+	mapsetkey "REGISTERID" "peek" "__peek"
+	mapsetkey "FUNCREG" "skip" "1"
+	mapsetkey "REGISTERID" "skip" "__skip"
+	mapsetkey "FUNCREG" "stdincolno" "1"
+	mapsetkey "REGISTERID" "stdincolno" "__stdincolno"
+	mapsetkey "FUNCREG" "stdinlineno" "1"
+	mapsetkey "REGISTERID" "stdinlineno" "__stdinlineno"
+
 	forever
 		calc char peek
 		calc iseof eq char eof

README.md

@@ -97,7 +97,7 @@ Exits the deepest `forever` loop.
 
 #### func args*
 
-Calls the function name `func` with the given arguments. The result, if any, is ignored.
+Calls the function name `func` with the given arguments. The return value is ignored.
 
 #### if arg
 
@@ -109,7 +109,7 @@ Repeats the block until `break`  or `return` is called.
 
 #### return var?
 
-Returns the given value. You can not give an argument if your function is never used in `call`.
+Returns the given value. If you don't give something to return, the function will return the empty string.
 
 ### Builtins
 
@@ -121,11 +121,23 @@ Calls the given function with the given arguments. If the function's return valu
 
 Writes the name and value of the variable passed to stderr if the TRACE environment variable is set.
 
+### Standard library constants
+
+#### eof
+
+End of file character, zero byte.
+
+#### eol
+
+End of line character.
+
+#### quote
+
+Double quote character.
+
 ### Standard library functions
 
-#### addstringchar a b
-
-`b` is expected to have length 1.
+#### add a b
 
 Creates a new string with `b` appended to `a`.
 
@@ -137,13 +149,6 @@ Writes the given string to standard output.
 
 Return true if the given strings are the same.
 
-#### intinc a
-
-Available in it2 runtime and onwards.
-
-Interprets string `a` as an integer, increases it by one and returns it (as a string).
-If `a` cannot be interpreted as an integer, or has additional bytes, this function returns 1.
-
 #### lt a b
 
 `a` and `b` are expected to have length 1.
@@ -152,16 +157,12 @@ Return true if a would sort before b.
 
 #### mapclear mapname
 
-Available in it2 runtime and onwards.
-
 Maps are global and can be used from any function.
 
 Clears all values set in the map named `mapname`.
 
 #### mapgetkey mapname key
 
-Available in it2 runtime and onwards.
-
 Maps are global and can be used from any function.
 
 Looks up `key` in the map named `mapname` and returns it.
@@ -169,12 +170,14 @@ If not found, returns an empty string.
 
 #### mapsetkey mapname key value
 
-Available in it2 runtime and onwards.
-
 Maps are global and can be used from any function.
 
 Adds a mapping from `key` to `value` to the map named `mapname`.
 
+#### not a
+
+Returns "1" if a is empty; otherwise, returns "".
+
 #### peek
 
 Checks stdin for the next character and returns it.

tests/.gitignore

@@ -1 +1 @@
-/*.results
+/Makefile.mk

tests/Makefile

@@ -1,38 +1,36 @@
 .SUFFIXES:
 .PHONY: all clean
-.PRECIOUS: build/%.it0.py build/%.it0.c
 .DELETE_ON_ERROR:
 
 PYVERSION=3.12
 PYPREFIX=/usr
 CYTHON=cython3
 CC=gcc
+CFLAGS=-ggdb
 
-# builtincheckfalse is separate since it's supposed to crash. It's a test for the test 'framework', if you will.
-TESTLIST=$(shell ls *.lang0 | grep -v 'builtincheckfalse' | sed 's/.lang0//')
+all: verify-results
 
-all: check
+Makefile.mk: generate-recipes.py $(wildcard test_*/test_*)
+	python3 generate-recipes.py Makefile.mk it0 it1 it2
 
-check: all-it0.results all-it1.results all-it2.results
-	! grep -v 'Success' $^
-
-all-it0.results: $(addprefix build/,$(addsuffix .it0, $(TESTLIST))) build/builtincheckfalse.it0
-	-rm -f $@
-	cat test-input.txt | build/builtincheckfalse.it0 2> /dev/null 2>&1 | grep 'Success'
-	$(foreach test,$(TESTLIST), echo -n "$(test)   " >> $@; cat test-input.txt | ./build/$(test).it0 >> $@ ; echo "" >> $@ ;)
-
-all-it1.results: $(addprefix build/,$(addsuffix .it1, $(TESTLIST))) build/builtincheckfalse.it1
-	-rm -f $@
-	cat test-input.txt | build/builtincheckfalse.it1 2> /dev/null 2>&1 | grep 'Success'
-	$(foreach test,$(TESTLIST), echo -n "$(test)   " >> $@; cat test-input.txt | ./build/$(test).it1 >> $@ ; echo "" >> $@ ;)
-
-all-it2.results: $(addprefix build/,$(addsuffix .it2, $(TESTLIST))) build/builtincheckfalse.it2
-	-rm -f $@
-	cat test-input.txt | build/builtincheckfalse.it2 2> /dev/null 2>&1 | grep 'Success'
-	$(foreach test,$(TESTLIST), echo -n "$(test)   " >> $@; cat test-input.txt | ./build/$(test).it2 >> $@ ; echo "" >> $@ ;)
+include Makefile.mk
 
 clean:
-	-rm -f *.results build/*.it0* build/*.it1* build/*.it2*
+	find build -name '*.c' -delete
+	find build -name '*.it0' -delete
+	find build -name '*.it0.result' -delete
+	find build -name '*.it0.stderr' -delete
+	find build -name '*.it0.stdout' -delete
+	find build -name '*.it1' -delete
+	find build -name '*.it1.result' -delete
+	find build -name '*.it1.stderr' -delete
+	find build -name '*.it1.stdout' -delete
+	find build -name '*.it2' -delete
+	find build -name '*.it2.result' -delete
+	find build -name '*.it2.stderr' -delete
+	find build -name '*.it2.stdout' -delete
+	find build -name '*.py' -delete
+	find build -name '*.tmp' -delete
 
 ###
 # it0
@@ -41,17 +39,17 @@ clean:
 	$(MAKE) -C ../0-lang0py
 
 build/%.it0.py: %.lang0 ../0-lang0py/lang0py.exe
-	cat $< | ../0-lang0py/lang0py.exe > $@.tmp
+	-cat $< | ../0-lang0py/lang0py.exe > $@.tmp 2> build/$*.it0.cmperr
 	mv $@.tmp $@
 
 build/%.it0.c: build/%.it0.py
 	$(CYTHON) -3 --embed -o $@ $^
 
 build/%.it0.o: build/%.it0.c
-	$(CC) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
 
 build/%.it0: build/%.it0.o
-	$(CC) -o $@ $^ -lpython$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ $^ -lpython$(PYVERSION)
 
 ###
 # it1
@@ -60,17 +58,17 @@ build/%.it0: build/%.it0.o
 	$(MAKE) -C ../1-lang0py
 
 build/%.it1.py: %.lang0 ../1-lang0py/lang0py.exe
-	cat $< | ../1-lang0py/lang0py.exe > $@.tmp
+	-cat $< | ../1-lang0py/lang0py.exe > $@.tmp 2> build/$*.it1.cmperr
 	mv $@.tmp $@
 
 build/%.it1.c: build/%.it1.py
 	$(CYTHON) -3 --embed -o $@ $^
 
 build/%.it1.o: build/%.it1.c
-	$(CC) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
 
 build/%.it1: build/%.it1.o
-	$(CC) -o $@ $^ -lpython$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ $^ -lpython$(PYVERSION)
 
 ###
 # it2
@@ -79,11 +77,11 @@ build/%.it1: build/%.it1.o
 	$(MAKE) -C ../2-lang0c
 
 build/%.it2.c: %.lang0 ../2-lang0c/lang0c.exe
-	cat $< | ../2-lang0c/lang0c.exe > $@.tmp
+	-cat $< | ../2-lang0c/lang0c.exe > $@.tmp 2> build/$*.it2.cmperr
 	mv $@.tmp $@
 
 build/%.it2.o: build/%.it2.c
-	$(CC) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ -c $^ -I$(PYPREFIX)/include/python$(PYVERSION)
 
 build/%.it2: build/%.it2.o
-	$(CC) -o $@ $^ -lpython$(PYVERSION)
+	$(CC) $(CFLAGS) -o $@ $^ -lpython$(PYVERSION)

tests/build/.gitignore

@@ -1,14 +0,0 @@
-/*.it0
-/*.it0.c
-/*.it0.o
-/*.it0.py
-/*.it0.py.tmp
-/*.it1
-/*.it1.c
-/*.it1.o
-/*.it1.py
-/*.it1.py.tmp
-/*.it2
-/*.it2.c
-/*.it2.c.tmp
-/*.it2.o

tests/build/test_builtins/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_flow_control/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_parsing/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_stdlib_constants/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_stdlib_functions/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_validation/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/build/test_variables/.gitignore

@@ -0,0 +1,26 @@
+/*.it0
+/*.it0.c
+/*.it0.cmperr
+/*.it0.o
+/*.it0.py
+/*.it0.py.tmp
+/*.it0.result
+/*.it0.stderr
+/*.it0.stdout
+/*.it1
+/*.it1.c
+/*.it1.cmperr
+/*.it1.o
+/*.it1.py
+/*.it1.py.tmp
+/*.it1.result
+/*.it1.stderr
+/*.it1.stdout
+/*.it2
+/*.it2.c
+/*.it2.cmperr
+/*.it2.c.tmp
+/*.it2.o
+/*.it2.result
+/*.it2.stderr
+/*.it2.stdout

tests/builtincheckfalse.lang0

@@ -1,3 +0,0 @@
-main:
-	check not "1" : "Success"
-/

tests/builtinchecktrue.lang0

@@ -1,4 +0,0 @@
-main:
-	check not "" : "Failure"
-	emit "Success"
-/

tests/flowiffalse.lang0

@@ -1,8 +0,0 @@
-main:
-	declare bool
-	set bool ""
-	if bool
-		return
-	/
-	emit "Success"
-/

tests/flowiftrue.lang0

@@ -1,7 +0,0 @@
-main:
-	declare bool
-	set bool "1"
-	if bool
-		emit "Success"
-	/
-/

tests/flowreturnnothing.lang0

@@ -1,8 +0,0 @@
-func:
-	return
-/
-
-main:
-	func
-	emit "Success"
-/

tests/flowreturnvalue.lang0

@@ -1,11 +0,0 @@
-func:
-	declare result
-	set result "Success"
-	return result
-/
-
-main:
-	declare result
-	calc result func
-	emit result
-/

tests/flowreturnvalueconstant.lang0

@@ -1,9 +0,0 @@
-func:
-	return "Success"
-/
-
-main:
-	declare result
-	calc result func
-	emit result
-/

tests/generate-recipes.py

@@ -0,0 +1,122 @@
+import glob
+import os
+import sys
+
+STAGE0_MAP = {
+    'it0': '.py',
+    'it1': '.py',
+    'it2': '.c',
+}
+
+class Rule:
+    def __init__(self, target: str, prerequisites: list[str], recipe: list[str]) -> None:
+        self.target = target
+        self.prerequisites = prerequisites
+        self.recipe = recipe
+
+    def make_lines(self):
+        return [
+            self.target + ': ' + ' '.join(self.prerequisites),
+        ] + [
+            '\t' + line
+            for line in self.recipe
+        ] + ['']
+
+def get_file_list():
+    return sorted(glob.glob('test_*/*.lang0'))
+
+def make_rules(file_path, lang0it):
+    result: list[Rule] = []
+
+    stdin = file_path.replace('.lang0', '.stdin')
+    exp_cmperr = file_path.replace('.lang0', '.exp.cmperr')
+    exp_stderr = file_path.replace('.lang0', '.exp.stderr')
+    exp_stdout = file_path.replace('.lang0', '.exp.stdout')
+
+    act_cmperr = 'build/' + file_path.replace('.lang0', f'.{lang0it}.cmperr')
+
+    act_stderr = 'build/' + file_path.replace('.lang0', f'.{lang0it}.stderr')
+    act_stdout = 'build/' + file_path.replace('.lang0', f'.{lang0it}.stdout')
+
+    act_result = 'build/' + file_path.replace('.lang0', f'.{lang0it}.result')
+    program = 'build/' + file_path.replace('.lang0', f'.{lang0it}')
+
+    program_stage0 = program + STAGE0_MAP[lang0it]
+
+    if os.path.isfile(exp_cmperr):
+        # No need to try to run the program
+        exp_list = [exp_cmperr]
+        act_list = [act_cmperr]
+    elif os.path.isfile(exp_stdout) or os.path.isfile(exp_stderr):
+        result.append(Rule(
+            act_stdout,
+            [program] + ([stdin] if os.path.isfile(stdin) else []),
+            [
+                '-' + (f'cat {stdin} | ' if os.path.isfile(stdin) else 'echo x | ')
+                    + f'{program} 1> {act_stdout} 2> {act_stderr}',
+            ]
+        ))
+
+        exp_list = [exp_stdout, exp_stderr]
+        act_list = [act_stdout, act_stderr]
+    else:
+        assert False, f'Missing expectations for {file_path}'
+
+    result.append(Rule(
+        act_result,
+        ([program_stage0] if os.path.isfile(exp_cmperr) else [act_stdout]) + [
+            x
+            for x in exp_list
+            if os.path.isfile(x)
+        ],
+        [
+            'rm -f $@',
+        ] + [
+            f'-diff {exp_file} {act_file} >> $@'
+            for exp_file, act_file in zip(exp_list, act_list, strict=True)
+            if os.path.isfile(exp_file)
+        ] + [
+            f'-diff /dev/null {act_file} >> $@'
+            for exp_file, act_file in zip(exp_list, act_list, strict=True)
+            if not os.path.isfile(exp_file)
+        ]
+    ))
+
+    return result
+
+def main(program, write_to, *lang0it):
+    rule_list_list = [
+        make_rules(file_path, it)
+        for file_path in get_file_list()
+        for it in lang0it
+    ]
+
+    result_targets = [
+        rule.target
+        for rule_list in rule_list_list
+        for rule in rule_list
+        if rule.target.endswith('.result')
+    ]
+
+    rule_list_list.append([Rule(
+        'verify-results',
+        result_targets,
+        [
+            '@echo Finding failed test results...',
+            '@find $^ -not -empty -print -exec false {} +',
+            '@echo All tests passed.'
+        ]
+    )])
+
+    data = '\n'.join(
+        line
+        for rule_list in rule_list_list
+        for rule in rule_list
+        for line in rule.make_lines()
+    )
+
+    with open(write_to, 'wt', encoding='ASCII') as fil:
+        fil.write(data)
+
+if __name__ == '__main__':
+    main(*sys.argv)

tests/parsingpredeclaredfunction0.lang0

@@ -1,10 +0,0 @@
-func/
-
-main:
-	check func : "The function should return 1, even though it is not defined yet"
-	emit "Success"
-/
-
-func:
-	return "1"
-/

tests/parsingpredeclaredfunction1.lang0

@@ -1,10 +0,0 @@
-func arg/
-
-main:
-	check func "1" : "The function should return 1, even though it is not defined yet"
-	emit "Success"
-/
-
-func arg:
-	return arg
-/

tests/stdinlineno.lang0

@@ -1,86 +0,0 @@
-main:
-	declare char
-	declare colno
-	declare lineno
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "H" : "Read: H" char
-	check eq colno "1" : "The column number should not have advanced yet" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "e" : "Read: e" char
-	check eq colno "2" : "The column number should have been advanced by 1" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "l" : "Read: l" char
-	check eq colno "3" : "The column number should have been advanced by 2" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "l" : "Read: l" char
-	check eq colno "4" : "The column number should have been advanced by 3" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "o" : "Read: o" char
-	check eq colno "5" : "The column number should have been advanced by 4" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "!" : "Read: !" char
-	check eq colno "6" : "The column number should have been advanced by 5" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char eol : "Read: eol" char
-	check eq colno "7" : "The column number should have been advanced by 6" colno
-	check eq lineno "1" : "The line number should not have advanced yet" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char eol : "Read: eol" char
-	check eq colno "1" : "The column number should have been reset" colno
-	check eq lineno "2" : "The line number should have advanced by 1" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "T" : "Read: T" char
-	check eq colno "1" : "The column number should have been reset again" colno
-	check eq lineno "3" : "The line number should have advanced by 2" lineno
-	skip
-
-	calc char peek
-	calc colno stdincolno
-	calc lineno stdinlineno
-	check eq char "h" : "Read: h" char
-	check eq colno "2" : "The line number should not have been advanced by 1" colno
-	check eq lineno "3" : "The line number should not have advanced further" lineno
-
-	emit "Success"
-/

tests/stdlibaddstringchar.lang0

@@ -1,6 +0,0 @@
-main:
-	declare result
-	calc result addstringchar "abc" "d"
-	check eq result "abcd" : "Adding abc and d should be abcd"
-	emit "Success"
-/

tests/stdlibemit.lang0

@@ -1,3 +0,0 @@
-main:
-	emit "Success"
-/

tests/stdlibeqfalse.lang0

@@ -1,6 +0,0 @@
-main:
-	declare bool
-	calc bool eq "1" "2"
-	check not bool : "1 should not equal 2"
-	emit "Success"
-/

tests/stdlibeqtrue.lang0

@@ -1,5 +0,0 @@
-main:
-	declare bool
-	check eq "1" "1" : "1 should equal 1"
-	emit "Success"
-/

tests/stdlibltfalse.lang0

@@ -1,6 +0,0 @@
-main:
-	declare bool
-	calc bool lt "b" "a"
-	check not bool : "a should should sort before b"
-	emit "Success"
-/

tests/stdliblttrue.lang0

@@ -1,5 +0,0 @@
-main:
-	declare bool
-	check lt "a" "b" : "a should should sort before b"
-	emit "Success"
-/

tests/stdlibpeek.lang0

@@ -1,6 +0,0 @@
-main:
-	declare char
-	calc char peek
-	check eq char "H" : "The first byte we're passed is expected to be an 'H'"
-	emit "Success"
-/

tests/stdlibskip.lang0

@@ -1,12 +0,0 @@
-main:
-	declare char
-	skip
-	calc char peek
-	check eq char "e" : "The second byte we're passed is expected to be an 'e'"
-	skip
-	skip
-	skip
-	calc char peek
-	check eq char "o" : "The fifth byte we're passed is expected to be an 'o'"
-	emit "Success"
-/

tests/test-input.txt

@@ -1,3 +0,0 @@
-Hello!
-
-This is an example of standard input.

tests/test_builtins/test_check.exp.stderr

@@ -0,0 +1 @@
+ERROR: Check failed successfully

tests/test_builtins/test_check.exp.stdout

@@ -0,0 +1 @@
+Still alive

tests/test_builtins/test_check.lang0

@@ -0,0 +1,8 @@
+main:
+	check not "" : "This should not trigger"
+	emit "Still alive"
+	emit eol
+	check not "1" : "Check failed successfully"
+	emit "This should not be output"
+	emit eol
+/

tests/test_flow_control/test_break.exp.stdout

@@ -0,0 +1 @@
+Success

tests/test_flow_control/test_break.lang0

@@ -1,6 +1,7 @@
 main:
 	forever
+		emit "Suc"
 		break
 	/
-	emit "Success"
+	emit "cess"
 /

tests/test_flow_control/test_call.exp.stdout

@@ -0,0 +1 @@
+Success

tests/test_flow_control/test_if.exp.stdout

@@ -0,0 +1,2 @@
+1 is true
+A is true

tests/test_flow_control/test_if.lang0

@@ -0,0 +1,18 @@
+main:
+	declare bool
+	set bool ""
+	if bool
+		emit "empty string is true"
+		emit eol
+	/
+	set bool "1"
+	if bool
+		emit "1 is true"
+		emit eol
+	/
+	set bool "A"
+	if bool
+		emit "A is true"
+		emit eol
+	/
+/

tests/test_flow_control/test_return.exp.stdout

@@ -0,0 +1,3 @@
+funca Constant
+funcb Variable
+funcc 

tests/test_flow_control/test_return.lang0

@@ -0,0 +1,32 @@
+funca:
+	return "Constant"
+/
+
+funcb:
+	declare var
+	set var "Variable"
+	return var
+/
+
+funcc:
+	return
+/
+
+main:
+	declare var
+
+	calc var funca
+	emit "funca "
+	emit var
+	emit eol
+
+	calc var funcb
+	emit "funcb "
+	emit var
+	emit eol
+
+	calc var funcc
+	emit "funcc "
+	emit var
+	emit eol
+/

tests/test_parsing/test_predeclare_functions.exp.stdout

@@ -0,0 +1,2 @@
+Predeclared without argument: 1
+Predeclared with argument: 2

tests/test_parsing/test_predeclare_functions.lang0

@@ -0,0 +1,24 @@
+funca/
+funcb arg/
+
+main:
+	declare var
+
+	calc var funca
+	emit "Predeclared without argument: "
+	emit var
+	emit eol
+
+	calc var funcb "2"
+	emit "Predeclared with argument: "
+	emit var
+	emit eol
+/
+
+funca:
+	return "1"
+/
+
+funcb arg:
+	return arg
+/

tests/test_parsing/test_target_reserved_names.exp.stdout

@@ -0,0 +1 @@
+11

tests/test_parsing/test_target_reserved_names.lang0

@@ -0,0 +1,8 @@
+main:
+	declare assert
+	declare class
+	set assert "1"
+	set class "1"
+	emit assert
+	emit class
+/

tests/test_stdlib_constants/test_eof.exp.stdout

@@ -0,0 +1 @@
+<EFBFBD>

tests/test_stdlib_constants/test_eof.lang0

@@ -0,0 +1,3 @@
+main:
+	emit eof
+/

tests/test_stdlib_constants/test_eol.exp.stdout

@@ -0,0 +1 @@
+

tests/test_stdlib_constants/test_eol.lang0

@@ -0,0 +1,3 @@
+main:
+	emit eol
+/

tests/test_stdlib_constants/test_quote.exp.stdout

@@ -0,0 +1 @@
+"

tests/test_stdlib_constants/test_quote.lang0

@@ -0,0 +1,3 @@
+main:
+	emit quote
+/

tests/test_stdlib_functions/test_add.exp.stdout

@@ -0,0 +1,3 @@
+1 + 2 = 12
+10 + 20 = 1020
+101 + 202 = 101202

tests/test_stdlib_functions/test_add.lang0

@@ -0,0 +1,29 @@
+func tst a b:
+	declare var
+	calc var add a b
+	emit a
+	emit " + "
+	emit b
+	emit " = "
+	emit var
+	emit eol
+/
+
+main:
+	declare var
+
+	calc var add "1" "2"
+	emit "1 + 2 = "
+	emit var
+	emit eol
+
+	calc var add "10" "20"
+	emit "10 + 20 = "
+	emit var
+	emit eol
+
+	calc var add "101" "202"
+	emit "101 + 202 = "
+	emit var
+	emit eol
+/

tests/test_stdlib_functions/test_emit.exp.stdout

@@ -0,0 +1 @@
+Hello, world!

tests/test_stdlib_functions/test_emit.lang0

@@ -0,0 +1,4 @@
+main:
+	emit "Hello"
+	emit ", world!"
+/

tests/test_stdlib_functions/test_eq.exp.stdout

@@ -0,0 +1,4 @@
+eq A A: 1
+eq A B: 
+eq AA AA: 1
+eq AA AB: 

tests/test_stdlib_functions/test_eq.lang0

@@ -0,0 +1,19 @@
+main:
+	declare result
+	emit "eq A A: "
+	calc result eq "A" "A"
+	emit result
+	emit eol
+	emit "eq A B: "
+	calc result eq "A" "B"
+	emit result
+	emit eol
+	emit "eq AA AA: "
+	calc result eq "AA" "AA"
+	emit result
+	emit eol
+	emit "eq AA AB: "
+	calc result eq "AA" "AB"
+	emit result
+	emit eol
+/

tests/test_stdlib_functions/test_lt.exp.stdout

@@ -0,0 +1,6 @@
+lt A A: 
+lt A B: 1
+lt B A: 
+lt AA AA: 
+lt AA AB: 1
+lt AB AA: 

tests/test_stdlib_functions/test_lt.lang0

@@ -0,0 +1,27 @@
+main:
+	declare result
+	emit "lt A A: "
+	calc result lt "A" "A"
+	emit result
+	emit eol
+	emit "lt A B: "
+	calc result lt "A" "B"
+	emit result
+	emit eol
+	emit "lt B A: "
+	calc result lt "B" "A"
+	emit result
+	emit eol
+	emit "lt AA AA: "
+	calc result lt "AA" "AA"
+	emit result
+	emit eol
+	emit "lt AA AB: "
+	calc result lt "AA" "AB"
+	emit result
+	emit eol
+	emit "lt AB AA: "
+	calc result lt "AB" "AA"
+	emit result
+	emit eol
+/

tests/test_stdlib_functions/test_map.exp.stdout

@@ -0,0 +1,14 @@
+TESTMAP.abc0: def
+OTHERMAP.abc0: def
+TESTMAP.abc0: blue
+TESTMAP.abc1: green
+TESTMAP.abc2: def
+OTHERMAP.abc0: blue
+OTHERMAP.abc1: green
+OTHERMAP.abc2: def
+TESTMAP.abc0: def
+TESTMAP.abc1: def
+TESTMAP.abc2: def
+OTHERMAP.abc0: blue
+OTHERMAP.abc1: green
+OTHERMAP.abc2: def

tests/test_stdlib_functions/test_map.lang0

@@ -0,0 +1,36 @@
+print mapname key:
+	declare value
+	calc value mapgetkey mapname key "def"
+	emit mapname
+	emit "."
+	emit key
+	emit ": "
+	emit value
+	emit eol
+/
+
+main:
+	print "TESTMAP" "abc0"
+	print "OTHERMAP" "abc0"
+
+	mapsetkey "TESTMAP" "abc0" "blue"
+	mapsetkey "TESTMAP" "abc1" "green"
+	mapsetkey "OTHERMAP" "abc0" "blue"
+	mapsetkey "OTHERMAP" "abc1" "green"
+
+	print "TESTMAP" "abc0"
+	print "TESTMAP" "abc1"
+	print "TESTMAP" "abc2"
+	print "OTHERMAP" "abc0"
+	print "OTHERMAP" "abc1"
+	print "OTHERMAP" "abc2"
+
+	mapclear "TESTMAP"
+
+	print "TESTMAP" "abc0"
+	print "TESTMAP" "abc1"
+	print "TESTMAP" "abc2"
+	print "OTHERMAP" "abc0"
+	print "OTHERMAP" "abc1"
+	print "OTHERMAP" "abc2"
+/

tests/test_stdlib_functions/test_not.exp.stdout

@@ -0,0 +1,4 @@
+not  == 1
+not a == 
+not 1 == 
+not -1 == 

tests/test_stdlib_functions/test_not.lang0

@@ -0,0 +1,16 @@
+test a:
+	declare var
+	calc var not a
+	emit "not "
+	emit a
+	emit " == "
+	emit var
+	emit eol
+/
+
+main:
+	test ""
+	test "a"
+	test "1"
+	test "-1"
+/

tests/test_stdlib_functions/test_peek.exp.stdout

@@ -0,0 +1 @@
+AAA

tests/test_stdlib_functions/test_peek.lang0

@@ -0,0 +1,9 @@
+main:
+	declare char
+	calc char peek
+	emit char
+	calc char peek
+	emit char
+	calc char peek
+	emit char
+/

tests/test_stdlib_functions/test_peek.stdin

@@ -0,0 +1 @@
+ABC

tests/test_stdlib_functions/test_skip.exp.stdout

@@ -0,0 +1 @@
+ABD

tests/test_stdlib_functions/test_skip.lang0

@@ -0,0 +1,12 @@
+main:
+	declare char
+	calc char peek
+	emit char
+	skip
+	calc char peek
+	emit char
+	skip
+	skip
+	calc char peek
+	emit char
+/

tests/test_stdlib_functions/test_skip.stdin

@@ -0,0 +1 @@
+ABCD

tests/test_stdlib_functions/test_stdincolno.exp.stdout

@@ -0,0 +1,4 @@
+"A" 1
+"
+" 2
+"B" 1

tests/test_stdlib_functions/test_stdincolno.lang0

@@ -0,0 +1,35 @@
+main:
+	declare char
+	declare colno
+
+	calc char peek
+	calc colno stdincolno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit colno
+	emit eol
+
+	skip
+
+	calc char peek
+	calc colno stdincolno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit colno
+	emit eol
+
+	skip
+
+	calc char peek
+	calc colno stdincolno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit colno
+	emit eol
+/

tests/test_stdlib_functions/test_stdincolno.stdin

@@ -0,0 +1,3 @@
+A
+B
+C

tests/test_stdlib_functions/test_stdinlineno.exp.stdout

@@ -0,0 +1,4 @@
+"A" 1
+"
+" 1
+"B" 2

tests/test_stdlib_functions/test_stdinlineno.lang0

@@ -0,0 +1,35 @@
+main:
+	declare char
+	declare lineno
+
+	calc char peek
+	calc lineno stdinlineno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit lineno
+	emit eol
+
+	skip
+
+	calc char peek
+	calc lineno stdinlineno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit lineno
+	emit eol
+
+	skip
+
+	calc char peek
+	calc lineno stdinlineno
+	emit quote
+	emit char
+	emit quote
+	emit " "
+	emit lineno
+	emit eol
+/

tests/test_stdlib_functions/test_stdinlineno.stdin

@@ -0,0 +1,3 @@
+A
+B
+C

tests/test_validation/test_undefined_call.exp.cmperr

@@ -0,0 +1 @@
+ERROR: Function funca does not exist

tests/test_validation/test_undefined_call.lang0

@@ -0,0 +1,4 @@
+main:
+	declare var
+	calc var funca "1"
+/

tests/test_validation/test_undefined_function.exp.cmperr

@@ -0,0 +1 @@
+ERROR: Function routine does not exist

tests/test_validation/test_undefined_function.lang0

@@ -0,0 +1,3 @@
+main:
+	routine "1"
+/

tests/test_variables/test_calc.exp.stdout

@@ -0,0 +1 @@
+Success

tests/test_variables/test_set.exp.stdout

@@ -0,0 +1 @@
+Success