107 Commits

Author	SHA1	Message	Date
joshvera	a1e00b3504	Fix ImportStatement	2020-02-11 15:50:59 -05:00
joshvera	284912ad21	Remove extra reference call in tests	2020-02-11 12:56:47 -05:00
Patrick Thomson	7715fd46a9	Remove the ScopeGraph effect and define it with a constraint kind.	2020-02-11 12:30:19 -05:00
joshvera	9be4d16eef	Add State constraint to ToScopeGraph	2020-02-07 22:22:46 -05:00
joshvera	4a2275a68b	Rename to newEdge	2020-02-07 22:22:31 -05:00
joshvera	bce4e81741	Add Reader effect to ScopeGraph type	2020-02-07 22:22:24 -05:00
joshvera	095ea82a91	Imports	2020-02-07 22:22:13 -05:00
joshvera	9a9d8a9d3b	Remove old currentScope	2020-02-07 22:21:52 -05:00
joshvera	c148941e13	Add newReference	2020-02-07 22:21:39 -05:00
joshvera	6ea34352e4	Add HasSpan to Reference	2020-02-07 22:20:02 -05:00
joshvera	59e12e2ccc	add newReference	2020-02-07 22:19:51 -05:00
joshvera	392742961f	docs	2020-02-07 18:30:28 -05:00
joshvera	c3e8a15b81	Update Reference ... should probably remove ReferenceInfo?	2020-02-07 18:10:33 -05:00
joshvera	0ac1ce55e1	Add newReference	2020-02-07 18:04:59 -05:00
Patrick Thomson	06e8c6ecaa	Break up Data.ScopeGraph and reorg semantic-scope-graph.	2020-02-07 15:08:33 -05:00
joshvera	58198d5647	remove L suffix from EdgeLabel.Void	2020-02-06 17:39:37 -05:00
joshvera	ff3e6973f9	also redundant	2020-02-06 15:33:18 -05:00
joshvera	a8871b69eb	stylish-haskell	2020-02-06 14:53:41 -05:00
joshvera	ff1d8a73ab	Merge remote-tracking branch 'origin/master' into import-holes	2020-02-06 14:53:32 -05:00
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
Patrick Thomson	1672c57768	Move over Function and Reference properties.	2020-02-03 11:19:54 -05:00
Patrick Thomson	4bfbd5407e	Move DeclProperties to ScopeGraph.Properties.Declaration.	2020-02-03 11:11:21 -05:00
Patrick Thomson	f68cadc388	Merge remote-tracking branch 'origin/master' into the-locative-case	2020-01-31 15:13:50 -05:00
Josh Vera	64cc956ed8	Remove declareFunction stub	2020-01-31 13:44:42 -05:00
Patrick Thomson	45c81efd2c	Preserve Python AST span information in scope graph. ... - [ ] Depends on #451.	2020-01-31 13:11:59 -05:00
joshvera	e6460394e8	Create Import edge paths in Import statements	2020-01-30 17:06:34 -05:00
Josh Vera	5b7384c25a	Update semantic-scope-graph/src/Control/Effect/Sketch.hs ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2020-01-29 13:31:49 -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