aboutsummaryrefslogtreecommitdiff
path: root/src/types.c
diff options
context:
space:
mode:
authorGinger Bill <bill@gingerbill.org>2017-02-07 18:13:37 +0000
committerGinger Bill <bill@gingerbill.org>2017-02-07 18:13:37 +0000
commit454d0b5cf5b109fda01b3380b1fab0434d7ff51d (patch)
tree190c1793b3ded1976a30ba16f380bd5a0b5d54b1 /src/types.c
parent219ca0ac4677235d595d9bd6e1be08eedfdf7d66 (diff)
Fix global maps and initialize the preload types before
Diffstat (limited to 'src/types.c')
-rw-r--r--src/types.c8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/types.c b/src/types.c
index eae9ec556..dbded4a73 100644
--- a/src/types.c
+++ b/src/types.c
@@ -923,6 +923,14 @@ bool are_types_identical(Type *x, Type *y) {
are_types_identical(x->Proc.results, y->Proc.results);
}
break;
+
+ case Type_Map:
+ if (y->kind == Type_Map) {
+ return x->Map.count == y->Map.count &&
+ are_types_identical(x->Map.key, y->Map.key) &&
+ are_types_identical(x->Map.value, y->Map.value);
+ }
+ break;
}