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

Add superclass constraints to AbstractLocation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 11:25:44 -04:00
parent c1f3bd5711
commit a391268efe
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/Data/Abstract/Address.hs
View File

@ -23,7 +23,7 @@ newtype Monovariant = Monovariant { unMonovariant :: Name }
deriving (Eq, Ord, Show)
class AbstractLocation location where
class (Foldable (Cell location), Ord location) => AbstractLocation location where
-- | The type into which stored values will be written for a given location type.
type family Cell location :: * -> *