Diff of /sml/trunk/src/cm/parse/cm.grm

Parent Directory | Revision Log | Patch

	revision 317, Fri Jun 4 09:00:10 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))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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