github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Code Issues Projects Releases Wiki Activity
18,730 Commits 19 Branches 16 Tags 46 MiB
34387b02e0
Commit Graph

11748 Commits

Author SHA1 Message Date
Rob Rix
34387b02e0 Add an evaluateModule method to MonadAnalysis. 2018-03-08 10:52:55 -05:00
Rob Rix
9fa05c9b61 Define a convenience for evaluating Python with dead code and tracing analyses. 2018-03-08 10:50:55 -05:00
Rob Rix
902f269847 evaluateDead returns an analysis. 2018-03-08 10:48:39 -05:00
Rob Rix
114c8a58ac Rename LiftEffect to Effectful. 2018-03-08 10:01:10 -05:00
Rob Rix
02347f7014 Rename Evaluation to Evaluating. 2018-03-08 10:00:31 -05:00
Rob Rix
bce888995a Abstract CachingAnalysis over the underlying analysis. 2018-03-07 21:50:44 -05:00
Rob Rix
45a0559400 Derive MonadFresh, Alternative, & MonadNonDet instances for Evaluation. 2018-03-07 21:50:28 -05:00
Rob Rix
66ea2f0c3e 🔥 a type annotation. 2018-03-07 21:26:59 -05:00
Rob Rix
9a3e0fe607 Rename a bunch of type parameters. 2018-03-07 21:26:44 -05:00
Rob Rix
5749c50302 Delegate the analysis of terms to the underlying analysis. 2018-03-07 21:20:16 -05:00
Rob Rix
271f3fb786 MonadAnalysis implies MonadEvaluator. 2018-03-07 21:19:05 -05:00
Rob Rix
8551034a1b Re-export Evaluator from Analysis. 2018-03-07 21:18:38 -05:00
Rob Rix
c3de4459aa 🔥 a redundant extension. 2018-03-07 21:15:15 -05:00
Rob Rix
fe7c2e66f8 🔥 redundant kind signatures. 2018-03-07 21:14:55 -05:00
Rob Rix
7e5deee2c3 Define TermFor & ValueFor as associated type families. 2018-03-07 21:14:09 -05:00
Rob Rix
7fbafef56c Move TermFor and ValueFor into Control.Abstract.Evaluator. 2018-03-07 21:12:20 -05:00
Rob Rix
b0f03a021f Spacing. 2018-03-07 21:09:28 -05:00
Rob Rix
c35b1f4f0c 🔥 a bunch of redundant language extensions. 2018-03-07 21:09:26 -05:00
Rob Rix
e71fac7493 🔥 the (wrong, bad) Generic1 instance. 2018-03-07 21:04:17 -05:00
Rob Rix
089b08edb3 🔥 Control.Newtype1. 2018-03-07 21:03:46 -05:00
Rob Rix
1c117beacd 🔥 the re-export of Newtype1. 2018-03-07 21:03:22 -05:00
Rob Rix
ad195fa0cc 🔥 the instance of Newtype1. 2018-03-07 21:03:15 -05:00
Rob Rix
7fb874e5eb Revert "Use -XDerivingStrategies to correct the instances." 
This reverts commit af43e435dc87bddf02fd9ccc99e2d08a3990fab3.
 2018-03-07 21:02:34 -05:00
Rob Rix
8ac41065ec Define delegateAnalyzeTerm using Coercible. 2018-03-07 21:02:21 -05:00
Rob Rix
7e6ff8674d Use delegateAnalysis. 2018-03-07 20:49:16 -05:00
Rob Rix
4226d0f259 Use -XDerivingStrategies to correct the instances. 2018-03-07 20:49:00 -05:00
Rob Rix
4945fdf575 Sort imports. 2018-03-07 20:41:57 -05:00
Rob Rix
35d82b2487 Give a default definition for O1. 2018-03-07 19:15:43 -05:00
Rob Rix
1de12b1119 Reformat the signature for delegateAnalyzeTerm. 2018-03-07 19:08:32 -05:00
Rob Rix
1b004925c4 Derive Generic1 & Newtype1 instances for TracingAnalysis. 2018-03-07 19:04:15 -05:00
Rob Rix
7215f499a0 Define a function delegating term analysis to an underlying MonadAnalysis instance. 2018-03-07 19:04:02 -05:00
Rob Rix
11360000cb Move Newtype1 into its own module. 2018-03-07 19:03:46 -05:00
Rob Rix
f4fcdfecf1 Stub in a module for Newtype1. 2018-03-07 19:02:16 -05:00
Rob Rix
f3ace5ca2a Give an instance of GNewtype1. 2018-03-07 19:00:41 -05:00
Rob Rix
e30a4d3f25 Define default implementations of pack1 and unpack1 for Generic1 types. 2018-03-07 18:56:50 -05:00
Rob Rix
9c49bb2f0c Define a generic Newtype1 analogue. 2018-03-07 18:56:35 -05:00
Rob Rix
d49d2860dd Define a Newtype1 typeclass. 2018-03-07 18:53:31 -05:00
Rob Rix
d0a464318e Format analyzeTerm over several lines. 2018-03-07 18:40:05 -05:00
Rob Rix
b9a6d1bda5 Give a tacit definition of trace. 2018-03-07 18:39:41 -05:00
Rob Rix
6b9ae3eb73 🔥 some redundant constraints. 2018-03-07 18:36:16 -05:00
Rob Rix
6ed41a911c Move the Ord constraint on the location into the class methods requiring it. 2018-03-07 18:35:56 -05:00
Rob Rix
704f09083f Abstract the dead code analysis over the underlying analysis. 2018-03-07 18:31:18 -05:00
Rob Rix
d6b04d9858 Rename a bunch of type parameters. 2018-03-07 18:14:45 -05:00
Rob Rix
176142b471 Pull subterms out to the top level. 2018-03-07 18:14:40 -05:00
Rob Rix
ccb66340fd Simplify the constraints on the MonadAnalysis instance. 2018-03-07 18:10:25 -05:00
Rob Rix
7d2cfbe918 🔥 evaluateTrace. 2018-03-07 18:06:15 -05:00
Rob Rix
19ae302c40 Define the tracePythonFile helper w/o evaluateTrace. 2018-03-07 18:05:53 -05:00
Rob Rix
3ec8d65126 🔥 a redundant constraint. 2018-03-07 18:01:44 -05:00
Rob Rix
8b43136fc8 Derive the MonadEvaluator instance directly. 2018-03-07 18:01:37 -05:00
Rob Rix
86fafc5abd Rename AnalysisTerm/Value to Term/ValueFor. 2018-03-07 17:48:20 -05:00