From 2efdd395cd3b1cee4ee6cb00ec31c4d3e06df64c Mon Sep 17 00:00:00 2001 From: Adrian Thurston Date: Fri, 9 Mar 2018 22:00:13 -0500 Subject: allow switching on production numbers Added a form to case statements that accepts a production name instead of a pattern. --- src/colm.lm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/colm.lm') diff --git a/src/colm.lm b/src/colm.lm index a1a237fd..47188910 100644 --- a/src/colm.lm +++ b/src/colm.lm @@ -497,7 +497,8 @@ def prod_list | [prod] :Base def case_clause - [CASE pattern block_or_single] commit + [CASE pattern block_or_single] :Pattern commit +| [CASE id block_or_single] :Id commit def default_clause [DEFAULT block_or_single] commit -- cgit v1.2.1