github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
18,458 Commits 19 Branches 16 Tags 46 MiB
cec9e584e2
Commit Graph

18458 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
cec9e584e2 🔥 some commented-out imports. 2018-03-01 10:16:20 -05:00
Rob Rix
9cedb403bd 🔥 redundant imports. 2018-03-01 10:03:45 -05:00
Rob Rix
8c51acec71 Reformat the context for the AbstractFunction instance for values. 2018-03-01 10:02:58 -05:00
Rob Rix
9192a35b06 Merge branch 'eval-effect' into algebraic-evaluation 2018-03-01 09:56:12 -05:00
Rob Rix
6245e30c1c Revert "Abstract over the top-level analysis." 
This reverts commit d6d2a3d23ce3de9a4c2578e105bf6a096443eb7d.
 2018-03-01 09:41:42 -05:00
Rob Rix
05c78f6aea Abstract over the top-level analysis. 2018-03-01 09:41:38 -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
Rob Rix
244f4722b6 🔥 a redundant import. 2018-02-28 14:29:28 -05:00
Rob Rix
0d62ca76f7 🔥 redundant Ord constraints. 2018-02-28 14:28:21 -05:00
Rob Rix
e0f5e3693c Simplify the default instance. 2018-02-28 14:20:57 -05:00
Rob Rix
6501431dea 🔥 the effect list parameter from Evaluatable. 2018-02-28 14:14:45 -05:00
Rob Rix
e8cecb4e5f Evaluator is a newtype. 2018-02-28 14:09:29 -05:00
Rob Rix
7198c506be Evaluate in terms of Evaluator. 2018-02-28 14:09:06 -05:00
Rob Rix
965053dba1 The module table holds terms, not evaluators. 2018-02-28 14:01:40 -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
Rob Rix
f99972622a Define a local modifier for the module evaluator table. 2018-02-28 10:57:38 -05:00
Rob Rix
48389d716b Define a getter for the module evaluator table. 2018-02-28 10:50:02 -05:00
Rob Rix
d624686807 Define a modifier for the module table. 2018-02-28 10:48:55 -05:00
Rob Rix
3f1db36e64 Define a getter for the module table. 2018-02-28 10:48:21 -05:00
Rob Rix
df4b54ed11 Add the linker effects to Evaluator. 2018-02-28 10:47:13 -05:00
Rob Rix
a78089032e Define a modifier for the store. 2018-02-28 10:42:39 -05:00
Rob Rix
93ad93e55c Define a getter for the store. 2018-02-28 10:42:34 -05:00
Rob Rix
6ad1d024f2 Define local modification to the environment. 2018-02-28 10:42:27 -05:00
Rob Rix
55a2b3f8dc Define a getter for the local environment. 2018-02-28 10:42:10 -05:00
Rob Rix
c092e9033c Define a modifier for the global environment. 2018-02-28 10:41:59 -05:00
Rob Rix
37912b315a Define a getter for the global environment. 2018-02-28 10:41:51 -05:00
Rob Rix
772fd97b38 Define a MonadFresh instance for Evaluator. 2018-02-28 10:41:38 -05:00
Rob Rix
b9ac2858ec Define a MonadFail instance for Evaluator. 2018-02-28 10:41:28 -05:00
Rob Rix
57f478a5ac Define a Monad instance for Evaluator. 2018-02-28 10:41:17 -05:00
Rob Rix
93c8562adb Define an Alternative instance for Evaluator. 2018-02-28 10:41:06 -05:00
Rob Rix
0f52481729 Define an Applicative instance for Evaluator. 2018-02-28 10:40:50 -05:00
Rob Rix
054b4d5bc2 Define a Functor instance for Evaluator. 2018-02-28 10:40:41 -05:00
Rob Rix
d9ddce8b5e Define an Evaluator datatype. 2018-02-28 10:40:07 -05:00
Rob Rix
d1350fa43a Stub in a module defining evaluators. 2018-02-28 10:21:16 -05:00
Rob Rix
781c80e34e 🔥 some redundant Show constraints. 2018-02-28 09:41:36 -05:00
Rob Rix
984cd782d8 Explicitly list the Data.Abstract.Value exports. 2018-02-28 09:28:12 -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