github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Add a Switch case to zipUnwrap

Browse Source
This commit is contained in:
joshvera 2016-06-16 15:57:27 -07:00
parent 0c1d749f32
commit af8e7a4d81
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Term.hs
View File

@ -33,6 +33,9 @@ zipTerms t1 t2 = annotate (zipUnwrap a b)
zipUnwrap (Case eA' bodyA') (Case eB' bodyB') = case (zipTerms eA' eB', zipTerms bodyA' bodyB') of zipUnwrap (Case eA' bodyA') (Case eB' bodyB') = case (zipTerms eA' eB', zipTerms bodyA' bodyB') of
(Just id', Just body') -> Just $ Case id' body' (Just id', Just body') -> Just $ Case id' body'
_ -> Nothing _ -> Nothing
zipUnwrap (Switch a' as') (Switch b' bs') = case (zipTerms a' b') of
(Just expr') -> Just $ Switch expr' (catMaybes $ zipWith zipTerms as' bs')
_ -> Nothing
zipUnwrap (Fixed a') (Fixed b') = Just . Fixed . catMaybes $ zipWith zipTerms a' b' zipUnwrap (Fixed a') (Fixed b') = Just . Fixed . catMaybes $ zipWith zipTerms a' b'
zipUnwrap (Keyed a') (Keyed b') | keys a' == keys b' = Just . Keyed . fromList . catMaybes $ zipUnwrapMaps a' b' <$> keys a' zipUnwrap (Keyed a') (Keyed b') | keys a' == keys b' = Just . Keyed . fromList . catMaybes $ zipUnwrapMaps a' b' <$> keys a'
zipUnwrap _ _ = Nothing zipUnwrap _ _ = Nothing