Diff of /sml/trunk/src/cm/semant/primitive.sml

Parent Directory | Revision Log | Patch

	revision 311, Wed Jun 2 09:08:48 1999 UTC	revision 312, Wed Jun 2 23:20:17 1999 UTC
#	Line 66	Line 66
66	fun fromIdent #"b" = SOME BASIS	fun fromIdent #"b" = SOME BASIS
67	| fromIdent _ = NONE	| fromIdent _ = NONE
68
69	val reqpriv_basis = StringSet.empty	val reqpriv_basis = StringSet.singleton "basis"
70
71	fun reqpriv BASIS = reqpriv_basis	fun reqpriv BASIS = reqpriv_basis
72

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.311   changed lines   Added in v.312

---

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