summaryrefslogtreecommitdiff
path: root/colm
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@complang.org>2013-02-12 18:45:57 -0500
committerAdrian Thurston <thurston@complang.org>2013-02-12 18:45:57 -0500
commit3e4073f292d52de13de0c57c0700f34256263427 (patch)
treea7670831f7d1fabdc301b8e7b07fa0048831c332 /colm
parent353f6656f153c49c59060edce6585ee8bae48220 (diff)
downloadcolm-3e4073f292d52de13de0c57c0700f34256263427.tar.gz
remove namespace and context name from end of those blocks
Diffstat (limited to 'colm')
-rw-r--r--colm/lmparse.kl9
1 files changed, 2 insertions, 7 deletions
diff --git a/colm/lmparse.kl b/colm/lmparse.kl
index 2acc897f..28976d79 100644
--- a/colm/lmparse.kl
+++ b/colm/lmparse.kl
@@ -477,10 +477,8 @@ region_head:
};
namespace_def:
- namespace_head root_item_list KW_End TK_Word
+ namespace_head root_item_list KW_End
final {
- if ( strcmp( namespaceStack.top()->name, $4->data ) != 0 )
- error($4->loc) << "namespace end name does not match begin name" << endp;
namespaceStack.pop();
};
@@ -532,11 +530,8 @@ context_item_list:
;
context_def:
- context_head context_item_list KW_End TK_Word
+ context_head context_item_list KW_End
final {
- if ( strcmp( namespaceStack.top()->name, $4->data ) != 0 )
- error($4->loc) << "context end name does not match begin name" << endp;
-
contextStack.pop();
namespaceStack.pop();
};