summaryrefslogtreecommitdiff
path: root/grammar
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2019-10-03 11:08:53 -0700
committerAdrian Thurston <thurston@colm.net>2019-10-03 11:08:53 -0700
commitdd4978d207229687338379bf7946bbc6fe8b2e04 (patch)
treede8300d3f17ed645994b447d82e57d0a1a197b44 /grammar
parentb2916d37040f2c58c0c7b1359d48c96d6fe6d129 (diff)
downloadcolm-dd4978d207229687338379bf7946bbc6fe8b2e04.tar.gz
rust grammar: lifetime goes between & and mut in type ref
Diffstat (limited to 'grammar')
-rw-r--r--grammar/rust.lm5
1 files changed, 3 insertions, 2 deletions
diff --git a/grammar/rust.lm b/grammar/rust.lm
index f6e33a0a..089c5c7f 100644
--- a/grammar/rust.lm
+++ b/grammar/rust.lm
@@ -166,7 +166,8 @@ def opt_lifetime
def type
[type_path]
| [`& opt_lifetime type_path]
-| [`&mut opt_lifetime type_path]
+| [`&mut type_path]
+| [`& lifetime `mut type_path]
| [`( `)]
def type_list
@@ -513,7 +514,7 @@ if P {
}
for CL: cons_list in FN {
- print " construct list: [CL]
+ print " construct list: [^CL]
}
}
}