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
Ayman Nadeem
4e08edb14d
define handler for object
2019-01-07 14:02:07 -05:00
Ayman Nadeem
b8818fbfdd
define carrier type for object
2019-01-07 14:00:23 -05:00
Ayman Nadeem
005ba9ee9f
stub in object effect
2019-01-07 13:59:28 -05:00
Patrick Thomson
1302fe4ac8
Use -XDerivingVia to clean up our Semigroup/Monoid instances.
...
Now that we're on GHC 8.6, we can use `-XDerivingVia` in many cases
where we previously had to write instances by hand. If you're not
familiar with `-XDerivingVia`, the [GHC proposal][ghc] is a good place
to start.
[ghc]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0023-deriving-via.rst
Thanks to the `generic-monoid` package, we can derive a `Semigroup`
instance for any product type whose members are `Semigroups`, and the
same goes for `Monoid`. This entails an extra dependency, but it is
better than the `generic-deriving` package, which is way too much overhead.
I've also switched some trivial definitions to newtype-deriving.
Please be aware that this bumps `hlint` and `haskell-src-exts` so that
`hlint` doesn't choke on the `DerivingVia` extension. You'll need to
`stack install hlint` to get it on your `PATH`. Apologies!
2019-01-07 11:23:11 -05:00
Rob Rix
3b45f8c617
Merge remote-tracking branch 'origin/master' into factor-abstract-value-as-value-effects
2019-01-07 09:32:52 -05:00
Josh Vera
97d60bb81e
Merge pull request #2319 from github/lts-13.0
...
Upgrade to LTS 13.1 and GHC 8.6.3.
2019-01-02 11:31:27 -05:00
Patrick Thomson
c58416b5d7
bump mime-types
2019-01-01 14:21:51 -05:00
Patrick Thomson
b5c47fec08
Add math-functions and vector-th-unbox.
2018-12-30 02:27:53 -05:00
Patrick Thomson
61caa9f5ae
whoops
2018-12-30 01:59:46 -05:00
Patrick Thomson
f15eaa18d4
Remove mwc-random pin and make sure benchmarks work.
2018-12-30 01:50:33 -05:00
Patrick Thomson
b6f042a1df
Correct erf package.
2018-12-30 00:58:59 -05:00
Patrick Thomson
5af0d8de70
Fix mangled licenses for proto3-suite.
2018-12-30 00:48:48 -05:00
Patrick Thomson
e35d565188
Remove dropped URLs.
2018-12-30 00:39:55 -05:00
Patrick Thomson
b85583bee3
manually fix previous manual fixes
2018-12-30 00:33:01 -05:00
Patrick Thomson
524c45d634
Manual munging of bad licensed output.
2018-12-30 00:17:20 -05:00
Patrick Thomson
f960bd599a
Bump license cache.
2018-12-30 00:10:40 -05:00
Patrick Thomson
955f30617c
Depend on hostname instead of Network.BSD.
2018-12-29 15:02:42 -05:00
Patrick Thomson
d32f5cd5ca
Merge branch 'master' into lts-13.0
2018-12-29 14:17:48 -05:00
Patrick Thomson
9852155a77
Upgrade to LTS 13.0 and GHC 8.6.3.
...
Bumps most of our dependencies.
Code changes:
* algebraic-graphs-0.3 no longer provides a Foldable or Traversable
implementation for `Graph`, so now neither does our `Graph` type.
* CMark parsing now uses safe rendering of raw HTML/URLs by default,
so there is no reason to pass an `optSafe` anymore.
* algebraic-graphs now no longer requires an Eq constraint on the
output type it generates, so we can ditch our Serializing.DOT
module. (Andrey fixed this for us specifically!)
2018-12-29 14:02:24 -05:00
Rick Winfrey
b1784c0058
WIP: this currently fails to compile but indicates what I would like to destructure and assert against
2018-12-20 17:05:50 -08:00
Rick Winfrey
98e83045fc
Add a Closure constructor to Abstract.Value.Concrete
2018-12-20 17:05:14 -08:00
Rick Winfrey
c3ab029fb2
Restrict MemberAccess to only deref public instance or default relations on the rhs
2018-12-20 17:04:59 -08:00
Rick Winfrey
d1024f8b11
Cleanup unused language pragma
2018-12-20 17:04:26 -08:00
Rick Winfrey
e235f55552
Use <$> rather than pure and >>=
2018-12-20 17:04:05 -08:00
Rick Winfrey
8431d62b5f
Update Evaluator.Spec with new Visibility
2018-12-20 17:03:32 -08:00
Rick Winfrey
24a386c2ff
Fix Listable1 instance for Visibility
2018-12-20 17:03:17 -08:00
Rick Winfrey
2496a4e826
Import instances only
2018-12-20 17:03:04 -08:00
Rick Winfrey
6679bf2878
Reflow
2018-12-20 17:02:51 -08:00
Rick Winfrey
e71f5e7e01
Reflow
2018-12-20 17:02:05 -08:00
Rick Winfrey
51b0e707f7
Add lookupFrame to Control.Abstract.Heap
...
Adding for convenience
2018-12-20 17:01:50 -08:00
Patrick Thomson
e7a72871a8
Merge pull request #2313 from github/split-up-typescript-again
...
Split up TypeScript syntax module further.
2018-12-20 14:44:12 -05:00
Rick Winfrey
84ccc2eaa7
Get the pragma right
2018-12-20 10:44:10 -08:00
Rick Winfrey
957aea3458
Update protos
2018-12-19 19:23:28 -08:00
Rick Winfrey
78dcc8e8e0
💅 📝
2018-12-19 19:23:13 -08:00
Rick Winfrey
599d55c825
Get things compiling again
2018-12-19 19:23:02 -08:00
Rick Winfrey
2764f3a4ea
Update relationsOfScope to accept [Relation]
2018-12-19 19:22:26 -08:00
Rick Winfrey
76ba33e134
Update Assignments
2018-12-19 19:21:46 -08:00
Rick Winfrey
11c2a66f66
Add LambdaCase
2018-12-19 19:20:14 -08:00
Rick Winfrey
daeb7e23e8
Add visibility field to PublicFieldDefinition
2018-12-19 19:20:04 -08:00
Rick Winfrey
9202da4fc1
Update declareFunction to take a Relation
2018-12-19 19:19:45 -08:00
Rick Winfrey
f80e04f7fa
Define Visibilities1 instance for Declaration.Visibility
2018-12-19 19:19:16 -08:00
Rick Winfrey
944fa24efc
Update name
2018-12-19 19:19:01 -08:00
Rick Winfrey
65cd00dd9c
Don't capture the inner term (identifier) for Declaration.Visibility
2018-12-19 19:18:52 -08:00
Rick Winfrey
a4ea4fda46
Update existing Relation declarations
2018-12-19 19:14:48 -08:00
Rick Winfrey
df61ed6ef2
Parameterize Relation with Visibility
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-12-19 19:11:58 -08:00
Rick Winfrey
d61f27ce07
Add ScopeGraph.Visibility
2018-12-19 19:11:37 -08:00
Rick Winfrey
960d56fdcf
Add Visibilities instances
2018-12-19 19:11:02 -08:00
