github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Defining built-ins returns in unit.

Browse Source
This commit is contained in:
Rob Rix 2018-12-10 10:36:51 -05:00
parent 7587536d4d
commit a2b6a27005
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Abstract/Primitive.hs
View File

@ -12,7 +12,6 @@ import Control.Abstract.ScopeGraph
import Control.Abstract.Value
import Data.Abstract.BaseError
import Data.Abstract.Name
import Data.Abstract.Ref
import Data.Map.Strict as Map
import Data.Span
import Prologue
@ -35,7 +34,7 @@ defineBuiltIn :: ( HasCallStack
)
=> Declaration
-> BuiltIn
-> Evaluator term address value m (ValueRef address value)
-> Evaluator term address value m ()
defineBuiltIn declaration value = withCurrentCallStack callStack $ do
currentScope' <- currentScope
let lexicalEdges = Map.singleton Lexical [ currentScope' ]
@ -49,7 +48,7 @@ defineBuiltIn declaration value = withCurrentCallStack callStack $ do
slot <- lookupDeclaration declaration
value <- builtIn associatedScope value
LvalMember slot <$ assign slot value
assign slot value
defineClass :: ( AbstractValue term address value m
, Carrier sig m