From cf36fa66859f83f8e8fbae3e2e30a4c7d09a4548 Mon Sep 17 00:00:00 2001 From: joshvera Date: Tue, 25 Sep 2018 13:35:14 -0500 Subject: [PATCH] remove builtInExport --- src/Control/Abstract/Primitive.hs | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/src/Control/Abstract/Primitive.hs b/src/Control/Abstract/Primitive.hs index 23c8b275d..db89cf805 100644 --- a/src/Control/Abstract/Primitive.hs +++ b/src/Control/Abstract/Primitive.hs @@ -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)