idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-07 00:07:19 +03:00
Code Issues Projects Releases Wiki Activity

Don't use too many let 2

Browse Source
This commit is contained in:
Andy Lok 2021-02-07 01:42:20 +08:00
parent fdb0d97039
commit 88ad6c2f73
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Libraries/Text/Lexer/Tokenizer.idr
View File

@ -84,12 +84,12 @@ tokenise pred tokenizer line col acc str
getFirstToken : Tokenizer a -> List Char ->
Either StopReason (WithBounds a, Int, Int, List Char)
getFirstToken (Match lex fn) str
= do let Just (tok, rest) = scan lex [] str
| _ => Left NoRuleApply
let line' = line + cast (countNLs tok)
let col' = getCols tok col
Right (MkBounded (fn (fastPack (reverse tok))) False line col line' col',
line', col', rest)
= let Just (tok, rest) = scan lex [] str
| _ => Left NoRuleApply
line' = line + cast (countNLs tok)
col' = getCols tok col in
Right (MkBounded (fn (fastPack (reverse tok))) False line col line' col',
line', col', rest)
getFirstToken (Compose begin tagger middleFn endFn fn) str
= let Just (beginTok, rest) = scan begin [] str
| _ => Left NoRuleApply