diff src/c/urweb.c @ 1120:74f2eb3b0606

Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -0500
parents 951fced704d6
children 0cee0c8d8c37
line wrap: on
line diff
--- a/src/c/urweb.c	Tue Jan 05 15:53:35 2010 -0500
+++ b/src/c/urweb.c	Thu Jan 07 14:02:58 2010 -0500
@@ -3375,3 +3375,9 @@
 }
 
 size_t uw_database_max = SIZE_MAX;
+
+uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) {
+  fprintf(stderr, "%s\n", s);
+
+  return uw_unit_v;
+}