27155 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
joshvera	18388a66ee	Add AbstractHole constraint	2018-12-07 18:16:32 -05:00
joshvera	486e50469a	Use undefined'	2018-12-07 18:16:24 -05:00
joshvera	c0b1bdaf08	Add New instance	2018-12-07 17:57:30 -05:00
joshvera	283284e91e	Add ConstructorError and ScopedEnvError	2018-12-07 17:57:20 -05:00
joshvera	04e257991a	declaredName of New is its subject	2018-12-07 17:31:59 -05:00
joshvera	9586b476fd	Assign New changes ... and add MetaProperty	2018-12-07 17:31:44 -05:00
Patrick Thomson	0ec20373b7	Merge branch 'master' into ruby-zsuper	2018-12-07 17:29:24 -05:00
joshvera	0ecd0a7e0b	++haskell-tree-sitter	2018-12-07 17:12:03 -05:00
joshvera	f8bc55f9f2	++haskell-tree-sitter	2018-12-07 17:02:58 -05:00
joshvera	3bff825368	Add test files for new expressions	2018-12-07 16:55:38 -05:00
joshvera	59be0c0e00	Improve liftDeclaredName instance for Calls	2018-12-07 16:55:27 -05:00
joshvera	1d49437996	Remove a.ts from test ... This test doesn't use it	2018-12-07 16:55:01 -05:00
Douglas Creager	1137afe717	Merge branch 'master' into bump-grpc-haskell	2018-12-07 16:40:34 -05:00
Rob Rix	231e0f81b7	Give eval a dummy parameter.	2018-12-07 16:16:23 -05:00
Rob Rix	7e62e90439	Merge branch 'master' into heap-frames	2018-12-07 16:10:26 -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
Rob Rix	09d616788e	Return holds a value, not a ValueRef.	2018-12-07 12:38:16 -05:00