Separate parsing from type-checking and evaluation. (#345)

This change caused the syntax error in undef2.6c ("fun" instead of "fn") to be detected as one would expect, thus the changed golden file.
2026-10-05 07:11:04 +01:00 · 2021-03-05 15:00:44 -08:00
parent 62ff5597e4
commit 2f83c4be48
3 changed files with 32 additions and 8 deletions
@@ -1,4 +1,2 @@
-********** source program **********
-********** type checking **********
-error, program must contain a function named `main`
+executable_semantics/testdata/undef2.6c:7: syntax error
 EXIT CODE: 255