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 296, Thu May 27 05:31:04 1999 UTC revision 297, Thu May 27 08:29:19 1999 UTC
# Line 52  Line 52 
52    
53  %pos int  %pos int
54  %verbose  %verbose
55  %arg (grouppath, context, error', error, recParse, doMember) :  %arg (grouppath, context, error, recParse, doMember, gp) :
56      S.pathname *      S.pathname *
57      S.context *      S.context *
     (pos * pos -> GenericVC.ErrorMsg.complainer) *  
58      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
59      (pos * pos -> S.pathname -> S.group) *      (pos * pos -> S.pathname -> S.group) *
60      (S.pathname * pos * pos * S.cm_symbol option *      (S.pathname * pos * pos * S.cm_symbol option -> S.members) *
61       GenericVC.ErrorMsg.complainer -> S.members)      GeneralParams.params
62  %start description  %start description
63  %eop EOF  %eop EOF
64  %noshift EOF  %noshift EOF
# Line 93  Line 92 
92                                                    privspec, opt_exports,                                                    privspec, opt_exports,
93                                                    members,                                                    members,
94                                                    error (opt_exportsleft,                                                    error (opt_exportsleft,
95                                                           opt_exportsright)))                                                           opt_exportsright),
96                                                      gp))
97        | privspec LIBRARY exports IS members     (S.library        | privspec LIBRARY exports IS members     (S.library
98                                                   (grouppath,                                                   (grouppath,
99                                                    privspec, exports, members,                                                    privspec, exports, members,
100                                                    error (exportsleft,                                                    error (exportsleft,
101                                                           exportsright)))                                                           exportsright),
102                                                      gp))
103    
104  privspec : (* empty *)                          (S.initialPrivilegeSpec)  privspec : (* empty *)                          (S.initialPrivilegeSpec)
105           | privspec word                        (S.require (privspec, word,           | privspec word                        (S.require (privspec, word,
# Line 137  Line 138 
138  member : pathname                               (doMember (pathname,  member : pathname                               (doMember (pathname,
139                                                             pathnameleft,                                                             pathnameleft,
140                                                             pathnameright,                                                             pathnameright,
141                                                             NONE,                                                             NONE))
                                                            error'  
                                                             (pathnameleft,  
                                                              pathnameright)))  
142         | pathname COLON word                    (doMember (pathname,         | pathname COLON word                    (doMember (pathname,
143                                                             pathnameleft,                                                             pathnameleft,
144                                                             pathnameright,                                                             pathnameright,
145                                                             SOME word,                                                             SOME word))
                                                            error'  
                                                             (pathnameleft,  
                                                              wordright)))  
146         | IF exp guarded_members                 (S.guarded_members         | IF exp guarded_members                 (S.guarded_members
147                                                   (exp, guarded_members,                                                   (exp, guarded_members,
148                                                    error (expleft, expright)))                                                    error (expleft, expright)))

Legend:
Removed from v.296  
changed lines
  Added in v.297

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