github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Strengthen the constraints available to eval.

Browse Source
This commit is contained in:
Rob Rix 2019-12-19 14:44:08 -05:00
parent 00e506cdec
commit 89d7bd5aaf
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
semantic-analysis/src/Analysis/ScopeGraph.hs
View File

@ -57,7 +57,7 @@ instance Monoid ScopeGraph where
scopeGraph
:: (Monad term, Ord (term Addr))
=> (forall sig m
. (Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
. (Has (Domain term Addr ScopeGraph :+: Env Addr :+: A.Heap Addr ScopeGraph :+: Reader Path.AbsRelFile :+: Reader Span) sig m, MonadFail m)
=> (term Addr -> m ScopeGraph)
-> (term Addr -> m ScopeGraph)
)
@ -77,7 +77,7 @@ runFile
, Ord (term Addr)
)
=> (forall sig m
. (Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
. (Has (Domain term Addr ScopeGraph :+: Env Addr :+: A.Heap Addr ScopeGraph :+: Reader Path.AbsRelFile :+: Reader Span) sig m, MonadFail m)
=> (term Addr -> m ScopeGraph)
-> (term Addr -> m ScopeGraph)
)