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
Ayman Nadeem
7b1fdcb34f
Add initial working but ugly carrier instance for Array in type domain
2019-01-09 20:39:48 -05:00
Ayman Nadeem
a14fcccd16
add Array carrier instance to Abstract domain
2019-01-09 20:38:34 -05:00
Rick Winfrey
0a5c9d45a0
Add back visibility to relations
2019-01-09 17:32:29 -08:00
Rick Winfrey
9ae24b65f6
Derive via Generically for Visibility
2019-01-09 17:32:15 -08:00
Ayman Nadeem
8cc1108071
create runArray effect handler
2019-01-09 11:35:00 -05:00
Ayman Nadeem
3eaebef180
ArrayC carrier type
2019-01-09 11:34:37 -05:00
Ayman Nadeem
eff8e2bb82
stub out Array effect data type
2019-01-09 11:34:15 -05:00
Ayman Nadeem
27efda0de5
klass smart constructor replaces klass method in AbstractValue
2019-01-09 10:21:56 -05:00
Ayman Nadeem
9abf7b3cc3
bye felicia to klass in Concrete domain
2019-01-09 10:21:15 -05:00
Ayman Nadeem
b8b20bdd98
bye felicia to klass in Type domain
2019-01-09 10:21:07 -05:00
Ayman Nadeem
dbf0b84847
bye felicia to klass in Abstract domain
2019-01-09 10:20:58 -05:00
Ayman Nadeem
1f12fff84f
add Klass constructor to object carrier instance in concrete domain
2019-01-08 20:55:36 -05:00
Ayman Nadeem
10bab90d27
add Klass constructor to object carrier instance in type domain
2019-01-08 20:45:26 -05:00
Ayman Nadeem
bc396f9552
add Klass constructor to object carrier instance in Abstract domain
2019-01-08 20:44:08 -05:00
Rick Winfrey
136af86301
Merge branch 'master' into visibility-resolution
2019-01-08 17:32:14 -08:00
Patrick Thomson
3342435f2f
Bump proto3-suite version and remove unneeded dependency.
...
`proto3-suite` now depends on `ansi-wl-pprint` rather than
`wl-pprint`, which means we can remove the latter's pinned
dependency and its associated license files.
2019-01-08 19:07:04 -05:00
Patrick Thomson
2e66bc3443
Simplify Data.Functor.Both.
...
Though the previous definition (a type synonym that wrapped `Join (,)`)
was clever, it required a number of orphan instances, as well as an extra
`both` function to simulate a `Both` constructor. Using an ordinary data
structure removes the need for orphan instances.
2019-01-08 17:34:47 -05:00
Ayman Nadeem
b6295817f9
add Klass constructor to Object effect data type
2019-01-08 16:01:42 -05:00
Ayman Nadeem
9c88dc0615
move scopedEnvironment and object from abstractValue to effects
2019-01-08 14:38:45 -05:00
