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 276, Mon May 17 06:01:28 1999 UTC revision 277, Mon May 17 09:13:26 1999 UTC
# Line 52  Line 52 
52    
53  %pos int  %pos int
54  %verbose  %verbose
55  %arg (context, error, recParse, doMember) :  %arg (context, error', error, recParse, doMember) :
56      S.context *      S.context *
57        (pos * pos -> string -> (PrettyPrint.ppstream -> unit) -> unit) *
58      (pos * pos -> string -> unit) *      (pos * pos -> string -> unit) *
59      (pos * pos -> S.pathname -> S.group) *      (pos * pos -> S.pathname -> S.group) *
60      (S.pathname * pos * pos * S.cm_symbol option * (string -> unit)      (S.pathname * pos * pos * S.cm_symbol option *
61         (string -> (PrettyPrint.ppstream -> unit) -> unit)
62         -> S.members)         -> S.members)
63  %start description  %start description
64  %eop EOF  %eop EOF
# Line 111  Line 113 
113                                                     error (expleft, expright)))                                                     error (expleft, expright)))
114         | ERROR                                  (S.error_export         | ERROR                                  (S.error_export
115                                                   (fn () =>                                                   (fn () =>
116                                                    error (ERRORleft,                                                    error (ERRORleft, ERRORright)
                                                          ERRORright)  
117                                                      ERROR))                                                      ERROR))
118    
119  guarded_exports : exports else_exports          ((exports, else_exports))  guarded_exports : exports else_exports          ((exports, else_exports))
# Line 130  Line 131 
131                                                             pathnameleft,                                                             pathnameleft,
132                                                             pathnameright,                                                             pathnameright,
133                                                             NONE,                                                             NONE,
134                                                             error                                                             error'
135                                                             (pathnameleft,                                                             (pathnameleft,
136                                                              pathnameright)))                                                              pathnameright)))
137         | pathname COLON word                    (doMember (pathname,         | pathname COLON word                    (doMember (pathname,
138                                                             pathnameleft,                                                             pathnameleft,
139                                                             pathnameright,                                                             pathnameright,
140                                                             SOME word,                                                             SOME word,
141                                                             error                                                             error'
142                                                             (pathnameleft,                                                             (pathnameleft,
143                                                              wordright)))                                                              wordright)))
144         | IF exp guarded_members                 (S.guarded_members         | IF exp guarded_members                 (S.guarded_members
# Line 145  Line 146 
146                                                    error (expleft, expright)))                                                    error (expleft, expright)))
147         | ERROR                                  (S.error_member         | ERROR                                  (S.error_member
148                                                   (fn () =>                                                   (fn () =>
149                                                    error (ERRORleft,                                                    error (ERRORleft, ERRORright)
                                                          ERRORright)  
150                                                      ERROR))                                                      ERROR))
151    
152  guarded_members : members else_members          ((members, else_members))  guarded_members : members else_members          ((members, else_members))

Legend:
Removed from v.276  
changed lines
  Added in v.277

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