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 281, Tue May 18 14:57:00 1999 UTC revision 282, Wed May 19 05:14:03 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         | permspec of S.permspec         | permspec of S.permspec
34         | lib_exports of S.exports         | opt_exports of S.exports option
35         | exports of S.exports         | exports of S.exports
36         | export of S.exports         | export of S.exports
37         | guarded_exports of S.exports * S.exports         | guarded_exports of S.exports * S.exports
# Line 88  Line 88 
88                                                   (pathnameleft, pathnameright)                                                   (pathnameleft, pathnameright)
89                                                   pathname)                                                   pathname)
90    
91  group : permspec GROUP exports IS members       (S.group  group : permspec GROUP opt_exports IS members   (S.group
92                                                   (permspec, exports, members))                                                   (permspec, opt_exports,
       | permspec LIBRARY lib_exports IS members (S.library  
                                                  (permspec, lib_exports,  
93                                                    members))                                                    members))
94          | permspec LIBRARY exports IS members     (S.library
95                                                     (permspec, exports, members))
96    
97  permspec : (* empty *)                          (S.initialPermSpec)  permspec : (* empty *)                          (S.initialPermSpec)
98        | permspec word                           (S.require (permspec, word,        | permspec word                           (S.require (permspec, word,
# Line 102  Line 102 
102                                                            error (wordleft,                                                            error (wordleft,
103                                                                   wordright)))                                                                   wordright)))
104    
105  lib_exports : export exports                    (S.exports (export, exports))  exports : export                                (export)
   
 exports : (* empty *)                           (S.emptyExports)  
106          | export exports                        (S.exports (export, exports))          | export exports                        (S.exports (export, exports))
107    
108    opt_exports : (* empty *)                       (NONE)
109                | exports                           (SOME exports)
110    
111  export : ml_symbol                              (S.export ml_symbol)  export : ml_symbol                              (S.export ml_symbol)
112         | IF exp guarded_exports                 (S.guarded_exports         | IF exp guarded_exports                 (S.guarded_exports
113                                                    (exp, guarded_exports,                                                    (exp, guarded_exports,

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

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