github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity
18,418 Commits 19 Branches 16 Tags 46 MiB
be39373924
Commit Graph

18418 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
be39373924 Map Blobs to Blobs 2018-03-05 15:14:13 -05:00
joshvera
427ec2bdda ++proto3-suite 2018-03-02 13:39:25 -05:00
joshvera
17620cd0d2 ++grpc-haskell 2018-03-02 13:38:55 -05:00
joshvera
403ffe3ac5 Add proto3 repos as submodules 2018-03-02 13:07:09 -05:00
joshvera
9686e41c6e Add proto3-suite as a submodule 2018-03-01 17:39:51 -05:00
joshvera
39b8c122eb add grpc submodule 2018-03-01 17:04:21 -05:00
Josh Vera
cc06b848bb Merge pull request #1508 from github/rename-semantic 
Rename the project to semantic
 2018-03-01 11:50:38 -05:00
Josh Vera
aa79af7b8c Merge branch 'master' into rename-semantic 2018-03-01 11:41:07 -05:00
joshvera
41a538d7e1 Merge remote-tracking branch 'origin/master' into rename-semantic 2018-03-01 10:16:35 -05:00
Josh Vera
553e8ae700 Merge pull request #1511 from github/prologue 
Bring back Prologue
 2018-02-28 15:45:58 -05:00
joshvera
83e2ba56e5 Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 15:30:42 -05:00
joshvera
367cfc4f5c Remove Control.Monad.Effect.Store 2018-02-28 15:30:17 -05:00
joshvera
9aed1b5516 bring back ws 2018-02-28 15:30:17 -05:00
joshvera
c58f21ad81 Rename Assignment.Table toList to toPairs 2018-02-28 15:30:17 -05:00
Rob Rix
a485c48ed6 Merge pull request #1510 from github/algebraic-evaluation 
Algebraic evaluation
 2018-02-28 14:53:58 -05:00
Rob Rix
3bdb7df2c2 Merge branch 'master' into algebraic-evaluation 2018-02-28 14:47:04 -05:00
Josh Vera
786c92d94a Merge branch 'master' into prologue 2018-02-28 12:36:29 -05:00
joshvera
383fbf747b Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 12:19:06 -05:00
Patrick Thomson
17223e058a Merge pull request #1513 from github/haddock-fixes 
Comment fixes to ensure `stack haddock` works.
 2018-02-28 09:15:02 -08: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
654bbd26d6 Hide unless and when 2018-02-28 11:46:42 -05:00
joshvera
e2d30b286c sort 2018-02-28 11:33:24 -05: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
joshvera
0bb2866a83 Add MonadFail to Prologue 2018-02-27 16:33:47 -05:00
joshvera
1d63dff0e8 Import Prologue in Assignment.Table 2018-02-27 16:14:29 -05:00
Rob Rix
23f45dafc4 Destructure on the rhs. 2018-02-27 12:28:41 -05:00
Rob Rix
3b6e23974e Merge branch 'master' into algebraic-evaluation 2018-02-27 12:27:09 -05:00
joshvera
8f33a03b45 Add Algebra, Bifunctor, and ByteString to Prologue 2018-02-27 12:15:03 -05:00
joshvera
8ddaaa9d92 Add Foldable and NonEmpty to Prologue 2018-02-27 12:08:13 -05:00
joshvera
89914a3556 Stub out a Prologue with an implicit prelude 2018-02-27 12:04:05 -05:00
Timothy Clem
ddde99b33a Merge pull request #1506 from github/eval-effect 
Evaluate imports and major refactor to embrace Effects and streamline s/Eval/Evaluatable
 2018-02-27 08:55:08 -08:00
Rob Rix
4f5250bc95 Merge branch 'eval-effect' into algebraic-evaluation 2018-02-27 11:53:22 -05:00
Timothy Clem
87df66b2ba Merge branch 'master' into eval-effect 2018-02-27 08:49:43 -08:00
Timothy Clem
8903fbbecf Remove micro Ruby/Python 2018-02-27 08:23:13 -08:00
Rob Rix
0a18beb177 Merge branch 'algebraic-evaluation' into closures-embed-actions 2018-02-27 11:21:02 -05:00
Rob Rix
6229b3cab3 eval is a SubtermAlgebra. 2018-02-27 11:02:00 -05:00
Rob Rix
038d3ac683 📝 foldSubterms. 2018-02-27 10:55:36 -05:00
Rob Rix
c8d1ab596b Define a foldSubterms recursion scheme. 2018-02-27 10:54:59 -05:00
Timothy Clem
841f68816e Revert "Removing holding onto val in Interface" 
This reverts commit 948cf97aea91b0a122e4e2801348415d9aea1d42.
 2018-02-27 07:54:30 -08:00
Rob Rix
7142a35387 📝 Subterm. 2018-02-27 10:52:38 -05:00
Rob Rix
2f7194447b 📝 SubtermAlgebra. 2018-02-27 10:52:32 -05:00
Rob Rix
d5575078f2 Define a SubtermAlgebra type synonym. 2018-02-27 10:51:52 -05:00
Rob Rix
76e34bb422 Define a Subterm datatype. 2018-02-27 10:51:13 -05:00
joshvera
256f3ebea4 Add Prologue 2018-02-27 10:37:09 -05:00
Rob Rix
9c37a0e0bc Note some FIXMEs. 2018-02-27 09:50:01 -05:00
Rob Rix
77bc705fd0 Simplify how we evaluate program nodes. 2018-02-27 09:45:36 -05:00
Rob Rix
6a0c94ec82 🔥 step. 2018-02-27 09:39:20 -05:00