diff options
| author | Eduardo Julian | 2018-08-21 21:42:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-08-21 21:42:49 -0400 |
| commit | 1bcf5f7a124a1f8b3aa8c994edf2ec824799ab2f (patch) | |
| tree | f9941d741176713fb522cb55531e05c01fef624a /stdlib/source/lux/data/text | |
| parent | 2d430f16e801b2589f7bfdfae943ccbd8ea90b5c (diff) | |
Low-level re-implementation of the parser.
Diffstat (limited to 'stdlib/source/lux/data/text')
| -rw-r--r-- | stdlib/source/lux/data/text/lexer.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/data/text/lexer.lux b/stdlib/source/lux/data/text/lexer.lux index e6186aea8..21aba8360 100644 --- a/stdlib/source/lux/data/text/lexer.lux +++ b/stdlib/source/lux/data/text/lexer.lux @@ -13,7 +13,7 @@ ["." code]]] ["." // ("text/." Monoid<Text>)]) -(type: Offset Nat) +(type: #export Offset Nat) (def: start-offset Offset 0) |