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

Export the unit effect.

Browse Source 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
This commit is contained in:
Rob Rix 2018-12-11 15:39:03 -05:00
parent d4d3aa90ca
commit bbad0f54ed
4 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Control/Abstract/Value.hs
View File

@ -24,6 +24,7 @@ module Control.Abstract.Value
, While(..)
, runWhile
, WhileC(..)
, Unit(..)
) where
import Control.Abstract.Evaluator

2
src/Data/Abstract/Evaluatable.hs
View File

@ -20,7 +20,7 @@ import Control.Abstract hiding (Load)
import Control.Abstract.Context as X
import Control.Abstract.Evaluator as X hiding (LoopControl(..), Return(..), catchLoopControl, runLoopControl, catchReturn, runReturn)
import Control.Abstract.Modules as X (Modules, ModuleResult, ResolutionError(..), load, lookupModule, listModulesInDir, require, resolve, throwResolutionError)
import Control.Abstract.Value as X hiding (Boolean(..), Function(..), While(..))
import Control.Abstract.Value as X hiding (Boolean(..), Function(..), Unit(..), While(..))
import Data.Abstract.BaseError as X
import Data.Abstract.Declarations as X
import Data.Abstract.FreeVariables as X

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

@ -9,7 +9,7 @@ module Data.Abstract.Value.Concrete
import Control.Abstract.ScopeGraph (Allocator, ScopeError)
import Control.Abstract.Heap (scopeLookup)
import qualified Control.Abstract as Abstract
import Control.Abstract hiding (Boolean(..), Function(..), While(..))
import Control.Abstract hiding (Boolean(..), Function(..), Unit(..), While(..))
import Control.Effect.Carrier
import Control.Effect.Interpose
import Control.Effect.Sum

2
src/Data/Abstract/Value/Type.hs
View File

@ -13,7 +13,7 @@ module Data.Abstract.Value.Type
import Control.Abstract.ScopeGraph
import qualified Control.Abstract as Abstract
import Control.Abstract hiding (Boolean(..), Function(..), While(..))
import Control.Abstract hiding (Boolean(..), Function(..), Unit(..), While(..))
import Control.Effect.Carrier
import Control.Effect.Sum
import Data.Abstract.BaseError