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

Parent Directory | Revision Log | Patch

	revision 278, Mon May 17 14:53:49 1999 UTC	revision 279, Tue May 18 08:10:36 1999 UTC
#	Line 10	Line 10
10
11	type primitive	type primitive
12
13		val eq : primitive * primitive -> bool
14
15	val fromString : string -> primitive option	val fromString : string -> primitive option
16	val toString : primitive -> string	val toString : primitive -> string
17
#	Line 22	Line 24
24
25	datatype primitive = CORE | HELPER	datatype primitive = CORE | HELPER
26
27		fun eq (p1 : primitive, p2) = p1 = p2
28
29	fun fromString "primitive_core" = SOME CORE	fun fromString "primitive_core" = SOME CORE
30	| fromString "primitive_helper" = SOME HELPER	| fromString "primitive_helper" = SOME HELPER
31	| fromString _ = NONE	| fromString _ = NONE

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.278   changed lines   Added in v.279

---

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