Branch: Tag:

2012-02-17

2012-02-17 13:15:02 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Typechecker: Fixed workaround for old types.

6217:    * function call checker.    */    tmp = NULL; -  if ((fun_type->car->type == T_NOT) && +  if (((arg_type->type != T_NOT) || +  (arg_type->car->type != T_MIXED)) && +  (fun_type->car->type == T_NOT) &&    (fun_type->car->car->type == T_OR) &&    ((fun_type->car->car->car->type == T_MIXED) ||    (fun_type->car->car->cdr->type == T_MIXED))) {