unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-20 23:07:13 +03:00
Code Issues Projects Releases Wiki Activity

Traverse type references in ANF functions

Browse Source 
Previously the references in FCon and FReq didn't matter when loading
into the cache, but due to tag packing, they now do. Strictly speaking,
they probably still don't matter for FReq, but might as well be safe.
This commit is contained in:
Dan Doel 2022-02-17 15:35:06 -05:00
parent 60c83275f6
commit 6c3522e354
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
parser-typechecker/src/Unison/Runtime/ANF.hs
View File

@ -1278,7 +1278,7 @@ anfFLinks f g (AName er _ e)
anfFLinks f g (AMatch _ bs) = branchLinks (f True) g bs
anfFLinks f g (AShift r e) = f True r <> g e
anfFLinks f g (AHnd rs _ e) = foldMap (f True) rs <> g e
anfFLinks f _ (AApp fu _) = funcLinks (f False) fu
anfFLinks f _ (AApp fu _) = funcLinks f fu
anfFLinks _ _ _ = mempty
branchLinks
@ -1296,9 +1296,11 @@ tyRefs _ _ = mempty
funcLinks
:: Monoid a
=> (Reference -> a)
=> (Bool -> Reference -> a)
-> Func v -> a
funcLinks f (FComb r) = f r
funcLinks f (FComb r) = f False r
funcLinks f (FCon r _) = f True r
funcLinks f (FReq r _) = f True r
funcLinks _ _ = mempty
expandBindings'