diff options
author | 2010-01-07 14:02:58 -0500 | |
---|---|---|
committer | 2010-01-07 14:02:58 -0500 | |
commit | 197d67717d69dcacf68fda05c8bdd19591c51b88 (patch) | |
tree | 1779915b8b421011dba936447d059ac932cb30b7 /src/c/urweb.c | |
parent | 3232b1f7a6f470ec4eba648093cc854555d6fbdd (diff) |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'src/c/urweb.c')
-rw-r--r-- | src/c/urweb.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index e63b2060..6e8c64de 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -3375,3 +3375,9 @@ void uw_check_deadline(uw_context ctx) { } 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; +} |