github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
30,637 Commits 19 Branches 16 Tags 46 MiB
3d01323129
Commit Graph

67 Commits

Author SHA1 Message Date
Rob Rix
1ec330fbe4
Annotate the kind of ToSExpression. 2019-10-07 09:17:30 -04:00
Rob Rix
2791018ce0
Merge remote-tracking branch 'origin/semantic-java' into precise-s-expressions 2019-10-03 14:26:53 -04:00
Rob Rix
4eb0e76bee
Use square brackets for collections. 2019-10-03 14:24:00 -04:00
Rob Rix
722f8d3a18
Special-case empty collections. 2019-10-03 14:22:46 -04:00
Rob Rix
9439145b2b
Increase indentation. 2019-10-03 14:21:02 -04:00
Rob Rix
67e2909b05
Simplify the formatting of compositions. 2019-10-03 14:17:29 -04:00
Rob Rix
7b74525d2f
Specialize for the wrapper types and format accordingly. 2019-10-03 14:11:51 -04:00
Rob Rix
7dabb9a972
Use a list literal. 2019-10-03 13:50:47 -04:00
Rob Rix
70c309aaec
Tweak to alignment. 2019-10-03 13:43:21 -04:00
Rob Rix
867a65c575
Don’t print L1/R1. 2019-10-03 02:50:42 -04:00
Rob Rix
70b24a476d
Define a GToSExpression instance for :.:. 2019-10-03 02:42:08 -04:00
Rob Rix
feac508bb5
Update Precise.hs 
Define a GToSExpression instance for Rec1.
 2019-10-03 02:40:44 -04:00
Rob Rix
4b0ec75528
Define a GToSExpression instance for Par1. 2019-10-03 02:39:22 -04:00
Rob Rix
48cf558a72
Define ToSExpression at * -> *. 2019-10-03 02:38:01 -04:00
Rob Rix
310e3a36ee
Use ambiguous types instead of proxies. 2019-10-03 02:29:36 -04:00
Rob Rix
8e9fe4e58a
Rename toSExpressionWithStrategy to toSExpression'. 2019-10-03 02:28:59 -04:00
Rob Rix
09070aaf33
Rename ToSExpressionWithStrategy to ToSExpressionBy. 2019-10-03 02:28:32 -04:00
Timothy Clem
5fbcca4fe4 Merge remote-tracking branch 'origin/master' into proto-lens 2019-10-02 13:49:32 -07:00
Timothy Clem
fccbe6aa58 Write out custom To/FromJSON instances 2019-10-01 14:17:18 -07:00
Rob Rix
5e1b21c773
Export ToSExpression. 2019-10-01 13:00:38 -04:00
Timothy Clem
c0cce3b13b First pass at switching from proto3 to proto-lens 2019-09-27 16:42:12 -07:00
Rob Rix
16d553167e
Revert "Add a little lambda calculus to toy with." 
This reverts commit 50813fd5047ad648c9169d03f238687a56ffec3c.
 2019-06-20 10:54:03 -04:00
Rob Rix
ccf8e1a7b9
Add a little lambda calculus to toy with. 2019-06-20 10:54:03 -04:00
Rob Rix
610acb7380
Indent/newline. 2019-06-20 10:54:03 -04:00
Rob Rix
1a1bfc3ca7
Generalize the Custom strategy over any Show-able type. 2019-06-20 10:54:03 -04:00
Rob Rix
bb54b3094d
Serialize field metadata. 2019-06-20 10:54:03 -04:00
Rob Rix
caeff71a33
Serialize fields. 2019-06-20 10:54:02 -04:00
Rob Rix
50b9298457
Serialize unit constructors. 2019-06-20 10:54:02 -04:00
Rob Rix
8e98f7eaed
Use advanced overlap to accommodate customizing for Text fields. 2019-06-20 10:54:02 -04:00
Rob Rix
b1d632fb2d
Serialize products. 2019-06-20 10:54:02 -04:00
Rob Rix
ca3101d432
Serialize sums. 2019-06-20 10:54:02 -04:00
Rob Rix
d15b031285
Prepend constructor names. 2019-06-20 10:54:01 -04:00
Rob Rix
4452c89a06
Serialize D1. 2019-06-20 10:54:01 -04:00
Rob Rix
0f54a5c506
Stub in a serialization class for generics over precise ASTs. 2019-06-20 10:54:01 -04:00
Rob Rix
a483615f21
Stub in a module for generic s-expression serialization of precise ASTs. 2019-06-20 10:53:48 -04:00
Timothy Clem
faa8c0f20c Nope 2019-01-18 12:37:31 -08:00
Timothy Clem
15643e1d4f Switch over ToCDiffRenderer (will fix the tests next) 2019-01-17 15:58:49 -08:00
Timothy Clem
43b6656f22 Serialize to proto as well for fun 2019-01-17 15:36:51 -08: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
Patrick Thomson
989d38f27d Update to LTS 12.12. 
The major bumps we get here are `algebraic-graphs` v0.2, which
contains a number of speed improvements, and the removal of the
`foundation` as a dependency.
 2018-10-09 01:06:55 -04:00
Patrick Thomson
85bc3dbda6 fix lints and bad imports 2018-07-13 11:59:45 -04:00
Rob Rix
8911ea7393 Pass a FormatStyle to runSerialize. 2018-05-24 09:02:55 -04:00
Rob Rix
8fb48d29a5 Add a FormatStyle datatype. 2018-05-24 08:59:53 -04:00
Rob Rix
f9266e01e4 Append newlines after Show output. 2018-05-23 09:27:39 -04:00
Rob Rix
d02a817725 🔥 SomeFormat. 2018-05-23 09:04:43 -04:00
Rob Rix
54a4f289f7 Produce colour output with the Show serializer. 2018-05-23 09:00:29 -04:00
Rob Rix
6c35dd77ce Add a flag to runSerialize to enable/disable colour output. 2018-05-23 08:57:24 -04:00
Rob Rix
24fc5ab8d8 JSON serialization appends a newline. 2018-05-14 15:04:06 -04:00
Rob Rix
a6124fa1a8 Add options to print branches by ConstructorName or by Show. 2018-05-14 11:46:11 -04:00
Rob Rix
a00a27b4e3 Pull a namedBranch helper back out of the ToSExpression instances. 2018-05-14 11:26:21 -04:00