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 537, Fri Feb 18 17:20:16 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 51  Line 51 
51         | word of S.cm_symbol         | word of S.cm_symbol
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
55           | toolopts of string list
56           | opttoolopts of string list option
57    
58  %pos int  %pos int
59  %verbose  %verbose
# Line 60  Line 63 
63      (pos * pos -> unit) *      (pos * pos -> unit) *
64      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
65      ({ name: string, mkpath: string -> S.pathname } *      ({ name: string, mkpath: string -> S.pathname } *
66       pos * pos * S.cm_class option -> S.members) *       pos * pos * S.cm_class option * string list option -> S.members) *
67      S.pathname option *      S.pathname option *
68      GeneralParams.info *      GeneralParams.info *
69      S.group      S.group
# Line 153  Line 156 
156  members : (* empty *)                           (S.emptyMembers)  members : (* empty *)                           (S.emptyMembers)
157          | member members                        (S.members (member, members))          | member members                        (S.members (member, members))
158    
159  member : pathname                               (doMember (pathname,  toolopts : (* empty *)                          ([])
160                                                             pathnameleft,           | pathname toolopts                    (#name pathname :: toolopts)
161                                                             pathnameright,  
162                                                             NONE))  opttoolopts : (* empty *)                       (NONE)
163         | pathname COLON class                   (doMember (pathname,              | LPAREN toolopts RPAREN            (SOME toolopts)
164    
165    optclass : (* empty *)                          (NONE)
166             | COLON class                          (SOME class)
167    
168    member : pathname optclass opttoolopts          (doMember (pathname,
169                                                             pathnameleft,                                                             pathnameleft,
170                                                             pathnameright,                                                             pathnameright,
171                                                             SOME class))                                                             optclass,
172                                                               opttoolopts))
173         | IF exp guarded_members                 (S.guarded_members         | IF exp guarded_members                 (S.guarded_members
174                                                   (exp, guarded_members,                                                   (exp, guarded_members,
175                                                    error (expleft, expright)))                                                    error (expleft, expright)))

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

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