More debug dumps with final substitutions.

2 files changed, 8 insertions, 0 deletions

diff --git a/parse/infer.c b/parse/infer.c
index 1b70b94..fbea7a9 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -1609,6 +1609,7 @@ static Type *tyfix(Inferstate *st, Node *ctx, Type *orig)
 {
     static Type *tyint, *tyflt;
     Type *t, *delayed;
+    char *from, *to;
     size_t i;
     char buf[1024];
 
@@ -1654,6 +1655,13 @@ static Type *tyfix(Inferstate *st, Node *ctx, Type *orig)
             dump(file, stdout);
         fatal(t->line, "underconstrained type %s near %s", tyfmt(buf, 1024, t), ctxstr(st, ctx));
     }
+    if (debugopt['u'] && !tyeq(orig, t)) {
+        from = tystr(orig);
+        to = tystr(t);
+        indentf(st->indentdepth, "subst %s => %s\n", from, to);
+        free(from);
+        free(to);
+    }
 
     return t;
 }
diff --git a/test/genericmake b/test/genericmake
index 497b3b2..b70eec5 100755
--- a/test/genericmake
+++ b/test/genericmake