1
1
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Commit Graph

21203 Commits

Author SHA1 Message Date
joshvera
a56512a5ac Merge remote-tracking branch 'origin/master' into caller-origin 2018-04-27 11:40:47 -04:00
Timothy Clem
a5cc587b85 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-27 07:59:06 -07:00
Timothy Clem
d2b47533f7 Fix up test 2018-04-27 07:56:59 -07:00
Timothy Clem
5c8be10bd5 Rename to just File 2018-04-27 07:48:47 -07:00
Rob Rix
a13c684d89 📝 LoopControl. 2018-04-27 10:23:12 -04:00
Rob Rix
499dfe3e92 📝 Return. 2018-04-27 10:23:08 -04:00
Rob Rix
0720ee9267 A tidy module header is a happy module header. 2018-04-27 10:11:54 -04:00
Rob Rix
173645a48b 🔥 readFileVerbatim. 2018-04-27 10:10:43 -04:00
Rob Rix
2fc2090e02 Move ValueError & throwValueError into Data.Abstract.Value. 2018-04-27 10:09:03 -04:00
Rob Rix
33d68f9d8d Treat breaks as an effect. 2018-04-27 10:00:07 -04:00
Rob Rix
2d8d27f645 Treat continues as an effect. 2018-04-27 09:48:18 -04:00
Rob Rix
54f6c64764 Add a heading for the effects. 2018-04-27 09:44:05 -04:00
Rob Rix
ef4ad20252 Show an error message for uncaught returns. 2018-04-27 09:35:22 -04:00
Rob Rix
e7daba2677 Note the semantics of resuming uncaught returns. 2018-04-27 09:34:03 -04:00
Rob Rix
97c76c7fdc Rename ReturnThrow to Return, and use it as an effect. 2018-04-27 09:26:40 -04:00
Charlie Somerville
2cc2b2d8a0 Merge pull request #1761 from github/charliesome/environment-semigroup
Remove Semigroup, Reducer, and Monoid instances for Environment
2018-04-27 12:56:15 +10:00
Charlie Somerville
3fc8dc39c8 emptyEnv -> Empty.empty 2018-04-27 12:54:14 +10:00
Charlie Somerville
a33526008e fix up doctest 2018-04-27 12:42:33 +10:00
Charlie Somerville
7cdb2625fd fix tests 2018-04-27 12:04:48 +10:00
Charlie Somerville
647f9780c0 rename mappend/(<>) to mergeEnvs 2018-04-27 12:04:48 +10:00
Charlie Somerville
68b8a2742a mempty -> emptyEnv 2018-04-27 12:04:48 +10:00
Charlie Somerville
eed957c45e remove Reducer instance for Environment 2018-04-27 12:04:12 +10:00
Charlie Somerville
c6df0ed81b use Empty.empty rather than mempty 2018-04-27 12:04:12 +10:00
Charlie Somerville
42da6d8c06 makeNamespace only needs to take Maybe value, not [value] 2018-04-27 12:04:12 +10:00
Charlie Somerville
eb327d7f06 ruby only supports single inheritance 2018-04-27 12:04:12 +10:00
Charlie Somerville
0b65bee955 exports: rewrite toEnvironment in terms of toList/unpairs 2018-04-27 12:04:12 +10:00
Charlie Somerville
644c08df93 clarify overwrite comment 2018-04-27 12:04:12 +10:00
Charlie Somerville
7687122202 environment: add unpairs function 2018-04-27 12:04:12 +10:00
Charlie Somerville
270bc8acbf environment: implement bind, overwrite in terms of mapMaybe and fromList 2018-04-27 12:04:12 +10:00
Charlie Somerville
bf021b0ae5 implement Data.Empty for Environment 2018-04-27 12:04:12 +10:00
Timothy Clem
2d74919599 This is un-used now 2018-04-26 13:50:23 -07:00
Timothy Clem
da89a11fae Introduce place to put all these directives 2018-04-26 13:43:49 -07:00
Timothy Clem
15e1b6c505 Remove this 2018-04-26 13:43:29 -07:00
Timothy Clem
08600b4155 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-26 13:23:42 -07:00
Rob Rix
8ebf1e99f3 🔥 the origin field of EvaluatorState. 2018-04-26 14:49:00 -04:00
Rob Rix
41eea6bd4f Move LoopThrow & ReturnThrow into Evaluator. 2018-04-26 14:44:01 -04:00
Rob Rix
7d065b44ed Move pushOrigin into Evaluator. 2018-04-26 14:43:29 -04:00
Rob Rix
13f0b40b0e Merge pull request #1781 from github/analyses-provide-and-handle-effects
Analyses provide and handle effects
2018-04-26 14:41:08 -04:00
Rob Rix
f125327edd Revert "Simplify the types of analyzeModule & analyzeTerm."
This reverts commit 84588f712ba21ebf90af0a34ba1a50834e61aacf.
2018-04-26 14:35:55 -04:00
Rob Rix
94678b4501 Revert "Define an Evaluator newtype which can run Eval effects."
This reverts commit f771979a461f748be6d92c917f9a0543a1996f3d.
2018-04-26 14:33:23 -04:00
Rob Rix
cee5480d74 Reformat the signature for variable. 2018-04-26 11:36:01 -04:00
Rob Rix
ac15c4fd78 🔥 ImportGraphingWithHoles. 2018-04-26 11:35:33 -04:00
Rob Rix
adb5549677 Alphabetize. 2018-04-26 10:58:58 -04:00
Rob Rix
6581f4c6c0 Define an Evaluator newtype which can run Eval effects. 2018-04-26 10:57:24 -04:00
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -04:00
Rob Rix
fc33283327 Swap the parameters to Interpreter. 2018-04-26 10:15:06 -04:00
Rob Rix
9f91b23be7 🔥 a redundant constraint.
The scoped type variables are now necessary to ensure that the type parameters can be applied in the correct order.
2018-04-26 09:30:41 -04:00
Rob Rix
400f8bbe00 Revert "Add an Evaluator datatype wrapping some effectful interpreter."
This reverts commit d7f51ce22355dd93e4c073a50871d04732f9a616.
2018-04-26 09:18:53 -04:00
Rob Rix
339b1e3d5f 🔥 a redundant constraint. 2018-04-26 09:15:16 -04:00
Rob Rix
ac1edc76b7 Simplify the types of analyzeModule & analyzeTerm. 2018-04-26 09:13:59 -04:00