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 367, Sat Jul 3 04:59:01 1999 UTC revision 380, Fri Jul 9 05:22:18 1999 UTC
# Line 17  Line 17 
17      | CM_ID of string      | CM_ID of string
18      | ML_ID of string      | ML_ID of string
19      | NUMBER of int      | NUMBER of int
20      | ALIAS | GROUP | LIBRARY | IS      | GROUP | LIBRARY | IS
21      | LPAREN | RPAREN | COLON      | LPAREN | RPAREN | COLON
22      | IF | ELIF | ELSE | ENDIF      | IF | ELIF | ELSE | ENDIF
23      | ERROR of string      | ERROR of string
# Line 28  Line 28 
28      | LT | LE | GT | GE | EQ | NE      | LT | LE | GT | GE | EQ | NE
29    
30  %nonterm description of S.group  %nonterm description of S.group
        | alias of S.group  
31         | group of S.group         | group of S.group
32         | gprivspec of S.privilegespec         | gprivspec of S.privilegespec
33         | lprivspec of S.privilegespec         | lprivspec of S.privilegespec
# Line 53  Line 52 
52         | sym of S.cm_symbol         | sym of S.cm_symbol
53         | word of S.cm_symbol         | word of S.cm_symbol
54         | owner of S.pathname option         | owner of S.pathname option
55           | class of S.cm_class
56    
57  %pos int  %pos int
58  %verbose  %verbose
59  %arg (grouppath, context, error, recParse, doMember, curlib, gp) :  %arg (grouppath, context, error, doMember, curlib, gp) :
60      S.pathname *      S.pathname *
61      S.context *      S.context *
62      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
63      (pos * pos -> S.pathname option -> S.pathname -> S.group) *      (S.pathname * pos * pos * S.cm_class option -> S.members) *
     (S.pathname * pos * pos * S.cm_symbol option -> S.members) *  
64      S.pathname option *      S.pathname option *
65      GeneralParams.info      GeneralParams.info
66  %start description  %start description
# Line 70  Line 69 
69    
70  %name CM  %name CM
71    
72  %keyword ALIAS GROUP LIBRARY IS IF ELIF ELSE ENDIF DEFINED  %keyword GROUP LIBRARY IS IF ELIF ELSE ENDIF DEFINED
73    STRUCTURE SIGNATURE FUNCTOR FUNSIG    STRUCTURE SIGNATURE FUNCTOR FUNSIG
74    
75  %prefer LPAREN  %prefer LPAREN
# Line 85  Line 84 
84    
85  %%  %%
86    
87  description : alias                             (alias)  description : group                             (group)
             | group                             (group)  
   
 alias : ALIAS pathname                          (recParse  
                                                  (pathnameleft, pathnameright)  
                                                  curlib pathname)  
88    
89  group : gprivspec owner opt_exports IS members (S.group  group : gprivspec owner opt_exports IS members (S.group
90                                                   (grouppath,                                                   (grouppath,
# Line 160  Line 154 
154                                                             pathnameleft,                                                             pathnameleft,
155                                                             pathnameright,                                                             pathnameright,
156                                                             NONE))                                                             NONE))
157         | pathname COLON word                    (doMember (pathname,         | pathname COLON class                   (doMember (pathname,
158                                                             pathnameleft,                                                             pathnameleft,
159                                                             pathnameright,                                                             pathnameright,
160                                                             SOME word))                                                             SOME class))
161         | IF exp guarded_members                 (S.guarded_members         | IF exp guarded_members                 (S.guarded_members
162                                                   (exp, guarded_members,                                                   (exp, guarded_members,
163                                                    error (expleft, expright)))                                                    error (expleft, expright)))
# Line 172  Line 166 
166                                                    error (ERRORleft, ERRORright)                                                    error (ERRORleft, ERRORright)
167                                                          ERROR))                                                          ERROR))
168    
169    class : word                                    (S.class word)
170    
171  guarded_members : members else_members          ((members, else_members))  guarded_members : members else_members          ((members, else_members))
172    
173  else_members : ENDIF                            (S.emptyMembers)  else_members : ENDIF                            (S.emptyMembers)

Legend:
Removed from v.367  
changed lines
  Added in v.380

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