herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 61 forks source link

[asl] Differentiate accessers with/without any args #848

Closed HadrienRenaud closed 5 months ago

HadrienRenaud commented 5 months ago

This PR implements checks that differentiate accessers with from without []. For example:

getter f1[] => integer
begin return 0; end

getter f2 => integer
begin return 0; end

func main () => integer
begin
  let x = f1[];
  let x = f2;

  return 0;
end

Before this PR, the two syntaxes could be used without distinction.

Also fixes a bug on make test-aarch64-asl.

maranget commented 5 months ago

Thanks @HadrienRenaud. Merge on its way.