summaryrefslogtreecommitdiff
path: root/parse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-11-15 20:12:57 -0800
committerOri Bernstein <ori@eigenstate.org>2015-11-15 20:12:57 -0800
commitc20862cda53c711fe476f6c7d0f6631af47a4933 (patch)
tree2a84b5bff8393bec8eedb85004d0c0a26e54e54c /parse
parent1c6aa08fdbac936e06b36722b1180a39592792c4 (diff)
downloadmc-c20862cda53c711fe476f6c7d0f6631af47a4933.tar.gz
Remove debugging code.
Diffstat (limited to 'parse')
-rw-r--r--parse/infer.c16
1 files changed, 0 insertions, 16 deletions
diff --git a/parse/infer.c b/parse/infer.c
index 7bba283..7f5de51 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -269,22 +269,6 @@ static int isbound(Inferstate *st, Type *t)
return 0;
}
-void dumpbound(Inferstate *st)
-{
- Type *t;
- void **k;
- ssize_t i;
- size_t nk, j;
-
- for (i = st->ntybindings - 1; i >= 0; i--) {
- k = htkeys(st->tybindings[i], &nk);
- for (j = 0; j < nk; j++) {
- t = htget(st->tybindings[i], k[j]);
- printf("bound: %s\n", t->pname);
- }
- }
-}
-
/* Checks if a type that directly contains itself.
* Recursive types that contain themselves through
* pointers or slices are fine, but any other self-inclusion