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

Fix an ambiguous variable.

Browse Source
This commit is contained in:
Rob Rix 2019-10-28 10:56:38 -04:00
parent bb6d3e027f
commit f837076616
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/Concrete.hs
View File

@ -160,7 +160,7 @@ concreteAnalysis = Analysis{..}
addr ... n = do addr ... n = do
val <- deref addr val <- deref addr
heap <- get heap <- get
pure (val >>= lookupConcrete heap n) pure (val >>= lookupConcrete (heap :: Heap term name) n)
lookupConcrete :: (IsString name, Ord name) => Heap term name -> name -> Concrete term name -> Maybe Precise lookupConcrete :: (IsString name, Ord name) => Heap term name -> name -> Concrete term name -> Maybe Precise