summaryrefslogtreecommitdiff
path: root/colm
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@complang.org>2013-05-25 11:51:10 -0400
committerAdrian Thurston <thurston@complang.org>2013-05-25 11:51:10 -0400
commit1056a93c4bdadd14502c3f0bdc99e15974dc59d2 (patch)
tree4d0c4a3b1814c0822d8f66515a5a3438d301980b /colm
parent7bdaf9ff9d73abae7032cbab8d0e1f9c8f8a908d (diff)
downloadcolm-1056a93c4bdadd14502c3f0bdc99e15974dc59d2.tar.gz
require <> around the type arg of a ptr
Diffstat (limited to 'colm')
-rw-r--r--colm/colm.lm2
1 files changed, 1 insertions, 1 deletions
diff --git a/colm/colm.lm b/colm/colm.lm
index a4823501..c1b5f4e4 100644
--- a/colm/colm.lm
+++ b/colm/colm.lm
@@ -487,7 +487,7 @@ def code_factor
def type_ref
[RegionQual: region_qual DirectId: id OptRepeat: opt_repeat]
-| [PTR RegionQual: region_qual PtrId: id OptRepeat: opt_repeat]
+| [PTR LT RegionQual: region_qual PtrId: id OptRepeat: opt_repeat GT]
| [MAP LT MapKeyType: type_ref MapValueType: type_ref GT]
| [LIST LT ListType: type_ref GT]
| [VECTOR LT VectorType: type_ref GT]