Diff of /sml/trunk/src/cm/tools/tools.sml

Parent Directory | Revision Log | Patch

	revision 633, Sun Apr 30 16:44:09 2000 UTC	revision 634, Mon May 1 10:03:50 2000 UTC
#	Line 31	Line 31
31
32	(* case-by-case parameters that can be passed to tools... *)	(* case-by-case parameters that can be passed to tools... *)
33	datatype toolopt =	datatype toolopt =
34	STRING of { name: string, mkpath: string -> srcpath }	STRING of { name: string, mkpath: pathmaker }
35	| SUBOPTS of { name: string, opts: toolopts }	| SUBOPTS of { name: string, opts: toolopts }
36	withtype toolopts = toolopt list	withtype toolopts = toolopt list
37
#	Line 155	Line 155
155	type pathmaker = string -> srcpath	type pathmaker = string -> srcpath
156
157	datatype toolopt =	datatype toolopt =
158	STRING of { name: string, mkpath: string -> srcpath }	STRING of { name: string, mkpath: pathmaker }
159	| SUBOPTS of { name: string, opts: toolopts }	| SUBOPTS of { name: string, opts: toolopts }
160	withtype toolopts = toolopt list	withtype toolopts = toolopt list
161

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.633   changed lines   Added in v.634

---

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