You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
81f4fd25e7
Follow up on an idea in #31: use the Racket lexer to lex double-quoted strings in a grammar, thereby giving them all the semantics of Racket strings, and preventing any corner cases. This solution can’t be extended to single-quoted strings, however, because even with readtable tomfoolery to recognize a single quote as an opening delimiter for a string, the string still needs to be closed with a double quote. (I don’t know why this should be so, but it is the documented behavior.) Therefore single-quoted strings still are subject to the homegrown lexing solution and the flaws therein. Still, I don’t see that single-quoted strings have ever been a documented feature of brag (or its predecessor ragg). Perhaps they could be dropped altogether. For now, this solution is satisfying, because double-quoted strings are the dominant notation, and this PR will make them as good as they can be. |
2 years ago | |
|---|---|---|
| .. | ||
| simple-line-drawing | 5 years ago | |
| 0n1.rkt | 5 years ago | |
| 0n1n.rkt | 5 years ago | |
| 01-equal.rkt | 5 years ago | |
| add-mult.rkt | 5 years ago | |
| baby-json-alt.rkt | 5 years ago | |
| baby-json-alt2.rkt | 5 years ago | |
| baby-json-hider.rkt | 5 years ago | |
| baby-json.rkt | 5 years ago | |
| bnf.rkt | 5 years ago | |
| codepoints.rkt | 2 years ago | |
| curly-quantifier.rkt | 5 years ago | |
| cutter-another.rkt | 5 years ago | |
| cutter.rkt | 5 years ago | |
| empty-symbol.rkt | 5 years ago | |
| hide-and-splice.rkt | 5 years ago | |
| lua-parser.rkt | 5 years ago | |
| nested-repeats.rkt | 5 years ago | |
| nested-word-list.rkt | 5 years ago | |
| quotation-marks-and-backslashes.rkt | 5 years ago | |
| simple-arithmetic-grammar.rkt | 5 years ago | |
| simple-line-drawing.rkt | 5 years ago | |
| start-and-atok.rkt | 5 years ago | |
| statlist-grammar.rkt | 5 years ago | |
| subrule.rkt | 3 years ago | |
| top-level-cut-1.rkt | 5 years ago | |
| top-level-cut-2.rkt | 5 years ago | |
| top-level-cut-3.rkt | 5 years ago | |
| whitespace.rkt | 5 years ago | |
| wordy.rkt | 5 years ago | |