From 2dde20051effa36381bb744bd378955f53ad0a56 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 29 Jul 2019 12:35:59 -0400 Subject: [PATCH] Generalize lookupConcrete over the term type. --- semantic-core/src/Analysis/Concrete.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/semantic-core/src/Analysis/Concrete.hs b/semantic-core/src/Analysis/Concrete.hs index d2375517a..09de90cc7 100644 --- a/semantic-core/src/Analysis/Concrete.hs +++ b/semantic-core/src/Analysis/Concrete.hs @@ -132,7 +132,7 @@ concreteAnalysis = Analysis{..} pure (val >>= lookupConcrete heap n) -lookupConcrete :: Heap (Term (Core.Ann :+: Core.Core) User) -> User -> Concrete (Term (Core.Ann :+: Core.Core) User) -> Maybe Precise +lookupConcrete :: Heap term -> User -> Concrete term -> Maybe Precise lookupConcrete heap name = run . evalState IntSet.empty . runNonDet . inConcrete where -- look up the name in a concrete value inConcrete = inFrame <=< maybeA . recordFrame