1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

Generalize Semi over the name type.

This commit is contained in:
Rob Rix 2019-10-11 11:23:44 -04:00
parent 462086e473
commit adeec84cd8
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -30,7 +30,7 @@ import qualified System.Path as Path
type ImportGraph = Map.Map Text (Set.Set Text)
data Value term = Value
{ valueSemi :: Semi term
{ valueSemi :: Semi term Name
, valueGraph :: ImportGraph
}
deriving (Eq, Ord, Show)
@ -41,8 +41,8 @@ instance Semigroup (Value term) where
instance Monoid (Value term) where
mempty = Value Abstract mempty
data Semi term
= Closure Path.AbsRelFile Span Name term
data Semi term name
= Closure Path.AbsRelFile Span name term
-- FIXME: Bound String values.
| String Text
| Abstract