26904 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7688f05e7f	Use a lazy pattern match in evalTerm.	2018-12-10 12:07:20 -05:00
Rob Rix	2599cfa60d	Move the do block up.	2018-12-10 11:55:17 -05:00
Rob Rix	96949fd9fb	🔥 a redundant import.	2018-12-10 11:38:33 -05:00
Rob Rix	3d962c40c7	defineBuiltIn already returns ().	2018-12-10 11:38:07 -05:00
Rob Rix	fa950f3239	🔥 Data.Abstract.Ref.	2018-12-10 11:37:00 -05:00
Rob Rix	a53e883b55	🔥 value.	2018-12-10 11:36:27 -05:00
Rob Rix	8e585284f6	Specialize ref for Sum.	2018-12-10 11:33:27 -05:00
Rob Rix	240fea3ca8	Specialize ref for TermF.	2018-12-10 11:33:07 -05:00
Rob Rix	799fe67107	Spacing.	2018-12-10 11:27:05 -05:00
Rob Rix	85ad3230be	Simplify a few Evaluatable instances.	2018-12-10 11:12:04 -05:00
Rob Rix	13e584ce5a	🔥 a bunch of redundant case expressions.	2018-12-10 11:08:07 -05:00
Rob Rix	381cdcb951	🔥 redundant parens.	2018-12-10 11:01:23 -05:00
Rob Rix	e58d2d7cf2	Evaluate MemberAccess using ref.	2018-12-10 11:01:14 -05:00
Rob Rix	2c21e347c2	🔥 a redundant return.	2018-12-10 10:54:41 -05:00
Rob Rix	75b633b499	Don’t re-export ValueRef.	2018-12-10 10:49:43 -05:00
Rob Rix	c8682806ef	🔥 a redundant import.	2018-12-10 10:48:34 -05:00
Rob Rix	cde42e1c64	Spacing.	2018-12-10 10:48:25 -05:00
Rob Rix	e0bd50a328	ReferenceError can be resumed with a slot.	2018-12-10 10:45:42 -05:00
Rob Rix	4cfbfec03c	🔥 QualifiedImportError.	2018-12-10 10:41:49 -05:00
Rob Rix	4b7fb3dead	🔥 rvalBox.	2018-12-10 10:39:30 -05:00
Rob Rix	a839a19b54	🔥 some redundant imports of ValueRef.	2018-12-10 10:38:52 -05:00
Rob Rix	2acb4d0c28	🔥 an obsolete comment.	2018-12-10 10:38:44 -05:00
Rob Rix	fb4b254e5c	define returns in unit.	2018-12-10 10:37:38 -05:00
Rob Rix	a2b6a27005	Defining built-ins returns in unit.	2018-12-10 10:36:51 -05:00
Rob Rix	7587536d4d	Avoid constructing a ValueRef.	2018-12-10 10:36:02 -05:00
Rob Rix	17541d6b3e	Analyze to values.	2018-12-10 10:34:17 -05:00
Rob Rix	dd2ef7bbdb	Evaluate to values.	2018-12-10 10:29:41 -05:00
Rob Rix	826da6d8ca	Pass eval an evaluator producing values.	2018-12-10 10:12:09 -05:00
Rob Rix	e7f8a88905	Evaluate TypeScript.JSX.RequiredParameter using ref.	2018-12-10 09:55:50 -05:00
Rob Rix	e305f1e18e	Evaluate Ruby.Assignment using ref.	2018-12-10 09:54:51 -05:00
Rob Rix	8caee1226d	Evaluate Statement.Assignment using ref.	2018-12-10 09:53:12 -05:00
Rob Rix	0adaad3ba0	Evaluate Expression.Delete using ref.	2018-12-10 09:52:51 -05:00
Rob Rix	3d2ced84c3	Make ref throw the error.	2018-12-10 09:51:08 -05:00
Rob Rix	03fda04500	Compose in the other direction.	2018-12-10 09:46:39 -05:00
Rob Rix	f96fb53501	Factor out the kleisli composition.	2018-12-10 09:46:05 -05:00
Rob Rix	9116072186	Make the ref parameter throw on failure.	2018-12-10 09:44:54 -05:00
Rob Rix	e0e8b1b566	Add a RefError constructor to EvalError.	2018-12-10 09:42:34 -05:00
Rob Rix	4c59a6bafa	eval takes a reference evaluator.	2018-12-10 09:32:02 -05:00
Rob Rix	231e0f81b7	Give eval a dummy parameter.	2018-12-07 16:16:23 -05:00
Rob Rix	0cf03b6abe	Give ref an extra parameter for the slot-recurrence function.	2018-12-07 16:00:53 -05:00
Rob Rix	4e18bd6a40	Simplify the open-recursion since our host language is call-by-need.	2018-12-07 15:55:35 -05:00
Rob Rix	0b36f9bad1	Module results hold values.	2018-12-07 15:23:03 -05:00
Rob Rix	111b9ec1c9	Fix up the evaluator spec.	2018-12-07 15:20:55 -05:00
Rob Rix	76537758fc	Generalize graphingTerms over the result type.	2018-12-07 15:02:48 -05:00
Rob Rix	9acacd0716	runFunction takes an evaluator producing values.	2018-12-07 14:49:37 -05:00
Rob Rix	df4413f2a4	Calls return values.	2018-12-07 14:46:41 -05:00
Rob Rix	a51e5f67c1	They do.	2018-12-07 14:33:45 -05:00
Rob Rix	80ce9ab357	Functions return values.	2018-12-07 14:30:47 -05:00
Rob Rix	ed073ba245	While operates on values, not ValueRefs.	2018-12-07 12:59:01 -05:00
Rob Rix	36a7c31166	LoopControl operates on values, not ValueRefs.	2018-12-07 12:52:51 -05:00