github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 18:23:44 +03:00
Code Issues Projects Releases Wiki Activity
20,733 Commits 19 Branches 16 Tags 46 MiB
1c1fda485c
Commit Graph

20733 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
1c1fda485c 🔥 a language extension. 2018-04-24 11:49:04 -04:00
Rob Rix
ba52638f40 🔥 maybeFail. 2018-04-24 11:48:43 -04:00
Rob Rix
3e3f21c1d7 Use maybeM in Data.Scientific.Exts to fail parsing. 2018-04-24 11:48:39 -04:00
Rob Rix
812adece0f 🔥 all the MonadFail instances. 
We can still fail using `raise (fail …)`, but it’s less convenient now.
 2018-04-24 11:45:35 -04:00
Rob Rix
61452e8978 Spacing. 2018-04-24 11:37:06 -04:00
Rob Rix
d1adb3939f Differentiate between unallocated and uninitialized addresses. 2018-04-24 11:34:13 -04:00
Rob Rix
5fa6dc28ea 🔥 MonadFresh. 2018-04-24 11:16:35 -04:00
Rob Rix
b311764651 Clean up some more language extensions. 2018-04-24 11:06:43 -04:00
Rob Rix
d3af580585 Clean up the language extensions. 2018-04-24 11:06:31 -04:00
Rob Rix
889e984403 Don’t export the lenses. 2018-04-24 11:04:38 -04:00
Rob Rix
56f8f19964 Add section comments for each group of functions. 2018-04-24 11:04:29 -04:00
Rob Rix
84e9106696 🔥 MonadEnvironment. 2018-04-24 11:02:44 -04:00
Rob Rix
1adaef0833 🔥 MonadHeap. 2018-04-24 10:54:53 -04:00
Rob Rix
00b7c917aa 🔥 MonadModuleTable. 2018-04-24 10:50:11 -04:00
Rob Rix
ca84598b92 🔥 MonadControl. 2018-04-24 10:46:53 -04:00
Rob Rix
f16bf3e5ac Weaken the conditions on the MonadEvaluator & MonadAnalysis instances for Evaluating. 2018-04-24 10:43:42 -04:00
Rob Rix
d79d17768b 🔥 the lens helpers in Evaluating. 2018-04-24 10:37:24 -04:00
Rob Rix
3039dcf8d0 🔥 a couple of redundant membership constraints on the origin. 2018-04-24 10:36:32 -04:00
Rob Rix
2688eee324 🔥 a redundant membership constraint. 2018-04-24 10:36:21 -04:00
Rob Rix
4978c8ce24 Define a single, universal instance of MonadModuleTable. 2018-04-24 10:34:50 -04:00
Rob Rix
7d39812ea3 Define a single, universal instance of MonadHeap. 2018-04-24 10:30:21 -04:00
Rob Rix
b109fcd51f Define a single, universal instance of MonadEnvironment. 2018-04-24 10:27:59 -04:00
Rob Rix
880e5a6db1 Correct the functional dependency for MonadEnvironment. 2018-04-24 10:26:46 -04:00
Rob Rix
ddc06e6aeb Define a single MonadControl instance once and for all. 2018-04-24 10:23:20 -04:00
Rob Rix
035c606dca Move EvaluatingState into Evaluator and rename to EvaluatorState. 2018-04-24 10:18:14 -04:00
Rob Rix
584f3a7fc8 Sort the membership constraints. 2018-04-24 10:12:37 -04:00
Rob Rix
ed8bfe488b Sort the language extensions around a little. 2018-04-24 10:10:17 -04:00
Rob Rix
489d09d7b2 Document the exported exception functions. 2018-04-24 10:06:49 -04:00
Rob Rix
47ba9a6d2b 🔥 a couple of dependencies on EvaluatingState. 2018-04-24 10:00:37 -04:00
Rob Rix
ac46e338f9 🔥 MonadExc & MonadResume. 2018-04-23 19:38:21 -04:00
Rob Rix
7e3cad0783 🔥 some PolyKinds. 2018-04-23 19:13:17 -04:00
Rob Rix
09c21259a2 Parameterize all the typeclasses by the effect type. 2018-04-23 19:12:55 -04:00
Josh Vera
d381721530 Merge pull request #1763 from github/revert-parens-fix 
Remove explicit Paren node from syntax trees.
 2018-04-23 12:06:17 -04:00
Patrick Thomson
1ffded4cd3 Merge branch 'master' into revert-parens-fix 2018-04-23 11:35:52 -04:00
Patrick Thomson
f7bde7cd25 Merge pull request #1760 from github/charliesome/return-exc 
Use non-resumable exception for ControlThrow
 2018-04-23 11:26:28 -04:00
Patrick Thomson
aee2d3494b Merge branch 'master' into revert-parens-fix 2018-04-23 11:20:14 -04:00
Patrick Thomson
af847899d9 Merge branch 'master' into charliesome/return-exc 2018-04-23 11:10:26 -04:00
Patrick Thomson
97a9ce718d Merge pull request #1758 from github/applicative-do 
Use applicative do notation when parsing CLI arguments
 2018-04-23 11:09:21 -04:00
Patrick Thomson
6f63463269 Remove explicit Paren node from syntax trees. 
As @robrix pointed out, adding explicit parenthesis nodes to our ASTs
bloats them with no added gain in expressivity. A pretty-printing
solution should use something analogous to `showsPrec` to ensure that
parentheses are printed properly.
 2018-04-23 11:00:10 -04:00
Patrick Thomson
33353d2800 Add a comment for Exc's RunEffect instance. 2018-04-23 10:44:34 -04:00
Timothy Clem
b41ee2df8e Appease hlint 2018-04-23 11:54:21 +10:00
Timothy Clem
35fb6c52b3 Give Exc a RunEffect instance 2018-04-23 11:54:21 +10:00
Charlie Somerville
2e21ecfd16 make ControlThrow a non-resumable exception 2018-04-23 11:54:20 +10:00
Charlie Somerville
c3b7458fe7 rename MonadThrow to MonadResume 2018-04-23 11:44:29 +10:00
Charlie Somerville
41fd599843 rename throwException to throwResumable, resumeException to resume 2018-04-23 11:44:29 +10:00
joshvera
4c3114957e remove path dependency 2018-04-20 17:28:40 -04:00
joshvera
00f41170c2 Use ApplicativeDo notation in arguments parser 2018-04-20 16:45:48 -04:00
joshvera
4c62bb9940 Add path 2018-04-20 15:06:27 -04:00
joshvera
17d2e4a13d Merge remote-tracking branch 'origin/master' into project-dir 2018-04-20 14:24:29 -04:00
Josh Vera
48e2b6bc7f Merge pull request #1756 from github/charliesome/return 
Implement early return
 2018-04-20 13:58:14 -04:00