github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Abstract Semi over the term type.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 12:13:15 -04:00
parent 65e218417f
commit 54430ac56d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
semantic-core/src/Analysis/ImportGraph.hs
View File

@ -31,7 +31,7 @@ import Prelude hiding (fail)
type ImportGraph = Map.Map Text (Set.Set Text)
data Value = Value
{ valueSemi :: Semi
{ valueSemi :: Semi (Term (Core.Ann :+: Core.Core) User)
, valueGraph :: ImportGraph
}
deriving (Eq, Ord, Show)
@ -42,8 +42,8 @@ instance Semigroup Value where
instance Monoid Value where
mempty = Value Abstract mempty
data Semi
= Closure Loc User (Term (Core.Ann :+: Core.Core) User)
data Semi term
= Closure Loc User term
-- FIXME: Bound String values.
| String Text
| Abstract