From 98b1b1e16beef4d212892e468ee4bee4a10c5ee6 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 20 Sep 2018 15:22:09 -0400 Subject: [PATCH] :fire: builtInExport. --- src/Control/Abstract/Primitive.hs | 24 ------------------------ 1 file changed, 24 deletions(-) diff --git a/src/Control/Abstract/Primitive.hs b/src/Control/Abstract/Primitive.hs index 5ba0b5bfe..0ca2fbdb5 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 @@ -118,26 +117,3 @@ builtInPrint :: ( AbstractValue address value effects ) => Evaluator term address value effects value builtInPrint = lambda (\ v -> variable v >>= deref >>= asString >>= trace . unpack >> 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 value)) effects - , Ord address - ) - => Evaluator term address value effects value -builtInExport = lambda (\ v -> do - var <- variable v >>= deref - (k, value) <- asPair var - sym <- asString k - addr <- box value - export (name sym) (name sym) (Just addr) - box unit)