26989 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Patrick Thomson	0d361e9b0b	Add ZSuper syntax node (#2292) ... Previously, invocations of `super` were captured as an `Identifier`. It is straightforward enough to return a ZSuper instead.	2018-12-07 12:21:32 -05:00
Rob Rix	ba2cabc979	Revert "Abbreviate the Effect instance for Modules." ... This reverts commit d51f3ec67b35c1ed460617b5561016afa30ae9ec.	2018-12-07 11:46:05 -05:00
Rob Rix	d82d0ad584	Revert "Rename resolve to resolvePaths." ... This reverts commit 6c2cd2a6c9a56956b6d6bae61510939b21f25080.	2018-12-07 11:46:01 -05:00
Rob Rix	3c2a4241e8	Rename resolve to ref.	2018-12-07 11:45:29 -05:00
Rob Rix	23e3a688f7	Resolve MemberAccesses.	2018-12-07 11:40:11 -05:00
Rob Rix	3fd19e07d8	Specialize resolve for Identifier.	2018-12-07 11:32:13 -05:00
Rob Rix	260a44e7a0	Constrain callers of resolve a little further.	2018-12-07 11:31:25 -05:00
joshvera	8dbdc7ded2	Remove comments	2018-12-07 11:29:35 -05:00
Rob Rix	ca6fad7c06	resolve returns in Maybe.	2018-12-07 11:01:46 -05:00
Rob Rix	f59cdd394b	Add a resolve method to Evaluatable with a (bad) default definition.	2018-12-07 10:34:40 -05:00
Rob Rix	adffd6b9c4	Rename resolve to resolvePaths.	2018-12-07 09:52:20 -05:00
Rob Rix	5189c1204a	Abbreviate the Effect instance for Modules.	2018-12-07 09:48:58 -05:00
joshvera	c39ed82293	Remove PHP NamespaceName instance	2018-12-06 17:30:30 -05:00
joshvera	ec83947033	Remove PHP Namespace instance	2018-12-06 17:30:03 -05:00
joshvera	6688380c15	Remove comments	2018-12-06 17:29:55 -05:00
joshvera	1b23d1d0dd	Merge remote-tracking branch 'origin/master' into heap-frames	2018-12-06 16:32:38 -05:00