CS 515 Programming Languages and Compilers I Fall 2005

Here are ten sample inputs for the Prolog static scope checking assignment. Nine of them I believe to be syntactically correct, but if these programs are not compatible with the grammar, send me email and I'll correct them. Of course, the tenth one is a test of your ability to recover from major syntax errors.

Some of the test programs have no semantic errors, others may have any number of semantic errors.
test1
test2
test2a
test3
test4
test5
test5a
test6
test7
test8
test9
test10
something with if statements test12
something else with if statements test11
my personal favorite test13
test14
test15
test16
This was probably a bad idea test17
test18
test19
test20
test21
test22
A variation on test13 test23
test24
test25

Here are the test files for the SML assignment:

test1
test2
test3
test4
test5
test6
test7
test8
test9
test10
test11
test12
test13
test14
Extra Credit test15
Extra Credit test16
Extra Credit test17