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

Note a couple of FIXMEs.

Browse Source
This commit is contained in:
Rob Rix 2019-12-20 09:58:03 -05:00
parent 37e5ba4986
commit c05904c607
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-analysis/src/Analysis/Effect/Domain.hs
View File

@ -56,6 +56,7 @@ asString v = send (AsString @term @addr v pure)
lam :: Has (Domain term addr abstract) sig m => Named (Scope () term addr) -> m abstract
lam = abstract . A.Lam
-- FIXME: Support partial concretization of lambdas.
asLam :: Has (Domain term addr abstract) sig m => abstract -> m (Named (Scope () term addr))
asLam v = send (AsLam v pure)
@ -63,6 +64,7 @@ asLam v = send (AsLam v pure)
record :: forall term addr abstract m sig . Has (Domain term addr abstract) sig m => [(Name, term addr)] -> m abstract
record = abstract @term . A.Record
-- FIXME: Support partial concretization of lambdas and records.
asRecord :: forall term addr abstract m sig . Has (Domain term addr abstract) sig m => abstract -> m [(Name, term addr)]
asRecord v = send (AsRecord v pure)