github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Explicitly list the type parameters for diffWith.

Browse Source
This commit is contained in:
Rob Rix 2019-10-02 13:21:08 -04:00
parent 5cee2da207
commit 85509fa339
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -220,7 +220,8 @@ infixl 9 &
instance (c1 term, c2 term) => (c1 & c2) term
diffWith
:: DiffEffects sig m
:: forall ann c output m sig
. DiffEffects sig m
=> [(Language, SomeParser (DiffTerms & c) Loc)]
-> (forall term . c term => Blob -> term Loc -> term ann)
-> (forall term . c term => DiffFor term ann ann -> m output)