Branch: Tag:

2016-01-20

2016-01-20 13:07:13 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler: The result type from indexing a multiset is int(0..1).

Fixes [bug 7615 (#7615)].

4861:    return t->car;    }    -  case T_MULTISET: /* always int */ -  add_ref(int_type_string); -  return int_type_string; +  case T_MULTISET: /* always int(0..1) */ +  type_stack_mark(); +  push_int_type(0, 1); +  return pop_unfinished_type();       case T_MAPPING:    add_ref(t = t->cdr);