github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-15 01:51:39 +03:00
Code Issues Projects Releases Wiki Activity

Define Path as an ordinary datatype.

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
Rob Rix 2018-12-06 13:08:56 -05:00
parent 79e235ce34
commit dcd751f4b9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Data/Abstract/ScopeGraph.hs
View File

@ -66,12 +66,12 @@ newtype ScopeGraph scope = ScopeGraph { unScopeGraph :: Map scope (Scope scope)
instance Ord scope => Lower (ScopeGraph scope) where instance Ord scope => Lower (ScopeGraph scope) where
lowerBound = ScopeGraph mempty lowerBound = ScopeGraph mempty
data Path scope where data Path scope
= Hole
-- | Construct a direct path to a declaration. -- | Construct a direct path to a declaration.
Hole :: Path scope | DPath Declaration Position
DPath :: Declaration -> Position -> Path scope
-- | Construct an edge from a scope to another declaration path. -- | Construct an edge from a scope to another declaration path.
EPath :: EdgeLabel -> scope -> Path scope -> Path scope | EPath EdgeLabel scope (Path scope)
instance AbstractHole (Path scope) where instance AbstractHole (Path scope) where
hole = Hole hole = Hole