21351 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	c92ba91068	🔥 redundant imports.	2018-05-06 11:52:44 -04:00
Rob Rix	5f50cca09d	🔥 a redundant constraint.	2018-05-06 11:52:38 -04:00
Rob Rix	2e375d782f	Provide the current module’s info.	2018-05-06 11:52:15 -04:00
Rob Rix	23a5021ab0	Use the ModulePath synonym in ModuleInfo.	2018-05-06 11:44:34 -04:00
Rob Rix	cf49300f84	Move evaluateEntryPoint into the where clause.	2018-05-06 11:30:02 -04:00
Rob Rix	000fbdf628	Rename MonadEvaluatable to EvaluatableConstraints.	2018-05-06 11:27:25 -04:00
Rob Rix	c8fb246cac	Evaluate entry points in a context which can handle closures.	2018-05-06 11:26:35 -04:00
Rob Rix	3c743f8d33	Evaluatable instances don’t need to call evaluateClosureBody directly, so 🔥 the constraint.	2018-05-06 11:21:16 -04:00
Rob Rix	d5b5c8379e	Spacing.	2018-05-06 11:20:56 -04:00
Rob Rix	d5586210c2	Don’t export MonadEvaluatable.	2018-05-06 11:13:45 -04:00
Rob Rix	fe08bc82af	Generalize the types of resolveWithNodejsStrategy, resolveRelativePath, resolveNonRelativePath, resolveTSModule, and evalRequire.	2018-05-06 11:08:00 -04:00
Rob Rix	80c493710b	Generalize the types of resolveRubyName, resolveRubyPath, doRequire, and doLoad.	2018-05-06 10:58:07 -04:00
Rob Rix	97c6cb0036	Generalize the types of resolvePHPName and include.	2018-05-06 10:50:33 -04:00
Rob Rix	edee168de2	Generalize the type of resolveGoImport.	2018-05-06 10:47:13 -04:00
Rob Rix	9e948ee7d3	🔥 a bunch of unnecessary quantifiers.	2018-05-06 10:44:59 -04:00
Rob Rix	b4185865c2	ResolutionError doesn’t need its value parameter.	2018-05-06 10:42:30 -04:00
Rob Rix	0c30d16898	Generalize the type of resolvePythonModules.	2018-05-06 10:37:21 -04:00
Rob Rix	5e37b9e440	Reformat the signature of resolvePythonModules.	2018-05-06 10:31:48 -04:00
Rob Rix	73620308d5	Generalize the type of evaluateInScopedEnv.	2018-05-06 10:31:05 -04:00
Rob Rix	6f810134f3	Generalize the type of listModulesInDir.	2018-05-06 10:28:02 -04:00
Rob Rix	f2b0b2e3e6	Generalize the type of resolve.	2018-05-06 10:27:37 -04:00
Rob Rix	8e005a593f	Simplify the default eval definition’s context.	2018-05-06 10:25:56 -04:00
Rob Rix	f993304817	Move Evaluatable to the top of the module.	2018-05-06 10:24:45 -04:00