From 0b68687be5f3477cbe2983e1114547e6afef728b Mon Sep 17 00:00:00 2001
From: Danila Danko <br4ch1st0chr0n3@gmail.com>
Date: Wed, 10 Jan 2024 03:09:38 +0300
Subject: [PATCH] feat: run normalizer

---
 pipeline.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pipeline.sh b/pipeline.sh
index a0697e85d..02f9c942d 100755
--- a/pipeline.sh
+++ b/pipeline.sh
@@ -19,7 +19,11 @@ eo --alone dataize app > before.txt
 eo phi
 
 # Now, you modify/normalize this file:
-# .eoc/phi/app.phi
+IO=".eoc/phi/app.phi"
+I=".eoc/phi/app.bk.phi"
+mv "$IO" "$I"
+stack run normalize-phi < "$I" > "$IO" \
+  || echo 'Normalizer failed' && exit 1
 
 eo unphi