diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-02-07 18:13:37 +0000 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-02-07 18:13:37 +0000 |
| commit | 454d0b5cf5b109fda01b3380b1fab0434d7ff51d (patch) | |
| tree | 190c1793b3ded1976a30ba16f380bd5a0b5d54b1 /src/types.c | |
| parent | 219ca0ac4677235d595d9bd6e1be08eedfdf7d66 (diff) | |
Fix global maps and initialize the preload types before
Diffstat (limited to 'src/types.c')
| -rw-r--r-- | src/types.c | 8 |
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; } |