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
Ayman Nadeem
8c3305ff47
evaluatable instances can now use object effects
2019-01-08 13:54:47 -05:00
Ayman Nadeem
708904abae
added object to runDomain effect
2019-01-08 13:47:27 -05:00
Ayman Nadeem
db8149be7f
Add object carrier instance to concrete domain
2019-01-08 13:41:36 -05:00
Ayman Nadeem
ea520d1dfb
add object carrier instance to type
2019-01-08 13:28:45 -05:00
Ayman Nadeem
da4d43c681
get rid of scopedEnvironment in AbstractValue
2019-01-08 12:34:59 -05:00
Ayman Nadeem
158c4193db
fix object carrier instance in abstract domain
2019-01-08 12:34:31 -05:00
Ayman Nadeem
f79017d019
broken object carrier instance in abstract domain
2019-01-08 11:22:39 -05:00
Josh Vera
b153fe8c2c
Merge pull request #2322 from github/deriving-via
...
Use -XDerivingVia to clean up Eq1/Show1/Ord1/Semigroup/Monoid instances.
2019-01-08 11:04:38 -05:00
Patrick Thomson
00abc88daa
Remove unneeded extensions and document Generically.
2019-01-07 16:30:07 -05:00
Patrick Thomson
9c14b6fd85
Fix license version.
2019-01-07 16:23:26 -05:00
Patrick Thomson
2618b30f79
DerivingVia over TypeScript/JavaScript.
2019-01-07 16:21:15 -05:00
Patrick Thomson
6983f55e1c
DerivingVia for Syntax.Directive.
2019-01-07 16:20:54 -05:00
Patrick Thomson
b91675f2cf
Some Haskell instances I forgot.
2019-01-07 16:20:33 -05:00
Patrick Thomson
bf2ee5a3f4
DerivingVia over PHP.
2019-01-07 16:10:13 -05:00
Patrick Thomson
f2bb7eeb8d
DerivingVia over Java syntax.
2019-01-07 16:04:21 -05:00
Patrick Thomson
d2639d096b
DerivingVia over the Haskell syntax modules.
2019-01-07 16:01:42 -05:00
Patrick Thomson
d2fffe1c89
DerivingVia over Markdown.
2019-01-07 15:53:10 -05:00
Patrick Thomson
0482798bfb
DerivingVia over Python and Ruby.
2019-01-07 15:51:41 -05:00
Patrick Thomson
a7db55081a
DerivingVia over Go syntax.
2019-01-07 15:51:28 -05:00
Patrick Thomson
e0bb9e4a08
DerivingVia over Syntax and Syntax.Type.
2019-01-07 15:45:00 -05:00
Patrick Thomson
c778de4585
DerivingVia over Comment.
2019-01-07 15:39:44 -05:00
Patrick Thomson
b32a728b84
DerivingVia over Syntax.Declaration.
2019-01-07 15:37:24 -05:00
Patrick Thomson
e0d5e7f54b
DerivingVia over Syntax.Statement.
2019-01-07 15:33:50 -05:00
Patrick Thomson
d4c9702d7e
Introduce Generically functor and convert Expression/Literal to use it.
2019-01-07 15:33:43 -05:00
Ayman Nadeem
0ec24759fa
fix parameters to include address and value
2019-01-07 14:12:09 -05:00