diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-03-27 20:32:36 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-03-27 20:32:36 +0100 |
| commit | a75ccb6fbc529d2fee00f9b456ca7c0c830548ee (patch) | |
| tree | cbe963045fb415f9470c0a84fbdbbe6e75f350ff /src/types.c | |
| parent | 188b290dd50664aa8a89955ac2ab7dbebf7a653d (diff) | |
v0.1.3v0.1.3
Diffstat (limited to 'src/types.c')
| -rw-r--r-- | src/types.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/types.c b/src/types.c index 8a342d9bd..fe46dc3cd 100644 --- a/src/types.c +++ b/src/types.c @@ -1037,8 +1037,12 @@ typedef enum ProcTypeOverloadKind { ProcTypeOverloadKind are_proc_types_overload_safe(Type *x, Type *y) { - if (!is_type_proc(x)) return ProcOverload_NotProcedure; - if (!is_type_proc(y)) return ProcOverload_NotProcedure; + if (x == NULL && y == NULL) return ProcOverload_NotProcedure; + if (x == NULL && y != NULL) return ProcOverload_NotProcedure; + if (x != NULL && y == NULL) return ProcOverload_NotProcedure; + if (!is_type_proc(x)) return ProcOverload_NotProcedure; + if (!is_type_proc(y)) return ProcOverload_NotProcedure; + TypeProc px = base_type(x)->Proc; TypeProc py = base_type(y)->Proc; |