Given a program with empty sorts, such as:
sorts
#booleans = {true, false}.
#garage = {r2}.
#john = {r1}.
#football = {r3}.
#activity = {}.
#carry = {}.
Running java -jar sparc.jar program.sparc produces the following output and then terminates:
SPARC V2.56
sort activity defined at line 11 column 2 is empty
Given a program with empty sorts, such as:
Running
java -jar sparc.jar program.sparcproduces the following output and then terminates: