Fix compilation errors in choice1.6c (#322)

This commit is contained in:
Geoff Romer
2021-03-01 15:50:50 -08:00
committed by GitHub
parent 6a2f7c9984
commit 9d0b48478f
2 changed files with 2 additions and 9 deletions
-6
View File
@@ -56,17 +56,11 @@ alt Two (0 = Int, 1 = Int);
--- step exp auto --->
--- step exp auto --->
--- step exp auto --->
18: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
20: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
20: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
24: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
28: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
28: compilation error, pattern variables are only allowed in pattern context
--- step exp auto --->
********** type checking complete **********