github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 21:01:35 +03:00
Code Issues Projects Releases Wiki Activity

Pretty sure that guard is redundant to the one in alignM.

Browse Source
This commit is contained in:
Rob Rix 2016-07-08 18:00:28 -04:00
parent 6c2948e317
commit 5ffecda63c
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Term.hs
View File

@ -55,9 +55,7 @@ alignSyntax' a b = case (a, b) of
_ -> Nothing
alignF :: (Data (f a), Data (f b), Data (f (These a b)), Typeable a, Typeable b) => f a -> f b -> Maybe (f b)
alignF a b = do
guard (toConstr a == toConstr b)
alignM a b
alignF a b = alignM a b
where alignM :: (Data a, Data b, Alternative m, Monad m) => a -> b -> m b
alignM a b = gzipWithM go a b
where go :: forall m a b. (Data a, Data b, Alternative m, Monad m) => a -> b -> m b