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,403 Commits 19 Branches 16 Tags 46 MiB
781c80e34e
Commit Graph

18403 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
5e4a8e7549 Merge branch 'eval-effect' into algebraic-evaluation 2018-02-27 09:32:58 -05:00
Rob Rix
93c0559fce Define the eval signatures in terms of RAlgebra. 2018-02-27 09:28:09 -05:00
Rob Rix
da4e45189e Align some comments. 2018-02-27 09:26:52 -05:00
Rob Rix
74d7ca7df2 Factor Base out of the algebra synonyms. 2018-02-27 09:26:05 -05:00
Timothy Clem
ab5e620991 extract a helper function 2018-02-26 15:54:19 -08:00
Timothy Clem
bc364910ce Document these effects 2018-02-26 15:53:58 -08:00
Timothy Clem
d4127150b2 Pick one linker strategy for now 2018-02-26 15:50:33 -08:00
Timothy Clem
d370863c41 Collapse down to a couple of linker strategies 2018-02-26 15:50:05 -08:00
Timothy Clem
16a4341505 Removing holding onto val in Interface 2018-02-26 15:49:13 -08:00
Rob Rix
7175b74588 Note that para eval precludes customized evaluation. 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-02-26 17:09:43 -05:00
Rob Rix
a99f97854d Express Evaluatable as an R-algebra. 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-02-26 17:07:24 -05:00
Timothy Clem
ca21d42399 Didn't mean to commit this 2018-02-23 15:59:47 -08:00
Timothy Clem
4969e32dd0 Sort of allow import from syntax in micro python 2018-02-23 15:58:11 -08:00
Timothy Clem
8e57f7f731 Another linker/loader strategy 2018-02-23 15:12:28 -08:00