From 47494ad4f59e8574c52d56fb4e85619ecc69b64c Mon Sep 17 00:00:00 2001
From: Tomas Musil <tomik.musil@gmail.com>
Date: Sun, 9 Nov 2014 02:40:51 +0100
Subject: [PATCH] fno-warn unused do bindings

---
 Lambda.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Lambda.hs b/Lambda.hs
index 578c00f..5165bb8 100644
--- a/Lambda.hs
+++ b/Lambda.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fno-warn-unused-do-bind #-}
+
 module Lambda where
 
 import Data.Text as T
@@ -54,6 +56,7 @@ rename :: Term -> Term
 rename (Lambda x t) = Lambda n (substitute x (Var n) t)
   where n = rnm x 
         rnm v = if (v ++ "r") `isFreeIn` t then rnm (v ++ "r") else v ++ "r"
+rename _ = error "TODO vymyslet reprezentaci, kde pujde udelat fce, ktera bere jen Lambdy"
 
 substitute :: VarName -> Term -> Term -> Term
 substitute a b (Var x) = if x == a then b else Var x
-- 
2.4.2