Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/parse/cm.grm
ViewVC logotype

Diff of /sml/trunk/src/cm/parse/cm.grm

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 587, Thu Mar 30 09:01:52 2000 UTC revision 588, Fri Mar 31 09:00:02 2000 UTC
# Line 52  Line 52 
52         | owner of S.pathname option         | owner of S.pathname option
53         | class of S.cm_class         | class of S.cm_class
54         | optclass of S.cm_class option         | optclass of S.cm_class option
55         | toolopts of string list         | toolopts of S.toolopt list
56         | opttoolopts of string list option         | ptoolopts of S.toolopt list
57           | opttoolopts of S.toolopt list option
58    
59  %pos int  %pos int
60  %verbose  %verbose
# Line 63  Line 64 
64      (pos * pos -> unit) *      (pos * pos -> unit) *
65      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
66      ({ name: string, mkpath: string -> S.pathname } *      ({ name: string, mkpath: string -> S.pathname } *
67       pos * pos * S.cm_class option * string list option -> S.members) *       pos * pos * S.cm_class option * S.toolopt list option -> S.members) *
68      S.pathname option *      S.pathname option *
69      GeneralParams.info *      GeneralParams.info *
70      S.group      S.group
# Line 157  Line 158 
158          | member members                        (S.members (member, members))          | member members                        (S.members (member, members))
159    
160  toolopts : (* empty *)                          ([])  toolopts : (* empty *)                          ([])
161           | pathname toolopts                    (#name pathname :: toolopts)           | pathname toolopts                    (S.string pathname :: toolopts)
162             | pathname COLON ptoolopts toolopts    (S.subopts
163                                                         { name = #name pathname,
164                                                           opts = ptoolopts }
165                                                     :: toolopts)
166             | pathname COLON pathname toolopts     (S.subopts
167                                                         { name = #name pathname1,
168                                                           opts = [S.string
169                                                                       pathname2] }
170                                                     :: toolopts)
171    
172    ptoolopts : LPAREN toolopts RPAREN              (toolopts)
173    
174  opttoolopts : (* empty *)                       (NONE)  opttoolopts : (* empty *)                       (NONE)
175              | LPAREN toolopts RPAREN            (SOME toolopts)              | ptoolopts                         (SOME ptoolopts)
176    
177  optclass : (* empty *)                          (NONE)  optclass : (* empty *)                          (NONE)
178           | COLON class                          (SOME class)           | COLON class                          (SOME class)

Legend:
Removed from v.587  
changed lines
  Added in v.588

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0