Diff of /sml/trunk/src/compiler/FLINT/plambda/flintnm.sml

Parent Directory | Revision Log | Patch

	revision 255, Wed Apr 21 00:34:12 1999 UTC	revision 256, Wed Apr 21 01:28:39 1999 UTC
#	Line 469	Line 469
469	end	end
470
471
472	| L.TFN ([], body) => bug "TFN[]"	(*  | L.TFN ([], body) => bug "TFN[]" *)
473	| L.TFN (tks, body) =>	| L.TFN (tks, body) =>
474	let val (body', body_lty) =	let val (body', body_lty) =
475	tovalue(venv, DI.next d, body,	tovalue(venv, DI.next d, body,
#	Line 481	Line 481
481	lty)	lty)
482	end	end
483
484	| L.TAPP (f,[]) => bug "TAPP[]"	(*  | L.TAPP (f,[]) => bug "TAPP[]" *)
485	| L.TAPP (f,tycs) =>	| L.TAPP (f,tycs) =>
486	(* similar to APP *)	(* similar to APP *)
487	tovalue(venv, d, f,	tovalue(venv, d, f,

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.255   changed lines   Added in v.256

---

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