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

remove AbstractValue array methods from Type domain

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-11 14:56:11 -05:00
parent 634affcd31
commit c278dc3bd3
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -415,10 +415,6 @@ instance ( Member Fresh sig
, Carrier sig m
)
=> AbstractValue term address Type m where
array fieldTypes = do
var <- fresh
Array <$> foldr (\ t1 -> (unify t1 =<<)) (pure (Var var)) fieldTypes
tuple fields = pure $ zeroOrMoreProduct fields
namespace _ _ = pure Unit
@ -427,9 +423,6 @@ instance ( Member Fresh sig
t1 <- fresh
t2 <- fresh
unify t (Var t1 :* Var t2) $> (Var t1, Var t2)
asArray t = do
field <- fresh
unify t (Array (Var field)) $> mempty
index arr sub = do
_ <- unify sub Int