edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-26 22:32:44 +03:00
Code Issues Projects Releases Wiki Activity

Fix SeqEmpty in Text.Lexer.Core.

Browse Source
This commit is contained in:
Matus Tejiscak 2020-03-28 15:02:08 +01:00
parent 2938e86421
commit d819bf5a9d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libs/contrib/Text/Lexer/Core.idr
View File

@ -137,7 +137,7 @@ scan (SeqEat r1 r2) tok str
assert_total (scan r2 tok' rest)
scan (SeqEmpty r1 r2) tok str
= do (tok', rest) <- scan r1 tok str
scan r2 tok' str
scan r2 tok' rest
scan (Alt r1 r2) tok str
= maybe (scan r2 tok str) Just (scan r1 tok str)