github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 05:58:34 +03:00
Code Issues Projects Releases Wiki Activity

Generalize comparableByConstructor over the annotation types.

Browse Source
This commit is contained in:
Rob Rix 2017-09-14 11:18:41 -04:00
parent e0d36dc8e5
commit 67c6b12bb8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Interpreter.hs
View File

@ -113,5 +113,5 @@ comparableByCategory :: HasField fields Category => ComparabilityRelation syntax
comparableByCategory (In a _) (In b _) = category a == category b
-- | Test whether two terms are comparable by their constructor.
comparableByConstructor :: GAlign syntax => ComparabilityRelation syntax (Record fields) (Record fields)
comparableByConstructor :: GAlign syntax => ComparabilityRelation syntax ann1 ann2
comparableByConstructor (In _ a) (In _ b) = isJust (galign a b)