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 336, Thu Jun 17 09:23:20 1999 UTC revision 348, Tue Jun 22 05:43:46 1999 UTC
# Line 30  Line 30 
30  %nonterm description of S.group  %nonterm description of S.group
31         | alias of S.group         | alias of S.group
32         | group of S.group         | group of S.group
33         | privspec of S.privilegespec         | gprivspec of S.privilegespec
34         | grantspec of S.privilegespec -> S.privilegespec         | lprivspec of S.privilegespec
35           | wrapspec of S.privilegespec -> S.privilegespec
36         | opt_exports of S.exports option         | opt_exports of S.exports option
37         | exports of S.exports         | exports of S.exports
38         | export of S.exports         | export of S.exports
# Line 88  Line 89 
89                                                   (pathnameleft, pathnameright)                                                   (pathnameleft, pathnameright)
90                                                   pathname)                                                   pathname)
91    
92  group : privspec GROUP opt_exports IS members   (S.group  group : gprivspec opt_exports IS members        (S.group
93                                                   (grouppath,                                                   (grouppath,
94                                                    privspec, opt_exports,                                                    gprivspec, opt_exports,
95                                                    members,                                                    members,
96                                                    error (opt_exportsleft,                                                    error (opt_exportsleft,
97                                                           opt_exportsright),                                                           opt_exportsright),
98                                                    gp))                                                    gp))
99        | privspec LIBRARY exports IS members     (S.library        | lprivspec exports IS members            (S.library
100                                                   (grouppath,                                                   (grouppath,
101                                                    privspec, exports, members,                                                    lprivspec, exports, members,
102                                                    error (exportsleft,                                                    error (exportsleft,
103                                                           exportsright),                                                           exportsright),
104                                                    gp))                                                    gp))
105    
106  grantspec : (* empty *)                         (fn p => p)  wrapspec : (* empty *)                         (fn p => p)
107            | grantspec word                      (fn p =>            | wrapspec word                      (fn p =>
108                                                   S.grant (grantspec p, word,                                                   S.wrap (wrapspec p, word,
109                                                            error (wordleft,                                                            error (wordleft,
110                                                                   wordright)))                                                                   wordright)))
111    
112  privspec : (* empty *)                          (S.initialPrivilegeSpec)  gprivspec : GROUP                               (S.initialPrivilegeSpec)
113           | privspec word                        (S.require (privspec, word,            | word gprivspec                      (S.require (gprivspec, word,
114                                                              error (wordleft,                                                              error (wordleft,
115                                                                     wordright)))                                                                     wordright)))
116           | privspec LPAREN grantspec RPAREN     (grantspec privspec)  
117    lprivspec : LIBRARY                             (S.initialPrivilegeSpec)
118              | word lprivspec                      (S.require (lprivspec, word,
119                                                                error (wordleft,
120                                                                       wordright)))
121              | LPAREN wrapspec RPAREN lprivspec    (wrapspec lprivspec)
122    
123  exports : export                                (export)  exports : export                                (export)
124          | export exports                        (S.exports (export, exports))          | export exports                        (S.exports (export, exports))

Legend:
Removed from v.336  
changed lines
  Added in v.348

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