Merge pull request #61 from purescript/fix-shadow

Fix shadowed name warnings

Author: garyb

README.md

@@ -1,8 +1,7 @@
 # purescript-free
 
-[![Latest release](http://img.shields.io/bower/v/purescript-free.svg)](https://github.com/purescript/purescript-free/releases)
-[![Build Status](https://travis-ci.org/purescript/purescript-free.svg?branch=master)](https://travis-ci.org/purescript/purescript-free)
-[![Dependency Status](https://www.versioneye.com/user/projects/55848c7336386100150003e9/badge.svg?style=flat)](https://www.versioneye.com/user/projects/55848c7336386100150003e9)
+[![Latest release](http://img.shields.io/github/release/purescript/purescript-free.svg)](https://github.com/purescript/purescript-free/releases)
+[![Build status](https://travis-ci.org/purescript/purescript-free.svg?branch=master)](https://travis-ci.org/purescript/purescript-free)
 
 Free monad, Cofree comonad, Yoneda and Coyoneda functors, and the Trampoline monad implementations for PureScript.
 

src/Control/Comonad/Cofree.purs

@@ -105,8 +105,8 @@ instance applicativeCofree :: Alternative f => Applicative (Cofree f) where
 instance bindCofree :: Alternative f => Bind (Cofree f) where
   bind fa f = loop fa
     where
-    loop fa =
-      let fh = f (head fa)
-      in mkCofree (head fh) ((tail fh) <|> (loop <$> tail fa))
+    loop fa' =
+      let fh = f (head fa')
+      in mkCofree (head fh) ((tail fh) <|> (loop <$> tail fa'))
 
 instance monadCofree :: Alternative f => Monad (Cofree f)

src/Control/Monad/Free.purs

@@ -179,7 +179,7 @@ toView (Free v s) =
       Bind f (\a -> unsafeCoerceFree (concatF (k a) s))
   where
   concatF :: Free f Val -> CatList (ExpF f) -> Free f Val
-  concatF (Free v l) r = Free v (l <> r)
+  concatF (Free v' l) r = Free v' (l <> r)
 
   runExpF :: ExpF f -> (Val -> Free f Val)
   runExpF (ExpF k) = k