github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity
26,057 Commits 19 Branches 16 Tags 46 MiB
148eb81d51
Commit Graph

26057 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
148eb81d51 Diffing.Algorithm no longer exports Empty. 2018-10-29 11:01:52 -04:00
Rob Rix
65b7707f46 Define diffing as an effect. 2018-10-29 11:01:41 -04:00
Rob Rix
5bf4479597 🔥 a stray LambdaCase. 2018-10-29 10:26:56 -04:00
Rob Rix
f8001765e0 Fix a dodgy import. 2018-10-29 09:59:29 -04:00
Rob Rix
636eec364e Update to fused-effects, replace \/ with handleSum and bundle Interpose. 2018-10-29 09:52:48 -04:00
Rob Rix
1b507fc5c0 Inline runValueEffects into evaluate. 2018-10-26 13:38:20 -04:00
Rob Rix
2734b380fc Move graphingModuleInfo above eavesdrop. 2018-10-26 13:12:51 -04:00
Rob Rix
2fd8bcad92 🔥 some unused language extensions. 2018-10-26 13:11:20 -04:00
Rob Rix
66d5a1dfe8 Run nondeterminism locally in flow-sensitive analysis. 2018-10-26 13:03:14 -04:00
Rob Rix
f0925ad0cf 📝 evaluate. 2018-10-26 13:00:37 -04:00
Rob Rix
55df272a2a 📝 evalTerm. 2018-10-26 12:58:30 -04:00
Rob Rix
33f20e0cf5 📝 runValueEffects. 2018-10-26 12:56:13 -04:00
Rob Rix
141ed75d40 Don’t export ModuleC/ValueC. 2018-10-26 12:54:35 -04:00
Rob Rix
77675e1b80 Rename analyzeTerm to perTerm. 2018-10-26 12:52:30 -04:00
Rob Rix
b5ae015260 Inline the definition of evalModule into evaluate. 2018-10-26 12:51:59 -04:00
Rob Rix
485cbfdcfe Inline the definition of runInModule into evalModule. 2018-10-26 12:47:23 -04:00
Rob Rix
cb19a79fad Run python packaging. 2018-10-26 12:40:26 -04:00
Rob Rix
4aae4db57d Implement python packaging directly in the carrier. 2018-10-26 12:37:26 -04:00
Rob Rix
197ef61386 Rename the carrier to PythonPackagingC. 2018-10-26 12:30:49 -04:00
Rob Rix
37d4fea7b2 Simplify the carrier for runPythonPackaging. 2018-10-26 12:30:06 -04:00
Rob Rix
24660fca31 Rename runInTerm to runValueEffects. 2018-10-26 12:24:37 -04:00
Rob Rix
6cf82efb50 Factor runInTerm out of evalModule. 2018-10-26 11:39:47 -04:00
Rob Rix
cc09615b7b Inline the definition of evaluateModules into evaluate. 2018-10-26 10:27:05 -04:00
Rob Rix
bfb3b8a352 Rename the type parameters relating to the outer context. 2018-10-26 10:18:25 -04:00
Rob Rix
2b9d751aad Factor the prelude definition into runInTerm. 2018-10-26 10:17:19 -04:00
Rob Rix
8fce4184f6 Merge branch 'master' into decompose-evaluate 2018-10-25 23:18:02 -04:00
Rob Rix
915c7f5c61 🔥 the Eavesdrop effect. 2018-10-25 23:13:47 -04:00
Rob Rix
2a600ee28a Give a type signature for evalModule. 2018-10-25 23:10:37 -04:00
Rob Rix
3979ea4e86 🔥 disjunction. 2018-10-25 22:56:08 -04:00
Rob Rix
d4c6edb156 🔥 Disjunction. 2018-10-25 22:54:00 -04:00
Rob Rix
bc08525229 Don’t specialize disjunction. 2018-10-25 22:50:16 -04:00
Rob Rix
40cb8c75eb Merge pull request #2224 from github/higher-order-effects 
Higher-order effects
 2018-10-25 22:44:11 -04:00
Rob Rix
5c6801a272 Parameterize evaluate by a function running all the effects. 2018-10-25 22:23:47 -04:00
Rob Rix
52ed317fe6 Treat the prelude as a sort of a module. 2018-10-25 21:52:37 -04:00
Rob Rix
ce407d1c9e Move a bunch of the evaluation machinery to Semantic.Analysis. 2018-10-25 21:40:37 -04:00
Rob Rix
1414df368d Define a high-level Semantic.Analysis module. 2018-10-25 21:31:38 -04:00
Rob Rix
830fde2104 Simplify evaluate to take the term evaluator. 2018-10-25 21:22:22 -04:00
Rob Rix
428d92788b Sort a couple of constraints down. 2018-10-25 21:13:28 -04:00
Rob Rix
b738dcc12b Run effects in module analysis. 2018-10-25 21:03:51 -04:00
Rob Rix
64df59c4bf Extract evalTerm. 2018-10-25 20:55:07 -04:00
Rob Rix
127282e6ce Merge branch 'master' into higher-order-effects 2018-10-25 20:53:10 -04:00
Rob Rix
097af57735 Factor the interposes into a runInTerm helper. 2018-10-25 17:34:04 -04:00
Rob Rix
4cad9bc45e Re-export Control.Abstract.ScopeGraph from Control.Abstract. 2018-10-25 16:42:53 -04:00
Rick Winfrey
bd2d9885dd Merge pull request #2231 from github/ci-updates 
Upgrade to Stack 1.9.1 and LTS 12.13
 2018-10-25 13:27:21 -07:00
Rick Winfrey
e2dc609e4a Merge branch 'master' into ci-updates 2018-10-25 11:23:55 -07:00
Rob Rix
8a3d7ba927 Don’t be clever. 2018-10-25 13:48:47 -04:00
Rob Rix
c625efd9c5 Extract the fold over modules to the top level. 2018-10-25 13:47:07 -04:00
Rob Rix
df10f93bcd Extract runInModule to the top level. 2018-10-25 13:44:28 -04:00
Rob Rix
70a3a58034 Merge branch 'higher-order-effects' into decompose-evaluate 2018-10-25 13:32:43 -04:00
Rob Rix
8b4e133b1c Move the license into the correct dir. 2018-10-25 13:29:21 -04:00