From 77bff1a687a4418d1968f49cbbd5b7c19f5eaba8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 22 Nov 2017 18:15:11 +0100
Subject: Add join -> >>= optimisation

---
 pf.icl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pf.icl b/pf.icl
index 76a54f9..342ee82 100644
--- a/pf.icl
+++ b/pf.icl
@@ -145,7 +145,8 @@ where
 		a                  -> Ident "const" @ a
 optim (f @ x) = case optim f @ optim x of
 	Ident "flip" @ Ident "ap" @ Ident "id" -> Ident "join"
-	Ident "ap" @ f @ Ident "id" -> Ident "join" @ f
+	Ident "ap" @ f @ Ident "id" -> optim (Ident "join" @ f)
+	Ident "join" @ (Ident "(o)" @ f @ g) -> optim (Ident "(>>=)" @ f @ g)
 	e -> e
 optim e = e
 
-- 
cgit v1.2.3