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
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
joshvera
b5af73c088
Merge remote-tracking branch 'origin/master' into add-references-to-indexer-prototype
2019-01-04 15:00:43 -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
joshvera
64d847833c
Move reference into case maybeConstructor
2018-12-20 20:01:41 -05:00
joshvera
d830cd1f2a
remove extra parens
2018-12-20 19:38:59 -05:00
joshvera
87e478a816
Allow construction of typescript objects without constructors
2018-12-20 19:36:49 -05:00
joshvera
250eedc742
Call ref on the rhs in order to bind the lhs to the rhs in MemberAccess
...
Temporarily call `eval rhs >> ref rhs` because we don't set up `Reader Span` correctly when calling `ref`.
2018-12-20 19:36:31 -05:00
joshvera
6ebbc848e9
Temporarily move reference
call to eval in Evaluatable Identifier
...
Because we don't set up the Reader Span property when calling `ref`.
2018-12-20 19:35:19 -05:00
joshvera
39a4ec0479
Store a term in ReferenceError
2018-12-20 19:34:12 -05:00
joshvera
587d090008
Store MemberAccess rhs as a term
...
So we can grab its span in Eval
2018-12-20 19:34:01 -05: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
joshvera
610f5789e7
WIP
2018-12-19 18:34:01 -05:00
joshvera
81bc67943e
Add a ReferenceInfo to the references map
...
In order to keep track of each reference's span and kind
2018-12-19 17:58:43 -05:00
joshvera
a212530db3
Remove unused pragma
2018-12-19 17:08:37 -05:00
joshvera
acf800139a
redundant import
2018-12-19 17:07:30 -05:00
joshvera
ef0a931f41
Forgot to add Instances.hs
2018-12-19 16:52:26 -05:00
joshvera
2a5ba7ab7b
Remove /tags from gitignore
2018-12-19 16:47:10 -05:00
joshvera
72a8382104
Replace Maybe Kind with an Unknown case in Kind
2018-12-19 16:44:29 -05:00
joshvera
85b6e1e9f6
lint
2018-12-19 16:30:58 -05:00
joshvera
fb4d99a463
Store the kind in scope graph info
2018-12-19 16:29:15 -05:00
joshvera
9f86c1b7d1
Move Taggable instances to their own module
2018-12-19 16:27:33 -05:00
joshvera
fa09de3872
Add newPreludeScope and Prelude relation
...
So we can filter out built int scopes and preludes from the database
2018-12-19 14:41:02 -05:00
Patrick Thomson
14c9f11c25
Merge remote-tracking branch 'origin/master' into split-up-typescript-again
2018-12-18 17:00:06 -05:00
Patrick Thomson
c26acea3ef
remove unused language pragma
2018-12-18 16:59:51 -05:00
Patrick Thomson
af504044b6
Missing imports.
2018-12-18 16:36:40 -05:00
Patrick Thomson
fa46193b08
Add new Types.hs file.
2018-12-18 16:25:40 -05:00
Patrick Thomson
5d46cb211e
Split up typescript grammar even more
2018-12-18 16:25:32 -05:00