-
chak@cse.unsw.edu.au. authored
Until the type checker can use vectorised signatures, we restrict the RHS of VECTORISE pragmas to be a single identifier only. - This removes the need to be careful about the order of dictionaries during type inference. A property that is too fragile to try to maintain in the type checker.
ae6161ec