A bunch of fprintf' -> eprintf' conversions (and a few related things).

original commit: 17090fca4f19298f01d03fea419edb20f315d040
This commit is contained in:
Eli Barzilay 2012-05-06 12:06:00 -04:00
parent ed00546c9a
commit 3cd50aade1

View File

@ -260,7 +260,7 @@
#;[(Poly-unsafe: n b) (fp "(unsafe-poly ~a ~a ~a)" (Type-seq c) n b)]
[(Poly-names: names body)
#;(fprintf (current-error-port) "POLY SEQ: ~a\n" (Type-seq body))
#;(eprintf "POLY SEQ: ~a\n" (Type-seq body))
(fp "(All ~a ~a)" names body)]
#;
[(PolyDots-unsafe: n b) (fp "(unsafe-polydots ~a ~a ~a)" (Type-seq c) n b)]