diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-12 09:29:06 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-12 10:17:22 +0200 |
commit | 8a7aff349c0a451eafead79abd4167f60249a7fb (patch) | |
tree | 2a87b649c3d61a2c3a5214610d69218febc1c89e /plugins/xml | |
parent | ad86932abc23df9139065d453771a190df365928 (diff) |
Replace the list of argument in tacexpr with a single row argument.
This has several benefits
* It replicates the "no quadrillion-uple" pattern at the level of types. Giving names to the various component will hopefully make for better error messages.
* It is less typo-prone, as the whole row can be passed as an argument rather than retyping each of the arguments. Also makes for a terser [Tacexpr].
* More importantly: local changes to tactic expressions will more often be kept local. Which will avoid some extra tedious work, and make rebases on top of such changes significantly easier.
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions