max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: hexDigit ('a' ≤ c ∧ c ≤ 'f')

Browse source
This commit is contained in:
Chris Lovett 2022-08-05 13:06:21 -07:00 • committed by Leonardo de Moura
parent ddeea5e14f
commit c4121e779d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Lean/Data/Parsec.lean
View file

@ -124,8 +124,8 @@ def digit : Parsec Char := attempt do
def hexDigit : Parsec Char := attempt do
let c ← anyChar
if ('0' ≤ c ∧ c ≤ '9')
∨ ('a' ≤ c ∧ c ≤ 'a')
∨ ('A' ≤ c ∧ c ≤ 'A') then return c else fail s!"hex digit expected"
∨ ('a' ≤ c ∧ c ≤ 'f')
∨ ('A' ≤ c ∧ c ≤ 'F') then return c else fail s!"hex digit expected"
@[inline]
def asciiLetter : Parsec Char := attempt do