Next: Assert
Up: Future Extensions
Previous: Future Extensions
In addition to constants, functors, and lists (as described in
section 11), the following indexing information can be
used:
- inner structure arguments:
the above heuristics do not have to be changed;
simply form pseudo-argument columns of inner structure
positions
- guards: side-effect free builtins can be extracted from a
clause and mixed with the indexing code (c.f. section
10.2.1)
- modes (declared or inferred): can be used to exclude
output argument columns and to prefer input argument columns