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

Require Ord instances for LocationFor.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 11:26:39 -04:00
parent a391268efe
commit 97a1d5adb6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Abstract/Value.hs
View File

@ -117,11 +117,11 @@ type CellFor value = Cell (LocationFor value) value
type LiveFor value = Live (LocationFor value) value type LiveFor value = Live (LocationFor value) value
class Eq (LocationFor value) => AbstractValue value where class Ord (LocationFor value) => AbstractValue value where
-- | The location type (the body of 'Address'es) which should be used for an abstract value type. -- | The location type (the body of 'Address'es) which should be used for an abstract value type.
type LocationFor value :: * type LocationFor value :: *
instance Eq location => AbstractValue (Value location term) where instance Ord location => AbstractValue (Value location term) where
type LocationFor (Value location term) = location type LocationFor (Value location term) = location
instance AbstractValue Type.Type where instance AbstractValue Type.Type where