github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 17:59:10 +03:00
Code Issues Projects Releases Wiki Activity

add Klass constructor to object carrier instance in concrete domain

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-08 20:55:36 -05:00
parent 10bab90d27
commit 1f12fff84f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Abstract/Value/Concrete.hs
View File

@ -258,6 +258,7 @@ instance Carrier sig m => Carrier (Abstract.Object address (Value term address)
Abstract.ScopedEnvironment (Class _ _ address) k -> runObjectC (k (Just address))
Abstract.ScopedEnvironment (Namespace _ address) k -> runObjectC (k (Just address))
Abstract.ScopedEnvironment _ k -> runObjectC (k Nothing)
Abstract.Klass n frame k -> runObjectC (k (Class n mempty frame))
)