From 033f3b630dcbfae228c1e525aa71c840766bc09c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 29 Mar 2015 11:33:58 -0700 Subject: [PATCH] feat(frontends/lean/scanner): allow upper-case greek letters in identifiers but Pi and Sigma --- src/frontends/lean/scanner.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontends/lean/scanner.cpp b/src/frontends/lean/scanner.cpp index 6f1479bc2..2d907e630 100644 --- a/src/frontends/lean/scanner.cpp +++ b/src/frontends/lean/scanner.cpp @@ -54,6 +54,7 @@ bool is_greek_unicode(unsigned u) { return 0x391 <= u && u <= 0x3DD; } bool is_letter_like_unicode(unsigned u) { return (0x3b1 <= u && u <= 0x3c9 && u != 0x3bb) || // Lower greek, but lambda + (0x391 <= u && u <= 0x3A9 && u != 0x3A0 && u != 0x3A3) || // Upper greek, but Pi and Sigma (0x3ca <= u && u <= 0x3fb) || // Coptic letters (0x1f00 <= u && u <= 0x1ffe) || // Polytonic Greek Extended Character Set (0x2100 <= u && u <= 0x214f); // Letter like block