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

Add initial working but ugly carrier instance for Array in type domain

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-09 20:39:48 -05:00
parent a14fcccd16
commit 7b1fdcb34f
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
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(..), Numeric(..), Object(..), String(..), Unit(..), While(..))
import Control.Abstract hiding (Boolean(..), Function(..), Numeric(..), Object(..), Array(..), String(..), Unit(..), While(..))
import Control.Effect.Carrier
import Control.Effect.Sum
import Data.Abstract.BaseError
@ -378,6 +378,24 @@ instance ( Carrier sig m ) => Carrier (Abstract.Object address Type :+: sig) (Ob
Abstract.ScopedEnvironment _ k -> runObjectC (k Nothing)
Abstract.Klass _ _ k -> runObjectC (k Object))
instance ( Member Fresh sig
, Member (Reader ModuleInfo) sig
, Member (Reader Span) sig
, Member (Resumable (BaseError TypeError)) sig
, Member (State TypeMap) sig
, Carrier sig m
, Monad m
)
=> Carrier (Abstract.Array Type :+: sig) (ArrayC Type m) where
ret = ArrayC . ret
eff = ArrayC . handleSum (eff . handleCoercible) (\case
Abstract.Array fieldTypes k -> (do
var <- fresh
Array <$> foldr (\ t1 -> (unify t1 =<<)) (pure (Var var)) fieldTypes) >>= runArrayC . k
Abstract.AsArray t k -> (do
field <- fresh
unify t (Array (Var field)) $> mempty) >>= runArrayC . k)
instance AbstractHole Type where
hole = Hole