Micro optimization

This commit is contained in:
Bruce Hill 2021-08-01 22:06:33 -07:00
parent 1a84ddbaa9
commit c608abae65

View File

@ -1,9 +1,9 @@
# This file defines some web-related patterns
url: (
"file://" +(`/ *url-char)
/ "mailto:" email
/ ("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@]
("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@]
(ipv4/ipv6/domain) [`: int] [url-path]
/ "mailto:" email
/ "file://" +(`/ *url-char)
)
url-path: +(`/ *url-char) [`? +(+url-char`=+url-char)%`&]
ipv4: 4 int % `.