github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
30,332 Commits 19 Branches 16 Tags 46 MiB
e177ea7eab
Commit Graph

30332 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
7d0eb24bb7
🔥 a redundant language extension. 2019-10-08 16:08:22 -04:00
Rob Rix
e99116d030
Alignment. 2019-10-08 16:07:24 -04:00
Rob Rix
c98ab329a2
🔥 redundant parens. 2019-10-08 16:06:35 -04:00
Rob Rix
b8812623ce
Further purging of language extensions. 2019-10-08 16:04:20 -04:00
Rob Rix
5928991c72
🔥 a redundant import. 2019-10-08 16:02:29 -04:00
Rob Rix
36d8d4682b
Re-export :+:. 2019-10-08 16:02:18 -04:00
Rob Rix
b25c92bea0
Reformat the language extensions, I guess. 2019-10-08 16:00:42 -04:00
Rob Rix
d688109c81
🔥 DerivingStrategies. 2019-10-08 16:00:04 -04:00
Rob Rix
0206995e30
🔥 DeriveAnyClass. 2019-10-08 15:59:12 -04:00
Rob Rix
bfc998cdc0
🔥 a spurious MultiParamTypeClasses. 2019-10-08 15:58:26 -04:00
Patrick Thomson
73344620ee
Merge branch 'master' into remove-shelly 2019-10-08 15:55:52 -04:00
Patrick Thomson
eabfd53284 Redundant import. 2019-10-08 15:50:26 -04:00
Patrick Thomson
df9e272419 Some Evaluatable instances got nuked. 2019-10-08 15:50:07 -04:00
Rob Rix
29df1afb7b
Project using Prj. 2019-10-08 15:46:49 -04:00
Rob Rix
1aa33a2123
We don’t need DerivingVia now. 2019-10-08 15:46:04 -04:00
Rob Rix
a29670de49
🔥 GCompileSum. 2019-10-08 15:45:48 -04:00
Rob Rix
cb7ddc22a8
🔥 CompileSum. 2019-10-08 15:45:29 -04:00
Rob Rix
80b43c4009
Specialize the instance for :+:. 2019-10-08 15:45:08 -04:00
Rob Rix
1506aed1a7
Use GND for the PrimaryExpression instance. 2019-10-08 15:44:19 -04:00
Rob Rix
34bf5ad033
📝 ShowSum'. 2019-10-08 15:43:24 -04:00
Rob Rix
a2312d1185
📝 ShowSum. 2019-10-08 15:42:21 -04:00
Rob Rix
78cc4835fc
📝 the error case. 2019-10-08 15:41:20 -04:00
Rob Rix
5d4317031a
📝 the right-recursive instance. 2019-10-08 15:41:16 -04:00
Rob Rix
5242e394df
📝 the left-recursive instance. 2019-10-08 15:41:10 -04:00
Rob Rix
579e5792e8
📝 the reflexive instance. 2019-10-08 15:41:02 -04:00
Rob Rix
ea0a4c99b8
📝 Element'. 2019-10-08 15:40:54 -04:00
Rob Rix
acbb1e7cd5
📝 <>. 2019-10-08 15:40:48 -04:00
Rob Rix
607f8263a5
📝 Find'. 2019-10-08 15:40:41 -04:00
Rob Rix
83bead5840
📝 Find. 2019-10-08 15:40:34 -04:00
Rob Rix
abb6eff40f
📝 Side. 2019-10-08 15:40:28 -04:00
Rob Rix
31ba6be9d8
Note the custom error message. 2019-10-08 15:40:23 -04:00
Rob Rix
f27729ab14
Move the 'None instance up. 2019-10-08 15:39:08 -04:00
Rob Rix
3334ec81d3
🔥 OVERLAPPABLE. 2019-10-08 15:37:52 -04:00
Rob Rix
711ec1957d
📝 Prj. 2019-10-08 15:35:07 -04:00
Rob Rix
3051c8cace
Spacing. 2019-10-08 15:34:47 -04:00
Rob Rix
da227888ce
Rename Elem to Find. 2019-10-08 15:34:33 -04:00
Rob Rix
da890fa747
Redefine Element using a type family computing which side to recur on. 
This avoids having to reassociate the tree, which is considerably more expensive for balanced trees.
 2019-10-08 15:30:37 -04:00
Rob Rix
75ed50c574
List the imports from GHC.Generics. 2019-10-08 15:20:58 -04:00
Rob Rix
a307d0757a
Define a pattern synonym for matching out of sums. 2019-10-08 15:10:33 -04:00
Rob Rix
4e194a5943
📝 prj. 2019-10-08 15:08:37 -04:00
Rob Rix
ad1de17e64
📝 Element. 2019-10-08 15:08:17 -04:00
Rob Rix
49cba72090
Update semantic-java. 2019-10-08 15:04:00 -04:00
Patrick Thomson
b727562545 No reprinting spec necessary. 2019-10-08 15:03:34 -04:00
Patrick Thomson
3b4b9dc95e fix stray typo and remove spec invocations 2019-10-08 15:02:33 -04:00
Rob Rix
51e74b9b1e
Update semantic-python. 2019-10-08 15:01:34 -04:00
Rob Rix
5e3afdb2da
Revert "🔥 AST.Element for now." 
This reverts commit ad43b0c1a2.
 2019-10-08 14:45:21 -04:00
Patrick Thomson
693c317bf0 Remove experimental reprinting and rewriting facilities. 
As we shift to a precise, non-DTALC representation of language syntax,
the foundations upon which our (experimental) reprinting and rewriting
framework are becoming questionable. These experiments are not hooked
up anywhere (except the tests), constitute a considerable amount of
code, and are getting in the way of @robrix and myself lately.

I like a lot of this code, but if we're not using it, it's our moral
imperative to delete it, if only to reduce the carbon emissions
associated with our CI builds. We can always rescuscitate it from the
git history if we find ourselves wanting it back.
 2019-10-08 14:41:31 -04:00
Rob Rix
a67b67db6f
Merge branch 'master' into precise-json 2019-10-08 14:36:36 -04:00
Patrick Thomson
c33eed2da7
Merge pull request #317 from github/core-source-loc-name 
Use semantic-source in semantic-core & represent Name as a newtype
 2019-10-07 21:35:07 -04:00
Patrick Thomson
665429fa92 We have these JSON instances already. 2019-10-07 20:16:54 -04:00