Diff of /sml/trunk/src/compiler/FLINT/flint/ppflint.sml

Parent Directory | Revision Log | Patch

	revision 184, Sun Nov 8 21:18:20 1998 UTC	revision 185, Tue Nov 10 21:01:05 1998 UTC
#	Line 32	Line 32
32	in LT.ffw_var (ff, fn (b1,b2) => (h b1)^(h b2), fn _ => "f")	in LT.ffw_var (ff, fn (b1,b2) => (h b1)^(h b2), fn _ => "f")
33	end	end
34
35	fun toStringFKind ({isrec=SOME _, cconv=F.CC_FUN fixed, ...} : F.fkind) =	fun toStringFKind ({isrec,cconv,inline,...}:F.fkind) =
36	"REC " ^ (toStringFFlag fixed)	(case inline of F.IH_ALWAYS => "(i)"
37	| toStringFKind ({cconv=F.CC_FUN fixed, ...}) =	| F.IH_UNROLL => "(u)"
38	"FUN " ^ (toStringFFlag fixed)	| F.IH_SAFE => "")^
39	| toStringFKind ({cconv=F.CC_FCT, ...}) = "FCT"	(if isSome isrec then "R" else "")^
40		(case cconv
41		of F.CC_FCT => "FCT"
42		| F.CC_FUN fixed => ("FUN "^(toStringFFlag fixed)))
43
44	(*	(*
45	fun toStringFKind F.FK_ESCAPE  = "FK_ESCAPE"	fun toStringFKind F.FK_ESCAPE  = "FK_ESCAPE"
46	| toStringFKind F.FK_KNOWN   = "FK_KNOWN"	| toStringFKind F.FK_KNOWN   = "FK_KNOWN"

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.184   changed lines   Added in v.185

---

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