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 282, Wed May 19 05:14:03 1999 UTC revision 283, Wed May 19 08:20:58 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         | permspec of S.permspec         | privspec of S.privilegespec
34         | opt_exports of S.exports option         | opt_exports of S.exports option
35         | exports of S.exports         | exports of S.exports
36         | export of S.exports         | export of S.exports
# Line 52  Line 52 
52    
53  %pos int  %pos int
54  %verbose  %verbose
55  %arg (context, error', error, recParse, doMember) :  %arg (grouppath, context, error', error, recParse, doMember) :
56        S.pathname *
57      S.context *      S.context *
58      (pos * pos -> string -> (PrettyPrint.ppstream -> unit) -> unit) *      (pos * pos -> string -> (PrettyPrint.ppstream -> unit) -> unit) *
59      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
# Line 88  Line 89 
89                                                   (pathnameleft, pathnameright)                                                   (pathnameleft, pathnameright)
90                                                   pathname)                                                   pathname)
91    
92  group : permspec GROUP opt_exports IS members   (S.group  group : privspec GROUP opt_exports IS members   (S.group
93                                                   (permspec, opt_exports,                                                   (grouppath,
94                                                    members))                                                    privspec, opt_exports,
95        | permspec LIBRARY exports IS members     (S.library                                                    members,
96                                                   (permspec, exports, members))                                                    error (opt_exportsleft,
97                                                             opt_exportsright)))
98          | privspec LIBRARY exports IS members     (S.library
99                                                     (grouppath,
100                                                      privspec, exports, members,
101                                                      error (exportsleft,
102                                                             exportsright)))
103    
104  permspec : (* empty *)                          (S.initialPermSpec)  privspec : (* empty *)                          (S.initialPrivilegeSpec)
105        | permspec word                           (S.require (permspec, word,           | privspec word                        (S.require (privspec, word,
106                                                              error (wordleft,                                                              error (wordleft,
107                                                                     wordright)))                                                                     wordright)))
108        | permspec LPAREN word RPAREN             (S.grant (permspec, word,           | privspec LPAREN word RPAREN          (S.grant (privspec, word,
109                                                            error (wordleft,                                                            error (wordleft,
110                                                                   wordright)))                                                                   wordright)))
111    

Legend:
Removed from v.282  
changed lines
  Added in v.283

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