Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sml

Parent Directory | Revision Log | Patch

	revision 217, Sun Feb 28 23:41:30 1999 UTC	revision 218, Tue Mar 2 08:12:06 1999 UTC
#	Line 420	Line 420
420	| LK.TK_BOX => ltc_int	| LK.TK_BOX => ltc_int
421	| LK.TK_SEQ ks => ltc_tuple (map tk_lty ks)	| LK.TK_SEQ ks => ltc_tuple (map tk_lty ks)
422	| LK.TK_FUN (ks, k) =>	| LK.TK_FUN (ks, k) =>
423	ltc_arrow(ffc_fixed, [ltc_tuple(map tk_lty ks)], [tk_lty k]))	ltc_arrow(ffc_fixed, map tk_lty ks, [tk_lty k]))
424
425
426	(* tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit->unit)) *)	(* tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit->unit)) *)
#	Line 440	Line 440
440	| LK.LT_STR ts => ltc_str (map ltf ts)	| LK.LT_STR ts => ltc_str (map ltf ts)
441	| LK.LT_FCT (ts1, ts2) => ltc_fct(map ltf ts1, map ltf ts2)	| LK.LT_FCT (ts1, ts2) => ltc_fct(map ltf ts1, map ltf ts2)
442	| LK.LT_POLY (ks, xs) =>	| LK.LT_POLY (ks, xs) =>
443	ltc_fct([ltc_str (map tk_lty ks)], map ltf xs)	ltc_fct(map tk_lty ks, map ltf xs)
444	| LK.LT_CONT _ => bug "unexpected CNTs in ltNarrow"	| LK.LT_CONT _ => bug "unexpected CNTs in ltNarrow"
445	| LK.LT_IND _ => bug "unexpected INDs in ltNarrow"	| LK.LT_IND _ => bug "unexpected INDs in ltNarrow"
446	| LK.LT_ENV _ => bug "unexpected ENVs in ltNarrow")	| LK.LT_ENV _ => bug "unexpected ENVs in ltNarrow")

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.217   changed lines   Added in v.218

---

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