diff options
| author | Marvin Borner | 2024-01-19 02:50:49 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-01-19 20:39:28 +0100 |
| commit | af754df7380b664fea6295813ee7dc64642c8444 (patch) | |
| tree | 2fea974fd6e2b5319d1eb33556e821d2a1312be7 /package.yaml | |
| parent | 3faeba8c3e31bbe254a4facec8704d419e1bbdb8 (diff) | |
BLoC/BLoCade optimizer integration
In many cases, shared-by-abstraction BLC is more performant (and notably
smaller) than the current output where every term just gets substituted
(and potentially duplicated) directly.
BLoC in combination with BLoCade's shared BLC target optimizes this
automatically by trying to find the terms that would most benefit from
deduplication and abstracting them respectively.
Paging @tromp since we talked about this.
This commit also introduces better argument parsing using
optparse-applicative.
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/package.yaml b/package.yaml index 93cedc8..374e3ee 100644 --- a/package.yaml +++ b/package.yaml @@ -40,8 +40,10 @@ dependencies: - haskeline - megaparsec - mtl -- time +- optparse-applicative +- process - random +- time library: source-dirs: src |