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

We don’t need injectivity for Cell.

Browse Source
This commit is contained in:
Rob Rix 2018-03-29 09:04:50 -04:00
parent aa233f17e1
commit 49a74de758
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/Address.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE MultiParamTypeClasses, TypeFamilyDependencies #-} {-# LANGUAGE TypeFamilies #-}
module Data.Abstract.Address where module Data.Abstract.Address where
import Data.Abstract.FreeVariables import Data.Abstract.FreeVariables
@ -24,7 +24,7 @@ newtype Monovariant = Monovariant { unMonovariant :: Name }
-- | The type into which stored values will be written for a given location type. -- | The type into which stored values will be written for a given location type.
type family Cell l = res | res -> l where type family Cell l where
Cell Precise = Latest Cell Precise = Latest
Cell Monovariant = Set Cell Monovariant = Set