From b35b973a5df37d11e44a404caeb7429180d20668 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 24 May 2020 16:16:29 +0200 Subject: [PATCH] fix: precedence of `!` in old frontend --- src/frontends/lean/token_table.cpp | 2 +- stage0/src/frontends/lean/token_table.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/frontends/lean/token_table.cpp b/src/frontends/lean/token_table.cpp index 5249112883..2391dcb07b 100644 --- a/src/frontends/lean/token_table.cpp +++ b/src/frontends/lean/token_table.cpp @@ -91,7 +91,7 @@ void init_token_table(token_table & t) { {"(:", g_max_prec}, {":)", 0}, {".(", g_max_prec}, {"._", g_max_prec}, {"⟨", g_max_prec}, {"⟩", 0}, {"^", 0}, {"//", 0}, {"|", 0}, {"with", 0}, {"without", 0}, {"..", 0}, {"...", 0}, {",", 0}, {";", 0}, {"=>", 0}, - {".", 0}, {":", 0}, {"!", 0}, {":=", 0}, {"--", 0}, {"#", g_max_prec}, + {".", 0}, {":", 0}, {"!", g_max_prec}, {":=", 0}, {"--", 0}, {"#", g_max_prec}, {"/-", 0}, {"/--", 0}, {"new_frontend", 0}, {"/-!", 0}, {"begin", g_max_prec}, {"using", 0}, {"@@", g_max_prec}, {"@", g_max_prec}, {"@&", g_max_prec}, {"sorry", g_max_prec}, {"+", g_plus_prec}, {"->", g_arrow_prec}, {"<-", 0}, diff --git a/stage0/src/frontends/lean/token_table.cpp b/stage0/src/frontends/lean/token_table.cpp index 5249112883..2391dcb07b 100644 --- a/stage0/src/frontends/lean/token_table.cpp +++ b/stage0/src/frontends/lean/token_table.cpp @@ -91,7 +91,7 @@ void init_token_table(token_table & t) { {"(:", g_max_prec}, {":)", 0}, {".(", g_max_prec}, {"._", g_max_prec}, {"⟨", g_max_prec}, {"⟩", 0}, {"^", 0}, {"//", 0}, {"|", 0}, {"with", 0}, {"without", 0}, {"..", 0}, {"...", 0}, {",", 0}, {";", 0}, {"=>", 0}, - {".", 0}, {":", 0}, {"!", 0}, {":=", 0}, {"--", 0}, {"#", g_max_prec}, + {".", 0}, {":", 0}, {"!", g_max_prec}, {":=", 0}, {"--", 0}, {"#", g_max_prec}, {"/-", 0}, {"/--", 0}, {"new_frontend", 0}, {"/-!", 0}, {"begin", g_max_prec}, {"using", 0}, {"@@", g_max_prec}, {"@", g_max_prec}, {"@&", g_max_prec}, {"sorry", g_max_prec}, {"+", g_plus_prec}, {"->", g_arrow_prec}, {"<-", 0},