* Define paths using regexps, as is done in the Flex definition.

This commit is contained in:
Eelco Dolstra 2005-07-16 21:38:15 +00:00
parent 6f91f02f75
commit 6f82a78de7
1 changed files with 2 additions and 5 deletions

View File

@ -93,7 +93,7 @@ exports
module Nix-Lexicals
exports
sorts Id Int Str Path PathComp Uri
sorts Id Int Str Path Uri
lexical syntax
[a-zA-Z\_][a-zA-Z0-9\_\']* -> Id
"rec" | "let" | "if" | "then" | "else" | "assert" | "with" | "inherit" -> Id {reject}
@ -102,10 +102,7 @@ exports
"\"" ~[\n\"]* "\"" -> Str
"." ("/" PathComp)+ -> Path
".." ("/" PathComp)+ -> Path
("/" PathComp)+ -> Path
[a-zA-Z0-9\.\_\-\+]+ -> PathComp
[a-zA-Z0-9\.\_\-\+]* ("/"[a-zA-Z0-9\.\_\-\+]+)+ -> Path
[a-zA-Z] [a-zA-Z0-9\+\-\.]* ":" [a-zA-Z0-9\%\/\?\:\@\&\=\+\$\,\-\_\.\!\~\*\']* -> Uri