git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix shadowing of sequenceA
e4dca75Tibor Erdesz
src/Language/PureScript/Linter/Exhaustive.hs+3
compare with golang
unifiedsplit
@@ -18,6 +18,7 @@
18
18
19{-# LANGUAGE FlexibleContexts #-}
19{-# LANGUAGE FlexibleContexts #-}
20{-# LANGUAGE ScopedTypeVariables #-}
20{-# LANGUAGE ScopedTypeVariables #-}
21+{-# LANGUAGE CPP #-}
21
22
22module Language.PureScript.Linter.Exhaustive
23module Language.PureScript.Linter.Exhaustive
23 ( checkExhaustive
24 ( checkExhaustive
@@ -237,8 +238,10 @@ checkExhaustive env mn numArgs cas = makeResult . first nub $ foldl' step ([init
237 cond = or <$> sequenceA pr
238 cond = or <$> sequenceA pr
238 in (concat missed, (liftA2 (&&) cond nec,
239 in (concat missed, (liftA2 (&&) cond nec,
239 if fromMaybe True cond then redundant else caseAlternativeBinders ca : redundant))
240 if fromMaybe True cond then redundant else caseAlternativeBinders ca : redundant))
241+#if __GLASGOW_HASKELL__ < 710
240 where
242 where
241 sequenceA = foldr (liftA2 (:)) (pure [])
243 sequenceA = foldr (liftA2 (:)) (pure [])
244+#endif
242
245
243 makeResult :: ([[Binder]], (Maybe Bool, [[Binder]])) -> m ()
246 makeResult :: ([[Binder]], (Maybe Bool, [[Binder]])) -> m ()
244 makeResult (bss, (_, bss')) =
247 makeResult (bss, (_, bss')) =