diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-30 16:08:18 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | f29e10402d7cba68264f06d8644712e189e17142 (patch) | |
| tree | 667c494131cf5fa1dd04fa664cb8a2b6d6d767ee /os | |
| parent | 8c9361e4ba6e2257f2bd9d354a56005318477ed6 (diff) | |
Split SProjType along build-tool line
This makes it much easier to deal with differences between the build tools
as we can now have functions that only make sense for Cabal and statically
enforce this by passing a 'SCabalProjType pt' as evidence that $pt \in {V1,
V2}$.
Diffstat (limited to 'os')
0 files changed, 0 insertions, 0 deletions