From 188ab30a9c67d89eb876fdd4e4e1b87d5e29fa7a Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 30 Oct 2018 14:46:21 +0100 Subject: [PATCH] fix(library/init/lean/parser/declaration): precedence for attribute arguments --- library/init/lean/parser/declaration.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/init/lean/parser/declaration.lean b/library/init/lean/parser/declaration.lean index d38f14423c..8bd6631d76 100644 --- a/library/init/lean/parser/declaration.lean +++ b/library/init/lean/parser/declaration.lean @@ -34,7 +34,7 @@ instance doc_comment.tokens : has_tokens doc_comment.parser := @[derive has_tokens has_view] def attr_instance.parser : command_parser := -- use `raw_ident` because of attribute names such as `instance` -node! attr_instance [name: raw_ident.parser, args: term.parser*] +node! attr_instance [name: raw_ident.parser, args: (term.parser max_prec)*] @[derive has_tokens has_view] def decl_attributes.parser : command_parser :=