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,648 Commits 19 Branches 16 Tags 46 MiB
257a068b3c
Commit Graph

18648 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
ecbfd71a1c Reformat evaluateTerm. 2018-03-02 12:11:28 -05:00
Rob Rix
ed4c2a9361 📝 Evaluation. 2018-03-02 10:58:29 -05:00
Rob Rix
91cfe37bc7 🔥 the Analysis.Abstract.TypeInference module. 2018-03-02 10:56:04 -05:00
Rob Rix
ce294d9181 📝 Evaluator. 2018-03-02 10:41:36 -05:00
Rob Rix
62189a026e Derive the various instances for Evaluator. 2018-03-02 10:41:31 -05:00
Rob Rix
e44db3982e 📝 the MonadEvaluator methods. 2018-03-02 10:36:05 -05:00
Rob Rix
293df42d58 📝 MonadEvaluator. 2018-03-02 10:32:50 -05:00
Rob Rix
bf5ea51747 📝 abstract & apply. 2018-03-02 10:30:21 -05:00
Rob Rix
0071b25ba7 📝 MonadFunction. 2018-03-02 10:28:29 -05:00
Rob Rix
59afa36269 📝 MonadAnalysis. 2018-03-02 10:21:10 -05:00
Rob Rix
57eb8648ba 🔥 the term parameter from Type. 2018-03-02 10:17:38 -05:00
Rob Rix
9740758d01 Stub in a module for a type inference analysis. 2018-03-02 10:15:18 -05:00
Rob Rix
479f6d2992 📝 DeadCodeAnalysis. 2018-03-02 10:14:23 -05:00
Rob Rix
dcc0d5e607 Rename Evaluating to EvaluationEffects. 2018-03-02 10:12:38 -05:00
Rob Rix
79e94ab7ee Rename DeadCodeEvaluating to DeadCodeEffects. 2018-03-02 10:12:03 -05:00
Rob Rix
cadd1463e5 Rename DeadCodeEvaluation to DeadCodeAnalysis. 2018-03-02 10:10:57 -05:00
Rob Rix
928e3e4421 📝 evaluateDead. 2018-03-02 10:10:02 -05:00
Rob Rix
a76027926d Include the root term. 2018-03-01 17:20:59 -05:00
Rob Rix
f9797594e6 Derive Eq, Ord, & Show instances for Subterm. 2018-03-01 17:11:22 -05:00
Rob Rix
5f35fb6397 Don’t list the Data.Abstract.Value exports explicitly. 2018-03-01 16:57:47 -05:00
Rob Rix
5199bebf39 Merge branch 'master' into evaluatable-simplification 2018-03-01 16:55:18 -05:00
Rob Rix
64aaf40b2f Punt on evaluating Program nodes. 
@tclem’s work in #1517 is revising all of this so this will do for now.
 2018-03-01 16:54:04 -05:00
Rob Rix
e20339bfdd 🔥 a TODO. 2018-03-01 16:35:40 -05:00
Rob Rix
a8d16aa05a Rejigger the imports a little. 2018-03-01 16:33:45 -05:00
Rob Rix
73a5bcec3d Simplify import evaluation. 2018-03-01 16:31:48 -05:00
Rob Rix
dcc332a75b Move require/load into Data.Abstract.Evaluatable. 2018-03-01 16:30:26 -05:00
Rob Rix
106819c39e Simplify the derived MonadEvaluator instance for Evaluation. 2018-03-01 16:11:56 -05:00
Rob Rix
e1b1ceb11c Reformat some signatures. 2018-03-01 16:11:04 -05:00
Rob Rix
8234ce9e63 🔥 some redundant constraints. 2018-03-01 16:10:02 -05:00
Rob Rix
e6abde9dfc Sort the Ord constraints down. 2018-03-01 16:08:43 -05:00
Rob Rix
244e1c2ad7 🔥 the orphan MonadAnalysis instance. 2018-03-01 16:07:28 -05:00
Rob Rix
e1a45b9997 🔥 the MonadDead module. 2018-03-01 16:06:56 -05:00
Rob Rix
ab9e129778 Define dead code evaluation with a MonadAnalysis instance. 2018-03-01 16:04:58 -05:00
Rob Rix
b148b6535c Comment the store and failure effects. 2018-03-01 15:35:42 -05:00
Rob Rix
3424a6069c Align some comments. 2018-03-01 15:33:54 -05:00
Rob Rix
32bb45f52c Use Evaluation in evaluate/evaluates. 2018-03-01 15:32:32 -05:00
Rob Rix
7ceb6d6370 Derive a MonadEvaluator instance for Evaluation. 2018-03-01 15:32:21 -05:00
Rob Rix
788b4f5195 Derive a MonadFail instance for Evaluation. 2018-03-01 15:26:59 -05:00
Rob Rix
32abdb5bf5 ConstraintKinds is not used here. 2018-03-01 15:21:09 -05:00
Rob Rix
052c1fdbb3 Define a MonadAnalysis instance for Evaluation. 2018-03-01 15:20:02 -05:00
Rob Rix
4d37770f7e Derive Functor, Applicative, and Monad instances for Evaluation. 2018-03-01 15:19:48 -05:00
Rob Rix
3ed51834fa Define an Evaluation newtype. 2018-03-01 15:19:32 -05:00
Rob Rix
9638c64024 eval definitions have MonadAnalysis available. 2018-03-01 15:14:15 -05:00
Rob Rix
db751ae06b Re-export the Control.Abstract.Function module. 2018-03-01 15:13:13 -05:00
Rob Rix
5c26fb3091 Move MonadFunction into its own module. 2018-03-01 15:12:40 -05:00
Rob Rix
74277a8ea8 🔥 a FIXME. 2018-03-01 15:09:36 -05:00
Rob Rix
32609034a0 Abstract load/require over the term evaluator. 2018-03-01 15:08:58 -05:00
Rob Rix
c2a60138c6 Re-export MonadAnalysis. 2018-03-01 15:07:54 -05:00
Rob Rix
be1eeb6f2c MonadAnalysis has functional dependencies. 2018-03-01 15:06:26 -05:00
Rob Rix
3b3e6ef5a0 Move the constraints into the instances. 2018-03-01 15:06:01 -05:00