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

Parent Directory | Revision Log | Patch

	revision 39, Sat Mar 14 04:41:37 1998 UTC	revision 40, Sun Mar 22 19:26:12 1998 UTC
#	Line 70	Line 70
70	| toStringValue (F.STRING s) = PU.mlstr s	| toStringValue (F.STRING s) = PU.mlstr s
71
72	val printSval = say o toStringValue	val printSval = say o toStringValue
73		val LVarString = ref LV.lvarName
74
75	val printVar = say o LV.lvarName	fun printVar v = say (!LVarString v)
76	val printTyc = say o LT.tc_print	val printTyc = say o LT.tc_print
77	val printLty = say o LT.lt_print	val printLty = say o LT.lt_print
78	fun printTvTk (tv:LT.tvar,tk) =	fun printTvTk (tv:LT.tvar,tk) =
#	Line 143	Line 144
144	+ 2         (* for the "[]" *)	+ 2         (* for the "[]" *)
145	+ (length vars) (* for each comma *)	+ (length vars) (* for each comma *)
146	+ (foldl    (* sum of varname lengths *)	+ (foldl    (* sum of varname lengths *)
147	(fn (v,n) => n + (size (LV.lvarName v)))	(fn (v,n) => n + (size (!LVarString v)))
148	0 vars))	0 vars))
149	in	in
150	indent len;  pLexp lexp;  undent len	indent len;  pLexp lexp;  undent len
#	Line 319	Line 320
320	print "],"; newline();	print "],"; newline();
321	undent 2;  dent();	undent 2;  dent();
322	pLexp body;	pLexp body;
323	undent 4)	undent 4; say ")")
324
325	and printCase (con, lexp) =	and printCase (con, lexp) =
326	(printCon con;	(printCon con;

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.39   changed lines   Added in v.40

---

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