github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity

Don’t repeat ourselves.

Browse Source
This commit is contained in:
Rob Rix 2019-12-20 12:07:27 -05:00
parent 75a63dd340
commit 661227365a
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 1 additions and 1 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

@ -57,7 +57,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 :: forall term addr abstract m sig . Has (Domain term addr abstract) sig m => [(Name, term addr)] -> m abstract
record fs = send (Record fs pure) record fs = send (Record fs pure)
-- FIXME: Support partial concretization of lambdas and records. -- FIXME: Support partial concretization of records.
asRecord :: forall term addr abstract m sig . Has (Domain term addr abstract) sig m => abstract -> m [(Name, term addr)] 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) asRecord v = send (AsRecord v pure)