summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2019-05-07 08:35:01 -0700
committerOri Bernstein <ori@eigenstate.org>2019-05-07 08:35:38 -0700
commita3bce47d15d25fc3bca79ee50fca3fd4df538d5b (patch)
treee2d3b56a36623018789b8d93603116e633ecbfab
parent9dd2a40974da19018eeb33338cfcc486f4eeca8d (diff)
downloadmc-a3bce47d15d25fc3bca79ee50fca3fd4df538d5b.tar.gz
Tag types on import.
Fixes missing tagged types.
-rw-r--r--parse/use.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/parse/use.c b/parse/use.c
index b08aced..98069b4 100644
--- a/parse/use.c
+++ b/parse/use.c
@@ -1026,8 +1026,10 @@ foundextlib:
case 'T':
tid = rdint(f);
ty = tyunpickle(f);
- if (!ty->ishidden)
+ if (!ty->ishidden) {
+ tagtype(ty);
ty->vis = vis;
+ }
htput(tidmap, itop(tid), ty);
/* fix up types */
if (ty->type == Tyname || ty->type == Tygeneric) {