5
let word = /[^, \t\n]+/
6
let name = /([^ \t\n#:@]+|"[^"\n]*")/ (* " make emacs calm down *)
8
let colon = del /:[ \t]+/ ":\t"
5
(************************************************************************
6
* Group: USEFUL PRIMITIVES
7
*************************************************************************)
9
(* Group: basic tokens *)
12
let word = /[^\|", \t\n]+/
14
let name = /([^ \t\n#:|@]+|"[^"|\n]*")/ (* " make emacs calm down *)
17
* a command can contain spaces, if enclosed in double quotes, the case
18
* without spaces is taken care with <word>
20
let command = /\|([^", \t\n]+|"[^"\n]+")/
22
(* Group: Comments and empty lines *)
11
27
let comment = Util.comment
12
29
let empty = Util.empty
14
let comma = del /,[ \t]*(\n[ \t]+)?/ ", "
15
let value_list = Build.opt_list ([ label "value" . store word]) comma
31
(* Group: separators *)
33
* Separation between the alias and it's destinations
35
let colon = del /:[ \t]+/ ":\t"
37
* Separation between multiple destinations
39
let comma = del /[ \t]*,[ \t]*(\n[ \t]+)?/ ", "
44
* Can be either a word (no spaces included) or a command with spaces
46
let destination = ( word | command )
49
* List of destinations
51
let value_list = Build.opt_list ([ label "value" . store destination]) comma
54
* a name with one or more destinations
16
56
let alias = [ seq "alias" .
17
57
[ label "name" . store name ] . colon .