Diff of /sml/trunk/src/compiler/FLINT/opt/lcontract.sml

Parent Directory | Revision Log | Patch

	revision 189, Sun Nov 15 22:29:42 1998 UTC	revision 190, Thu Nov 19 21:01:17 1998 UTC
#	Line 256	Line 256
256	let val nfk =	let val nfk =
257	case fk	case fk
258	of {isrec=SOME(t,lk), known, inline, cconv} =>	of {isrec=SOME(t,lk), known, inline, cconv} =>
259	{isrec=SOME(map ltf t, lk), known=known, inline=inline,	{isrec=SOME(map ltf t, lk), known=known, inline=IH_SAFE,
260	cconv=cconv}	cconv=cconv}
261	| _ => fk	| _ => fk
262	in (nfk, v, map (fn (v,t) => (v,ltf t)) vts, #1(loop e))	in (nfk, v, map (fn (v,t) => (v,ltf t)) vts, #1(loop e))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.189   changed lines   Added in v.190

---

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