Diff of /sml/branches/SMLNJ/src/compiler/Semant/types/typesutil.sml

Parent Directory | Revision Log | Patch

	revision 124, Mon Sep 7 16:19:55 1998 UTC	revision 125, Mon Sep 7 18:14:32 1998 UTC
#	Line 821	Line 821
821	| extractDcons _ = bug "extractDcons"	| extractDcons _ = bug "extractDcons"
822
823	fun mkStrict 0 = []	fun mkStrict 0 = []
824	| mkStrict n = true :: mkPolySign(n-1)	| mkStrict n = true :: mkStrict(n-1)
825
826	(* used in ElabSig for datatype replication specs, where the tyc arg	(* used in ElabSig for datatype replication specs, where the tyc arg
827	* is expected to be either a GENtyc/DATATYPE or a PATHtyc. *)	* is expected to be either a GENtyc/DATATYPE or a PATHtyc. *)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.124   changed lines   Added in v.125

---

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