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 299, Thu May 27 13:53:27 1999 UTC revision 318, Mon Jun 7 09:32:09 1999 UTC
# Line 31  Line 31 
31         | alias of S.group         | alias of S.group
32         | group of S.group         | group of S.group
33         | privspec of S.privilegespec         | privspec of S.privilegespec
34           | grantspec of S.privilegespec -> S.privilegespec
35         | opt_exports of S.exports option         | opt_exports of S.exports option
36         | exports of S.exports         | exports of S.exports
37         | export of S.exports         | export of S.exports
# Line 101  Line 102 
102                                                           exportsright),                                                           exportsright),
103                                                    gp))                                                    gp))
104    
105  privspec : (* empty *)                          (S.initialPrivilegeSpec)  grantspec : (* empty *)                         (fn p => p)
106           | privspec word                        (S.require (privspec, word,            | grantspec word                      (fn p =>
107                                                     S.grant (grantspec p, word,
108                                                              error (wordleft,                                                              error (wordleft,
109                                                                     wordright)))                                                                     wordright)))
110           | privspec LPAREN word RPAREN          (S.grant (privspec, word,  
111    privspec : (* empty *)                          (S.initialPrivilegeSpec)
112             | privspec word                        (S.require (privspec, word,
113                                                            error (wordleft,                                                            error (wordleft,
114                                                                   wordright)))                                                                   wordright)))
115             | privspec LPAREN grantspec RPAREN     (grantspec privspec)
116    
117  exports : export                                (export)  exports : export                                (export)
118          | export exports                        (S.exports (export, exports))          | export exports                        (S.exports (export, exports))
# Line 195  Line 200 
200            | FUNCTOR ML_ID                       (S.ml_functor ML_ID)            | FUNCTOR ML_ID                       (S.ml_functor ML_ID)
201            | FUNSIG ML_ID                        (S.ml_funsig ML_ID)            | FUNSIG ML_ID                        (S.ml_funsig ML_ID)
202    
203  pathname : FILE_STANDARD                        (S.file_standard  pathname : FILE_STANDARD                        (S.file_standard gp
204                                                   (FILE_STANDARD, context))                                                   (FILE_STANDARD, context))
205           | FILE_NATIVE                          (S.file_native           | FILE_NATIVE                          (S.file_native
206                                                   (FILE_NATIVE, context))                                                   (FILE_NATIVE, context))

Legend:
Removed from v.299  
changed lines
  Added in v.318

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