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

remove builtInExport

Browse Source
This commit is contained in:
joshvera 2018-09-25 13:35:14 -05:00
parent 74d9e95a38
commit cf36fa6685
1 changed files with 0 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,7 +4,6 @@ module Control.Abstract.Primitive
, defineClass
, defineNamespace
, builtInPrint
, builtInExport
, lambda
, Lambda(..)
) where
@ -148,27 +147,3 @@ builtInPrint :: ( AbstractValue address value effects
-- TODO: This Declaration usage might be wrong. How do we know name exists.
builtInPrint =
lambda (\ v -> variable v >>= deref >>= asString >>= trace . unpack >> currentFrame) -- box unit)
builtInExport :: ( AbstractValue address value effects
, HasCallStack
, Member (Allocator address) effects
, Member (Deref value) effects
, Member (Env address) effects
, Member Fresh effects
, Member (Function address value) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
, Member (Resumable (BaseError (AddressError address value))) effects
, Member (Resumable (BaseError (EnvironmentError address))) effects
, Member (State (Heap address address value)) effects
, Ord address
)
=> Evaluator address value effects value
builtInExport = lambda (\ v -> do
var <- variable v >>= deref
(k, value) <- asPair var
sym <- asString k
addr <- undefined -- box value
export (Name.name sym) (Name.name sym) (Just addr)
undefined)
-- box unit)