diff options
author | Eduardo Julian | 2017-09-05 20:04:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-09-05 20:04:23 -0400 |
commit | 0550e3e263eb7e15b83756976a6cc2c5e18022a7 (patch) | |
tree | e829b6cde0adade146a4bd70df9df1d9293019f4 /new-luxc/source/luxc/parser.lux | |
parent | 223ce32a52276f9a85fdd7918a46b58b4223738c (diff) |
- Added optional "char" syntax for nats.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/parser.lux | 48 |
1 files changed, 43 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/parser.lux b/new-luxc/source/luxc/parser.lux index bc70dfe91..2e8ad1fd5 100644 --- a/new-luxc/source/luxc/parser.lux +++ b/new-luxc/source/luxc/parser.lux @@ -221,11 +221,6 @@ (p;either (marker^ "true") (marker^ "false")) bool;Codec<Text,Bool>] - [nat #;Nat - (l;seq (l;one-of "+") - rich-digits^) - number;Codec<Text,Nat>] - [int #;Int (l;seq (p;default "" (l;one-of "-")) rich-digits^) @@ -237,6 +232,49 @@ number;Codec<Text,Deg>] ) +(def: (nat-char where) + (-> Cursor (l;Lexer [Cursor Code])) + (do p;Monad<Parser> + [_ (l;this "#\"") + [where' char] (: (l;Lexer [Cursor Text]) + ($_ p;either + ## Normal text characters. + (do @ + [normal (l;none-of "\\\"\n")] + (wrap [(|> where + (update@ #;column n.inc)) + normal])) + ## Must handle escaped + ## chars separately. + (do @ + [[chars-consumed char] escaped-char^] + (wrap [(|> where + (update@ #;column (n.+ chars-consumed))) + char])))) + _ (l;this "\"") + #let [char (assume (text;nth +0 char))]] + (wrap [(|> where' + (update@ #;column n.inc)) + [where (#;Nat char)]]))) + +(def: (normal-nat where) + (-> Cursor (l;Lexer [Cursor Code])) + (do p;Monad<Parser> + [chunk (l;seq (l;one-of "+") + rich-digits^)] + (case (:: number;Codec<Text,Nat> decode chunk) + (#;Left error) + (p;fail error) + + (#;Right value) + (wrap [(update@ #;column (n.+ (text;size chunk)) where) + [where (#;Nat value)]])))) + +(def: #export (nat where) + (-> Cursor (l;Lexer [Cursor Code])) + (p;either (normal-nat where) + (nat-char where))) + (def: (normal-frac where) (-> Cursor (l;Lexer [Cursor Code])) (do p;Monad<Parser> |