github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Note a fixme.

Browse Source
This commit is contained in:
Rob Rix 2019-12-19 12:02:28 -05:00
parent 76c56e387d
commit 6810624e2c
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/Typecheck.hs
View File

@ -272,3 +272,5 @@ instance ( Alternative m
Alg (Record t) -> traverse (traverse concretize) (Map.toList t) >>= k . Intro.Record . map (fmap send) Alg (Record t) -> traverse (traverse concretize) (Map.toList t) >>= k . Intro.Record . map (fmap send)
t -> fail ("can’t concretize " <> show t) t -> fail ("can’t concretize " <> show t)
alg (R other) = DomainC (send (handleCoercible other)) alg (R other) = DomainC (send (handleCoercible other))
-- FIXME: we don’t get the chance to unify anything because concretization asks for an intro form, not an intro form of a specific type