Open
Description
There is still a fair amount of tidying which can be done to this package. Specifically:
- (Expressions) These are currently treated as open structs in some places (e.g.
Add
), and closed structs in others (e.g.VariableAccess
). It would be good to give each a constructor, and suitable accessors. - (Names) Unsure whether
PerspectiveName
andFunctionName
are really required. Perhaps could just useName[T]
directly. Also, could we mergeName[T]
intoVariableAccess[T]
? - (Array Access) Should use
VariableAccess
for the array source, rather than rolling its own binding.