Diff of /sml/trunk/src/compiler/Semant/pickle/pickmod.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 365	Line 365
365	(case LK.tc_out x	(case LK.tc_out x
366	of LK.TC_VAR(db,i) => "A6" $ [int(DI.di_toint db), int i]	of LK.TC_VAR(db,i) => "A6" $ [int(DI.di_toint db), int i]
367	| LK.TC_NVAR n =>	| LK.TC_NVAR n =>
368	"B6" $ [int n]	"B6" $ [tvar n]
369	| LK.TC_PRIM t => "C6" $ [int(PT.pt_toint t)]	| LK.TC_PRIM t => "C6" $ [int(PT.pt_toint t)]
370	| LK.TC_FN(ks,tc) => "D6" $ [list tkind ks, tyc tc]	| LK.TC_FN(ks,tc) => "D6" $ [list tkind ks, tyc tc]
371	| LK.TC_APP(tc,l) => "E6" $ [tyc tc, list tyc l]	| LK.TC_APP(tc,l) => "E6" $ [tyc tc, list tyc l]

---

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