From af754df7380b664fea6295813ee7dc64642c8444 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 19 Jan 2024 02:50:49 +0100
Subject: 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.
---
 src/Binary.hs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Binary.hs')

diff --git a/src/Binary.hs b/src/Binary.hs
index acf20d4..a6e8ceb 100644
--- a/src/Binary.hs
+++ b/src/Binary.hs
@@ -62,5 +62,3 @@ fromJot = worker . reverse
   worker ('0' : xs) = Application (Application (worker xs) s) k
   worker ('1' : xs) = Application s (Application k (worker xs))
   worker _          = Abstraction (Bruijn 0)
-
-
-- 
cgit v1.2.3