1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Commit Graph

21374 Commits

Author SHA1 Message Date
Rob Rix
1f0bc214e6 Run unspecialized errors with a specialized handler. 2018-05-06 16:00:55 -04:00
Rob Rix
05baa63939 🔥 getUnspecialized. 2018-05-06 15:58:12 -04:00
Rob Rix
7f6c1ea5e2 Use a specialized handler for LoadError. 2018-05-06 15:57:19 -04:00
Rob Rix
996b5cbd43 Use a specialized handler for AddressError. 2018-05-06 15:55:18 -04:00
Rob Rix
97159dcfbe Kleisli composition. 2018-05-06 15:38:05 -04:00
Rob Rix
a1c5d96a93 Rephrase resume without the continuation. 2018-05-06 15:37:11 -04:00
Rob Rix
b984afc04e Move throwResumable & resume around. 2018-05-06 15:33:43 -04:00
Rob Rix
63269866fc Merge pull request #1811 from github/add-fastsum
Add the fastsum package as a dependency.
2018-05-06 15:23:37 -04:00
Rob Rix
bfd95c29f8 Allow evaluating to occur in non-final positions. 2018-05-06 15:14:57 -04:00
Rob Rix
32bdafe20e 🔥 EvaluatingEffects. 2018-05-06 15:12:55 -04:00
Rob Rix
d48349e54f Add a runEffect handler, wrapping relay. 2018-05-06 15:03:26 -04:00
Rob Rix
7d4db61f26 Add a handler for Fresh effects. 2018-05-06 14:57:03 -04:00
Rob Rix
66ab86463c Add a header above currentModule/currentPackage. 2018-05-06 14:49:54 -04:00
Rob Rix
fbfa61d2fc Add a helper to run an Effectful computation with no effects. 2018-05-06 14:47:06 -04:00
Rob Rix
3ad0b357c5 🔥 redundant constraints. 2018-05-06 14:44:46 -04:00
Rob Rix
6c161b1252 Use Evaluator’s definitions of runEvalModule/runEvalClosure. 2018-05-06 14:42:49 -04:00
Rob Rix
c8dd3bc718 Rename handleModulesWith to runEvalModule. 2018-05-06 14:42:17 -04:00
Rob Rix
c66ad597a3 Rename handleClosuresWith to runEvalClosure. 2018-05-06 14:42:05 -04:00
Rob Rix
6e54b67c1f Rename handleState to runState. 2018-05-06 14:28:19 -04:00
Rob Rix
2b5e62dc33 Rename handleReader to runReader. 2018-05-06 14:26:01 -04:00
Rob Rix
79e5f02108 Qualify Eff. 2018-05-06 14:16:40 -04:00
Rob Rix
0334ab0ded Rename the EvalModule/EvalClosure handlers. 2018-05-06 14:13:20 -04:00
Rob Rix
848543010d Handle LoopControl local to Evaluatable. 2018-05-06 14:12:41 -04:00
Rob Rix
8b679d0f80 Add a runLoopControl handler. 2018-05-06 14:09:05 -04:00
Rob Rix
bef772e398 Rename handleReturn back to catchReturn. 2018-05-06 14:07:04 -04:00
Rob Rix
5ab5e37c22 Continue with a value. 2018-05-06 14:05:50 -04:00
Rob Rix
1c8d4dedad We don’t need the Internal module here. 2018-05-06 13:53:59 -04:00
Rob Rix
d308e3743a 🔥 a redundant renaming. 2018-05-06 13:53:36 -04:00
Rob Rix
07d55d9be2 🔥 Interpreter. 2018-05-06 13:52:34 -04:00
Rob Rix
bd997d8564 Handle Return locally to evalTerm. 2018-05-06 13:50:58 -04:00
Rob Rix
5034140fc7 Define an eliminator for Return effects. 2018-05-06 13:50:44 -04:00
Rob Rix
1b1a58b458 Move the LoadStack API into Evaluatable. 2018-05-06 13:38:44 -04:00
Rob Rix
93e9f11491 Move the LoadStack effect into Evaluatable. 2018-05-06 13:36:49 -04:00
Rob Rix
a937e0dad1 Reformat Located. 2018-05-06 13:30:28 -04:00
Rob Rix
4c5734452a 🔥 the termInfo parameter from Located. 2018-05-06 13:29:05 -04:00
Rob Rix
30b8002394 🔥 Origin altogether. 2018-05-06 13:25:28 -04:00
Rob Rix
b9a57e40bf Unpack the package & module info. 2018-05-06 13:17:14 -04:00
Rob Rix
8e8c3b8476 Align the fields of Origin. 2018-05-06 13:16:51 -04:00
Rob Rix
5038d11b8e Reformat Origin. 2018-05-06 13:16:30 -04:00
Rob Rix
89efff7346 Represent Origin as an even simpler triple. 2018-05-06 13:15:55 -04:00
Rob Rix
a1c9822a87 Represent Origin as a simple triple. 2018-05-06 13:07:40 -04:00
Rob Rix
c0b9a812a1 SomeOrigin doesn’t do anything fancy with the term type. 2018-05-06 12:37:30 -04:00
Rob Rix
2185705636 Use the caching/converging analyses for typechecking. 2018-05-06 12:21:51 -04:00
Rob Rix
34c5f21214 Correct a 📝 in Util. 2018-05-06 12:14:58 -04:00
Rob Rix
7d18c7d9a5 🔥 liftHandlerOverSubtermAlgebra. 2018-05-06 12:11:46 -04:00
Rob Rix
e3c996f45d 🔥 a redundant signature. 2018-05-06 12:09:44 -04:00
Rob Rix
731aed5b3c Move withPrelude into the where clause. 2018-05-06 12:09:16 -04:00
Rob Rix
5a9b64db34 Fix up Semantic.Util. 2018-05-06 12:08:19 -04:00
Rob Rix
88f64e7301 Specialize evaluating. 2018-05-06 12:08:09 -04:00
Rob Rix
3a2ba0b631 Generalize resumingBadModuleResolutions. 2018-05-06 12:04:29 -04:00