X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/c291e22383673d73f8e17e4de85bc68ad2f2c454..47494ad4f59e8574c52d56fb4e85619ecc69b64c:/Lambda.hs?ds=inline

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