diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2025-07-20 12:39:20 +0200 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2025-09-09 04:42:37 +0200 |
| commit | 7ba464154f85e44e4db3efb50008a62f58cea290 (patch) | |
| tree | d9a552f0eedc891239ac7d012b6679f6f5847378 /pkgs/development/python-modules/robotframework-pythonlibcore | |
| parent | ca4beaaf1cf89deb630987361fa824c785c894f3 (diff) | |
lib: Introduce Cross Index concept
A Cross Index, short for Cross Platform Pair Index, is the essential
shape of a splice, without the invoking the more mind bending concept
of adding variations of for these 6 pairings to an existing thing so
that it can be switched out for something else.
So the purpose of a Cross Index is to contain the result of `f`\
(which may be reified in code, or just an abstract concept):
- f "build" "build"
- f "build" "host"
- ...
Splicing on the other hand refers not just to these six variants, but
to the idea of tacking them onto one of the variants. (hostTarget,
I believe)
Cross Indexes are a necessity for making cross compilation work, but
splicing is more than necessary.
Diffstat (limited to 'pkgs/development/python-modules/robotframework-pythonlibcore')
0 files changed, 0 insertions, 0 deletions
