Merge pull request idris-lang#242 from ziman/fix-seqempty

Fix SeqEmpty in Text.Lexer.Core.
attila-lendvai-patches · Mar 28, 2020 · c1199de · c1199de
2 parents 8559bc4 + d819bf5
commit c1199de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/contrib/Text/Lexer/Core.idr b/libs/contrib/Text/Lexer/Core.idr
@@ -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)