Diff of /branches/vis12/src/compiler/inputs/inputs.sml

Parent Directory | Revision Log | Patch

	revision 2055, Tue Oct 23 15:22:30 2012 UTC	revision 2056, Wed Oct 24 12:46:03 2012 UTC
#	Line 82	Line 82
82	| toString (INP{name, desc=SOME desc, init=SOME v, ...}) =	| toString (INP{name, desc=SOME desc, init=SOME v, ...}) =
83	String.concat[name, "(\"", String.toString desc, "\") = ", initToString v]	String.concat[name, "(\"", String.toString desc, "\") = ", initToString v]
84
85	fun imageInfo (INP{init=NONE, ...}) = NONE	fun imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info
	| imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info
86	| imageInfo (INP{init=SOME(Image info), ...}) = SOME info	| imageInfo (INP{init=SOME(Image info), ...}) = SOME info
87	| imageInfo _ = raise Fail "imageInfo: not image"	| imageInfo _ = NONE
88
89	(* type conversion *)	(* type conversion *)
90	fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}	fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2055   changed lines   Added in v.2056

---

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