summaryrefslogtreecommitdiff
path: root/src/colm.lm
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@complang.org>2015-10-04 23:16:46 -0400
committerAdrian Thurston <thurston@complang.org>2015-10-04 23:16:46 -0400
commit13d7c884e2a855418d68b8e45041b8ab4a20a85c (patch)
treeeccbfb13e83812b01858317938f972913c7b7bf1 /src/colm.lm
parent6fb0cdffbafb135edaec7d927e5e508997c1d826 (diff)
downloadcolm-13d7c884e2a855418d68b8e45041b8ab4a20a85c.tar.gz
load reduction actions and generate a commit containing them
Diffstat (limited to 'src/colm.lm')
-rw-r--r--src/colm.lm6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/colm.lm b/src/colm.lm
index a5f15b9c..9b305e70 100644
--- a/src/colm.lm
+++ b/src/colm.lm
@@ -366,7 +366,7 @@ def red_nonterm
[id ROPEN host_item* RCLOSE]
def red_action
- [id COLON id ROPEN host_item* RCLOSE]
+ [NonTerm: type_ref COLON Prod: id ROPEN HostItems: host_item* RCLOSE]
def host_item
[red_id]
@@ -376,8 +376,8 @@ def host_item
| [red_any]
def reduction_item
- [red_nonterm] commit
-| [red_action] commit
+ [red_nonterm] :NonTerm commit
+| [red_action] :Action commit
def namespace_def
[NAMESPACE id ItemList: namespace_item* END]