1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Commit Graph

18414 Commits

Author SHA1 Message Date
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
joshvera
e32961edde Rename semantic-diff to semantic 2018-02-26 13:16:56 -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
Timothy Clem
1ac8765600 Three different linker strategies 2018-02-23 14:29:36 -08:00
Timothy Clem
2414184231 Little bit of cleanup to step 2018-02-23 14:29:13 -08:00
Timothy Clem
3772c1dde6 Whitespace 2018-02-23 14:28:51 -08:00
Timothy Clem
9862745b85 Little bit nicer lookupOrAlloc param ordering 2018-02-23 11:45:24 -08:00
Timothy Clem
9ca63c9cac Don't build these, we will bring them back in soon 2018-02-23 11:40:28 -08:00
Timothy Clem
3f364fe78f Remove MonadEnv 2018-02-23 11:35:58 -08:00
Timothy Clem
bae3f74e0f Move Evaluatable 2018-02-23 11:35:39 -08:00
Timothy Clem
22095cb73e s/MonadAddress/Addressable 2018-02-23 11:30:27 -08:00
Timothy Clem
da3b840953 Renamed to match usage 2018-02-23 11:16:07 -08:00
Timothy Clem
063fab5d17 Get rid of MonadStore entirely 2018-02-23 11:11:24 -08:00
Timothy Clem
b9b3c1bedd Pair down to a single, new Evaluatable 2018-02-23 11:11:13 -08:00
Timothy Clem
4d090bb085 Cleanup util a bit 2018-02-23 11:09:02 -08:00
Timothy Clem
31f15ef1d8 Clean up and document new evaluating API 2018-02-23 09:13:23 -08:00
Timothy Clem
545f6cb0cf DataKinds for now 2018-02-23 09:13:08 -08:00
Timothy Clem
6bfbc37c73 Remove Store2 2018-02-23 09:00:52 -08:00
Timothy Clem
6aba719d1e Remove debug tracing 2018-02-23 08:57:06 -08:00
Timothy Clem
0358e84a09 Cleanup imports 2018-02-23 08:57:00 -08:00
Timothy Clem
b94f8fdfa2 Evaluatable instance for Function 2018-02-23 08:56:48 -08:00
Timothy Clem
b5d3ddaf28 Clean up constraints 2018-02-23 08:56:06 -08:00
Timothy Clem
436edc5780 Evaluatable instance for Annotation 2018-02-23 08:55:03 -08:00
Timothy Clem
d5ee43da95 Evaluatable instance for Return 2018-02-23 08:54:45 -08:00
Timothy Clem
bd0cc0c027 Add a small version of Python to work with too 2018-02-23 08:54:26 -08:00
Timothy Clem
e5426e3744 Evaluate lots of ruby files 2018-02-22 16:34:30 -08:00
Timothy Clem
b9df69ffe4 Bring back evaluates 2018-02-22 16:24:22 -08:00
Timothy Clem
60c142a049 Fix this Import Evaluatable instance 2018-02-22 16:12:57 -08:00
Timothy Clem
48408b07cc Use the right require 2018-02-22 16:12:20 -08:00
joshvera
5343976142 Embed require with raiseEmbedded 2018-02-22 17:50:13 -05:00
joshvera
e7c4f6e4ae Evaluating has a linker effect 2018-02-22 16:31:07 -05:00
joshvera
d1bedfb793 Add require function that uses a Linker effect 2018-02-22 16:30:58 -05:00
joshvera
159cfae2d6 Add Eval instance for Import 2018-02-22 16:30:36 -05:00
joshvera
4dcf446661 remove docs 2018-02-22 16:01:50 -05:00
joshvera
af3e155c87 Just use EnvironmentFor type alias 2018-02-22 15:59:28 -05:00
joshvera
ad5826c93c Add Reader back 2018-02-22 15:51:03 -05:00
joshvera
e1135f56f9 Use localState with a proxy argument 2018-02-22 12:41:49 -05:00
joshvera
1826192c05 ++effects 2018-02-22 12:35:40 -05:00
joshvera
4dbffb0f17 Remove runEval and Eval effects
ProTip don't make effects around pure functions for no reason
2018-02-22 12:08:42 -05:00
joshvera
d719fbb165 Import Eval, runEval and Evaluatable in Control.Effect 2018-02-21 18:16:29 -05:00
joshvera
91ab51fcd9 Add Integer instance for Evaluatable 2018-02-21 18:15:35 -05:00
joshvera
51ff316305 Add Call instance for Evaluatable 2018-02-21 18:15:12 -05:00