diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-10 08:54:58 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-10 08:54:58 +0100 |
| commit | 1ea8b78a8bceb4f7e5eaeb3e76987072267f99bb (patch) | |
| tree | 74352cdadd51eea0987853c3f024f45bc8f35ae1 /pict | |
| parent | c2934efc9d09d90b16877ed77cfe24496d4e15d7 (diff) | |
sxml: Disallow *DEFAULT* as an abbreviation.
* pict/sxml.scm (xml->sxml)[name->sxml]: Filter *DEFAULT*.
Diffstat (limited to 'pict')
| -rw-r--r-- | pict/sxml.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pict/sxml.scm b/pict/sxml.scm index 99628bd..0ec8695 100644 --- a/pict/sxml.scm +++ b/pict/sxml.scm @@ -81,7 +81,9 @@ port." (and (eq? uri prefix) abbrev))) namespaces) first))) - (symbol-append abbrev (string->symbol ":") local-part))) + (match abbrev + ('*DEFAULT* local-part) + (_ (symbol-append abbrev (string->symbol ":") local-part))))) (_ name))) (define (doctype-continuation seed) |