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

🔥 withSomeTermPair.

Browse Source
This commit is contained in:
Rob Rix 2019-10-01 22:23:15 -04:00
parent 68ea7e147d
commit 5fe4b1da74
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Api/Diffs.hs
View File

@ -8,7 +8,6 @@ module Semantic.Api.Diffs
, DiffEffects
, SomeTermPair(..)
, withSomeTermPair
) where
import Analysis.ConstructorName (ConstructorName)
@ -178,6 +177,3 @@ doParse blobPair decorate = case languageForBlobPair blobPair of
data SomeTermPair typeclasses ann where
SomeTermPair :: typeclasses syntax => Join These (Term syntax ann) -> SomeTermPair typeclasses ann
withSomeTermPair :: (forall syntax . typeclasses syntax => Join These (Term syntax ann) -> a) -> SomeTermPair typeclasses ann -> a
withSomeTermPair with (SomeTermPair terms) = with terms