From 810839efdab3fb7192b3203c3f36ee89885a251b Mon Sep 17 00:00:00 2001 From: Taylor Fausak Date: Thu, 19 Nov 2015 18:49:16 -0600 Subject: [PATCH] Don't shadow type variables The PureScript compiler warns about shadowed type variables as of 0.7.6. --- src/Data/Foreign/Class.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Data/Foreign/Class.purs b/src/Data/Foreign/Class.purs index 1bde6c5..1089470 100644 --- a/src/Data/Foreign/Class.purs +++ b/src/Data/Foreign/Class.purs @@ -50,10 +50,10 @@ instance intIsForeign :: IsForeign Int where instance arrayIsForeign :: (IsForeign a) => IsForeign (Array a) where read value = readArray value >>= readElements where - readElements :: forall a. (IsForeign a) => Array Foreign -> F (Array a) + readElements :: Array Foreign -> F (Array a) readElements arr = sequence (zipWith readElement (range zero (length arr)) arr) - readElement :: forall a. (IsForeign a) => Int -> Foreign -> F a + readElement :: Int -> Foreign -> F a readElement i value = readWith (ErrorAtIndex i) value instance nullIsForeign :: (IsForeign a) => IsForeign (Null a) where