github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 13:51:44 +03:00
Code Issues Projects Releases Wiki Activity
27,791 Commits 19 Branches 16 Tags 46 MiB
6eb1fe3403
Commit Graph

57 Commits

Author SHA1 Message Date
Patrick Thomson
6eb1fe3403 WIP 2019-03-04 12:54:21 -05:00
Patrick Thomson
8285c3f680 WIP 2019-03-04 12:00:19 -05:00
Rob Rix
fe9f0b0aeb 🔥 a redundant hlint annotation. 2018-11-05 09:49:34 -05:00
Rob Rix
d477db7813 Terminate on the first result. 2018-10-29 11:58:33 -04:00
Rob Rix
1eacd39c0c Reformat the Carrier signature a little more. 2018-10-29 11:19:31 -04:00
Rob Rix
65b7707f46 Define diffing as an effect. 2018-10-29 11:01:41 -04:00
Rob Rix
a66788c682 Only re-export Generic/Generic1. 2018-10-12 17:54:57 -04:00
Timothy Clem
a6ad3f7f59 Reduce usage of DiffAnnotation 2018-09-25 16:52:40 -05:00
Timothy Clem
0a837dfb97 Expose stripDiff 2018-09-25 11:18:10 -05:00
Timothy Clem
9b641b4a4a The end of Record fields 2018-09-24 17:14:52 -05:00
Timothy Clem
38a4bb38f2 WIP - replace Record across the project 
Not quiet there with Diff and decorators yet
 2018-09-21 13:46:25 -07:00
Patrick Thomson
bdd75e6e7c Add export lists to modules missing them. 2018-07-19 14:45:04 -04:00
Rick Winfrey
7e9847489c Unicode NBSP characters ruffle tree-sitter's leaves 2018-06-20 14:31:27 -07:00
Rob Rix
c7e8419e29 Placate hlint. 2018-05-30 18:56:50 -04:00
Rob Rix
54150552b3 Merge branch 'master' into 🔥-galign 2018-05-29 08:53:37 -04:00
Rob Rix
f38d2520e5 Define an Ord instance for Label. 2018-05-16 16:17:57 -04:00
Rob Rix
067b354cb3 Define an Eq instance for Label. 2018-05-16 16:17:26 -04:00
Rob Rix
90b81d5ae9 Define a Show instance for Label. 2018-05-16 16:16:50 -04:00
Rob Rix
62175f9da6 Use Hashable1 instances for the syntax for RWS. 2018-05-16 16:02:13 -04:00
Rob Rix
367c450502 Define a Label type abstracting over Hashable1 syntax. 2018-05-16 15:59:11 -04:00
Rob Rix
f362f28049 Derive the Hashable instance for Gram. 2018-05-16 15:58:35 -04:00
Rob Rix
79e044154e Rename some more type parameters. 2018-05-16 14:38:13 -04:00
Rob Rix
e6c75a3c2c Reformat the signature for pqGramDecorator. 2018-05-16 14:37:23 -04:00
Rob Rix
d2742a25ae Rename a bunch more type parameters to spell out the syntax type. 2018-05-16 14:37:06 -04:00
Rob Rix
6baaadcc17 Compute labels over the syntax alone. 2018-05-16 14:36:33 -04:00
Rob Rix
867f133000 Reformat the signature for defaultFeatureVectorDecorator. 2018-05-16 14:32:14 -04:00
Rob Rix
e2923ae537 Spell out the syntax type parameter. 2018-05-16 14:30:37 -04:00
Rob Rix
0d86e6a64e Define diffTermPair using these. 2018-05-15 18:29:04 -04:00
Rob Rix
cf756afc4a Move diffTermPair into Diffing.Interpreter. 2018-05-14 13:30:35 -04:00
Rob Rix
44c250bcf3 Use type applications instead of proxies when calling apply. 2018-05-02 12:13:01 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Rob Rix
4459b26b0b Tidy up the language extensions. 2018-04-09 16:22:24 -04:00
Rob Rix
0a282c63a0 We know this can’t happen but ghc does not. 2018-04-09 16:21:44 -04:00
Rob Rix
1dafdb27c4 🔥 some redundant GAlign constraints. 2018-04-09 16:13:46 -04:00
Rob Rix
f30460d36d Use tryAlignWith in the interpreter. 2018-04-09 16:12:38 -04:00
Rob Rix
a5f9cef5be Use tryAlignWith in RWS. 2018-04-09 16:12:10 -04:00
Rob Rix
bd17eaa282 Define tryAlignWith in Diffable. 2018-04-09 16:11:55 -04:00
Patrick Thomson
9d5ace795b Take a pass at fixing/silencing linter hints. 
Since @charliesome was expressing trouble with keeping custom infix
operator precedence straight (a very fair complaint, and one that I
have trouble with too), I thought it best to make sure that master
builds with clean hlints. I propose we make CI check that `hlint src`
executes cleanly.
 2018-03-20 10:41:53 -04:00
Timothy Clem
247b13831c We should fix these, but I'm not confident about how to do that... 2018-03-16 13:22:49 -07:00
Timothy Clem
fa0c72fb14 Remove some more redundant constraints 2018-03-16 10:56:15 -07:00
Josh Vera
786c92d94a Merge branch 'master' into prologue 2018-02-28 12:36:29 -05:00
Patrick Thomson
7652d2f4a0 Keep the => on the subsequent line. 2018-02-28 09:07:56 -08:00
Patrick Thomson
7df92c2828 Comment fixes to ensure stack haddock works. 
There were a couple of typeclasses that were bamboozling the Haddock
parser. I was able to fix `subalgorithmFor`, but the vaguaries of
per-argument comments in type families appear to have escaped me—if
you can figure out how to get them picked up in the definition of
AssignmentParser, shout. I tried it all the ways I could think of and
came up empty.

But now we have nice Haddocks, which are intensely helpful!
 2018-02-28 09:03:41 -08:00
joshvera
9963f4a2b0 expose Monoid typeclass 2018-02-28 11:27:25 -05:00
joshvera
766f960e91 Add some more modules 
Control.Exception
Don't import all of Data.Monoid newtypes
 2018-02-27 18:13:25 -05:00
joshvera
dec2f2b22e Add more modules 
MonadError
GHC.Stack
Data.Hashable
Data.These
Data.Functor.Classes.Generic
Data.Traversable
Control.Arrow
Both
GAlign
Mergeable
Bifoldable
Bitraversable
 2018-02-27 17:43:50 -05:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
Rob Rix
96c94e7672 iterFreer’s algebra takes the continuation & instruction in the opposite order. 2017-12-13 09:18:42 -08:00
Rob Rix
d2cb077ddc Don’t assign parent labels to grams. 2017-12-01 17:07:03 -05:00
Rob Rix
99f3633060 Generalize featureVectorDecorator to accept any Hashable label. 2017-12-01 17:00:40 -05:00