82 Commits

Author	SHA1	Message	Date
joshvera	1036b3a4d7	addImportHole adds an additional VoidL edge	2020-02-05 21:29:37 -05:00
joshvera	0bc0a638b3	document addImportEdge	2020-02-05 21:11:15 -05:00
joshvera	a47186f38d	add a base case for importEdge	2020-02-05 21:06:58 -05:00
joshvera	66ee2cf54d	use addImportHole internally	2020-02-05 21:04:03 -05:00
joshvera	596ac8da54	Label the edge to the import instead of the last hole	2020-02-05 20:44:04 -05:00
joshvera	b8eaf61863	Rename effect to ScopeGraph	2020-02-05 19:49:50 -05:00
joshvera	5044f41e41	lookupReference docs	2020-02-05 19:49:39 -05:00
joshvera	c3c707cd6a	Lookup scopes while adding import edges ... otherwise create intermediate scopes	2020-02-05 19:49:32 -05:00
joshvera	d023a5e007	Set the last import hole label to Void	2020-02-05 19:48:19 -05:00
joshvera	f927f0b8c0	Rename Sketch effect to a ScopeGraph effect	2020-02-05 19:46:58 -05:00
joshvera	2413590790	add addImportEdge and addImportHole	2020-02-05 18:35:44 -05:00
joshvera	b95a575ae2	Change insertEdge to take 1 edge	2020-02-05 18:03:53 -05:00
joshvera	e6460394e8	Create Import edge paths in Import statements	2020-01-30 17:06:34 -05:00
joshvera	5a1b5e6f54	Remove extra import	2020-01-29 13:21:35 -05:00
joshvera	97e37762eb	Merge remote-tracking branch 'origin/master' into function-scopes	2020-01-29 13:21:26 -05:00
joshvera	c707d3e11f	Merge remote-tracking branch 'origin/master' into function-scopes	2020-01-29 12:29:31 -05:00
Josh Vera	d9e4f42006	Merge branch 'master' into function-scopes	2020-01-28 16:41:50 -05:00
joshvera	46d3e91a73	fix tests and start initial scope from lowerBound/Fresh 1	2020-01-28 16:28:24 -05:00
Patrick Thomson	b5179ff3e5	Need a lowerBound call here.	2020-01-28 15:30:00 -05:00
Patrick Thomson	9c251161d3	Merge fallout.	2020-01-28 15:14:39 -05:00
Patrick Thomson	953473088d	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-28 15:07:05 -05:00
Patrick Thomson	9ecaeedcc3	Depend on newer semantic-source.	2020-01-28 12:42:42 -05:00
joshvera	1f18eea5d1	qualify names	2020-01-23 14:10:55 -05:00
joshvera	b2155fd244	Delete comments	2020-01-23 14:08:48 -05:00
joshvera	690cdf0f82	Wrap gensym in SketchC ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-01-23 14:08:34 -05:00
joshvera	46b242aaf2	Pass in props in declare and reference	2020-01-23 14:08:12 -05:00
joshvera	afe3c0dfec	Add IsString instance to Name	2020-01-22 17:21:08 -05:00
joshvera	5358e75a69	Add withScope	2020-01-22 16:37:23 -05:00
joshvera	6021611a32	Merge remote-tracking branch 'origin/master' into function-scopes	2020-01-22 15:53:55 -05:00
Patrick Thomson	627b8eab5d	stylish	2020-01-21 15:52:34 -05:00
Patrick Thomson	d3bf192e24	Consolidate Scope constructors. ... Best practice here is for record types to have a single constructor, and to use their constituent fields to indicate any difference of identity. Small readability wins are nice.	2020-01-21 15:10:57 -05:00
joshvera	ba28805bf0	export declareMaybeName	2020-01-21 13:33:20 -05:00
Patrick Thomson	fb26d76137	Merge branch 'semantic-scope-graph' into name-name-go-away	2020-01-17 11:28:51 -05:00
Patrick Thomson	b3abb671f3	📝 Sketchbook.	2020-01-17 11:19:18 -05:00
Patrick Thomson	7dacb55e35	🔥 Data.Name.	2020-01-17 11:01:59 -05:00
Patrick Thomson	14c68c407d	Move what was Data.Name into Analysis.Name.	2020-01-17 10:57:35 -05:00
Patrick Thomson	726dec2ea6	Update the copyright year.	2020-01-15 17:01:08 -05:00
Patrick Thomson	23431cffb0	Otiose forall and type constraint.	2020-01-15 16:54:27 -05:00
Patrick Thomson	b7c5989463	Give ToScopeGraph's module a more standard name.	2020-01-15 16:16:45 -05:00
Patrick Thomson	27f39c2fa1	:note: some declarations.	2020-01-15 16:15:12 -05:00
Patrick Thomson	e381adaeb0	build the effect in terms of Reader and Fresh.	2020-01-15 15:36:57 -05:00
joshvera	34a8eb77d6	WIP function-scopes	2020-01-15 15:01:16 -05:00
Patrick Thomson	d5bec1bf7a	No more orphan instances.	2020-01-15 15:00:01 -05:00
joshvera	5ea07633d2	Failing reference test	2020-01-14 18:08:10 -05:00
Patrick Thomson	65b0894eef	stylish pass	2020-01-14 15:36:07 -05:00
Patrick Thomson	489093e99d	this file wasn't anything	2020-01-14 15:32:47 -05:00
Patrick Thomson	760c52e04f	Clean up some instances	2020-01-14 15:28:04 -05:00
Patrick Thomson	ae4ca650e8	Persist todo entries.	2020-01-14 15:18:56 -05:00
Patrick Thomson	1a9c229dd5	no need for this	2020-01-14 15:14:46 -05:00
Patrick Thomson	90ca2c8b3f	it works!	2020-01-14 14:44:08 -05:00