Rick Winfrey
00d074bced
Rename Visibility -> AccessControl
2019-01-15 12:24:10 -08:00
Rick Winfrey
688d744c2c
Rename Visibilities & Visibilities1 -> AccessControls & AccessControls1
...
Visibilities is from the scope graph literature, and is not the same idea or equivalent in any way to the idea of access control.
2019-01-15 12:23:48 -08:00
Ayman Nadeem
ed6f225213
fix build errors
2019-01-15 13:57:14 -05:00
Ayman Nadeem
b1b014a993
fix conflicts
2019-01-15 13:20:48 -05:00
Rick Winfrey
8679f360fb
Reflect instance methods / field definitions access control when instantiating objects
2019-01-14 17:58:18 -08:00
Rick Winfrey
ad68196124
Reflow
2019-01-14 17:57:31 -08:00
Rick Winfrey
f1300c2136
Declare public field name with correct access control
2019-01-14 17:57:22 -08:00
Rick Winfrey
4b5eb19700
Simplify scope lookup for MemberAccess
2019-01-14 17:22:03 -08:00
Rick Winfrey
2a4cc4eab2
Update example
2019-01-14 15:21:25 -08:00
Rick Winfrey
ed88f498a9
Generate list of possible Relation based on Visibilties of lhs in MemberAccess
2019-01-14 15:21:10 -08:00
Rick Winfrey
b2cbb3299a
Manually define Visibilities This instance
2019-01-14 15:20:25 -08:00
Ayman Nadeem
3a5b679236
change fmap and applicative to do block
2019-01-14 16:38:43 -05:00
Ayman Nadeem
899e847f3a
delete old hash method implementations in Concrete domain
2019-01-14 16:03:59 -05:00
Ayman Nadeem
e765d9c951
delete old hash method implementations in Type domain
2019-01-14 16:03:50 -05:00
Ayman Nadeem
4de04378dd
delete old hash method implementations in Abstract domain
2019-01-14 16:03:22 -05:00
Ayman Nadeem
a6aa6c812b
replace AbstractIntro methods with smart constructors for hash and kvPair
2019-01-14 15:56:50 -05:00
Ayman Nadeem
04b5863011
evaluatable instances can now use hash
2019-01-14 15:56:21 -05:00
Ayman Nadeem
7021664a67
add hash to runDomainEffects
2019-01-14 15:55:59 -05:00
Ayman Nadeem
dbf197d366
fix hash carrier instance for concrete domain
2019-01-14 15:29:15 -05:00
Ayman Nadeem
7e9b5aee94
fix hash carrier instance for type domain
2019-01-14 15:29:00 -05:00
Ayman Nadeem
6f9a8c2733
stub out incorrect hash carrier instance for concrete domain
2019-01-11 17:36:28 -05:00
Ayman Nadeem
0fff151f21
stub out incorrect hash carrier instance for type domain
2019-01-11 17:36:21 -05:00
Ayman Nadeem
68690bf3d8
hash carrier instance for abstract domain
2019-01-11 17:19:33 -05:00
Ayman Nadeem
77b35435d6
correct parameter booboo
2019-01-11 17:19:02 -05:00
Ayman Nadeem
cca3cb868b
hide Hash
2019-01-11 17:14:41 -05:00
Ayman Nadeem
8c37ade84c
stub out Hash effect, carrier type and handler
2019-01-11 17:14:29 -05:00
Patrick Thomson
dfa73e5e50
Merge pull request #2331 from github/add-fromright-fromleft
...
Add fromRight/fromLeft to Prologue and according hlint rules.
2019-01-11 15:45:58 -05:00
Ayman Nadeem
dc72a67e97
get rid of a bajillion redundant constraints and imports
2019-01-11 15:16:35 -05:00
Ayman Nadeem
4b5ba568af
make ghc happy
2019-01-11 15:06:36 -05:00
Ayman Nadeem
c278dc3bd3
remove AbstractValue array methods from Type domain
2019-01-11 14:56:11 -05:00
Ayman Nadeem
634affcd31
remove AbstractValue array methods from Concrete domain
2019-01-11 14:56:05 -05:00
Ayman Nadeem
30775c4902
remove AbstractValue array methods from Abstract domain
2019-01-11 14:55:58 -05:00
Ayman Nadeem
91aee90ae6
smart constructors are better than dumb constructors (array and asArray)
2019-01-11 13:59:23 -05:00
Ayman Nadeem
decbc554ae
evaluatable instances can now use array effects
2019-01-11 13:44:47 -05:00
Ayman Nadeem
5bfbb0a95b
add array to runDomainEffects
2019-01-11 13:44:34 -05:00
Ayman Nadeem
92cd5634dc
rewrite first AsArray condition
2019-01-11 13:30:31 -05:00
Ayman Nadeem
8745c48dfa
remove redundant constraints
2019-01-11 13:27:45 -05:00
Ayman Nadeem
745b739538
array carrier instance for concrete domain
2019-01-11 13:26:42 -05:00
Patrick Thomson
716da369fe
Add fromRight/fromLeft to Prologue and according hlint rules.
...
These are new in base-4.10; I had no idea they existed until Rob
pointed them out. This adds them to the Prologue and institutes hlint
rules to suggest when we can use them.
2019-01-11 12:49:56 -05:00
Patrick Thomson
73ea843d23
Merge pull request #2327 from github/simplify-both
...
Simplify Data.Functor.Both.
2019-01-11 11:21:35 -05:00
Ayman Nadeem
0bf26f6477
rewrite AsArray in type domain
2019-01-11 11:21:23 -05:00
Patrick Thomson
cfc6d46a28
Merge branch 'master' into simplify-both
2019-01-10 18:39:21 -05:00
Timothy Clem
afb0bd0e74
Merge pull request #2330 from github/bump-tree-sitter
...
++tree-sitter-typescript for flow type in import_statement
2019-01-10 15:08:01 -08:00
Timothy Clem
06a0d29990
++tree-sitter-typescript for flow type in import_statement
2019-01-10 14:37:27 -08:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
Patrick Thomson
8140b8ef9d
Merge remote-tracking branch 'origin/master' into simplify-both
2019-01-10 13:54:04 -05:00
Patrick Thomson
742d7caf95
Merge pull request #2328 from github/bump-submodules-2019-01-08
...
Bump proto3-suite version and remove unneeded dependency.
2019-01-10 13:23:05 -05:00
Rob Rix
77b8e617c5
Merge branch 'master' into bump-submodules-2019-01-08
2019-01-10 09:20:47 -05:00
Rob Rix
dd4fbcbbb2
Merge branch 'master' into simplify-both
2019-01-10 09:10:16 -05:00
Ayman Nadeem
48c32ce4b6
update Evaluatable to disambiguate
2019-01-09 20:40:06 -05:00
