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

18417 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
463f2a4ae9 Remove redundant constraints from the Evaluatable instance for []. 2018-02-27 17:23:02 -05:00
Rob Rix
b6e7163c5b Generalize the Evaluatable instance to Call over the value type. 2018-02-27 17:19:00 -05:00
Rob Rix
1a795af3b6 Abstract application into AbstractFunction. 2018-02-27 17:17:06 -05:00
Rob Rix
7a648c1625 Generalize the Evaluatable instance for Declaration.Method. 2018-02-27 16:56:03 -05:00
Rob Rix
f44f32c883 Generalize the Evaluatable instance for Declaration.Function to any value type. 2018-02-27 16:55:09 -05:00
Rob Rix
7a8466c695 Use AbstractFunction to evaluate Declaration.Function. 2018-02-27 16:51:44 -05:00
Rob Rix
8003abbcd9 Note a FIXME in AbstractFunction. 2018-02-27 16:51:13 -05:00
Rob Rix
09288fa4fd Abstraction uses Subterm. 2018-02-27 16:50:12 -05:00
Rob Rix
518848a6e8 Abstract abstraction. 2018-02-27 16:48:08 -05:00
Rob Rix
898c80a9b9 🔥 a redundant AbstractValue constraint. 2018-02-27 16:40:34 -05:00
Rob Rix
9ef5d8d234 Move the AbstractValue constraint into Evaluatable. 2018-02-27 16:13:22 -05:00
Rob Rix
8a0e203aef Rename es to effects. 2018-02-27 16:11:19 -05:00
Rob Rix
08df6a2f46 Rename v to value. 2018-02-27 16:11:00 -05:00
Rob Rix
f8a2d24ab2 Parameterize AbstractValue by the term type. 2018-02-27 16:09:13 -05:00
Rob Rix
41a441648a Parameterize Type by the term type. 2018-02-27 16:07:18 -05:00
Rob Rix
d67fed1201 Move the FreeVariables constraint into Evaluatable. 2018-02-27 14:41:56 -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
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
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