github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Allow the evaluator to use the heap & env effects.

Browse Source
This commit is contained in:
Rob Rix 2019-12-19 14:03:01 -05:00
parent 875a4087d6
commit 964d8e20d2
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/Concrete.hs
View File

@ -62,7 +62,7 @@ type Heap = IntMap.IntMap
concrete
:: Applicative term
=> (forall sig m
. (Has (Domain term Addr (Concrete term)) sig m, Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
. (Has (Domain term Addr (Concrete term)) sig m, Has (A.Env Addr) sig m, Has (A.Heap Addr (Concrete term)) sig m, Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
=> (term Addr -> m (Concrete term))
-> (term Addr -> m (Concrete term))
)
@ -82,7 +82,7 @@ runFile
, Has (A.Heap Addr (Concrete term)) sig m
)
=> (forall sig m
. (Has (Domain term Addr (Concrete term)) sig m, Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
. (Has (Domain term Addr (Concrete term)) sig m, Has (A.Env Addr) sig m, Has (A.Heap Addr (Concrete term)) sig m, Has (Reader Path.AbsRelFile) sig m, Has (Reader Span) sig m, MonadFail m)
=> (term Addr -> m (Concrete term))
-> (term Addr -> m (Concrete term))
)