476 Commits

Author	SHA1	Message	Date
Patrick Thomson	6a15695195	Even more unused imports.	2019-06-12 13:16:34 -04:00
Patrick Thomson	99c4bb21f8	Overhaul test harnesses and add tasty bounds.	2019-06-12 11:30:20 -04:00
Patrick Thomson	8e0962712e	legacyMakeBlob => makeBlob. Also unpack File.	2019-05-24 11:52:35 -04:00
Patrick Thomson	b8d3a06a67	Fix all the test cases.	2019-05-21 22:28:32 -04:00
Timothy Clem	8b9bc575b6	Fix up tests	2019-03-25 13:14:04 -07:00
Patrick Thomson	079ce8baa0	Eliminate other places where These leaked to implementation.	2019-03-01 11:52:21 -05:00
joshvera	e7ea1aa204	Fix Alias and Import instances	2019-02-08 15:47:03 -05:00
Rick Winfrey	84f4ebbf89	Don't shadow tiers method ... Co-Authored-By: Rob Rix <robrix@github.com>	2019-01-31 11:35:30 -08:00
Rick Winfrey	556fe32720	Use manually defined cons list for Listable Method instance for now	2019-01-30 16:05:35 -08:00
Rick Winfrey	f0497936a3	For now	2019-01-28 17:43:51 -08:00
Rick Winfrey	e7cb6ee021	Remove old instances	2019-01-28 17:43:34 -08:00
Rick Winfrey	9e362c110b	Add Listable AccessControl instance	2019-01-28 17:43:08 -08:00
Rick Winfrey	75b9b9dab1	Update listable instances for new access control syntax ... Co-Authored-By: Rob Rix <robrix@github.com>	2019-01-28 11:26:34 -08:00
Rick Winfrey	d1a9d56dfb	Comment out other AccessControl constructors ... I'm not sure why this is causing problems for the proto roundtrip tests	2019-01-22 16:58:18 -08:00
Rick Winfrey	d4abe75456	Merge branch 'master' into visibility-resolution	2019-01-16 18:31:44 -08:00
Rick Winfrey	bf3ff6154a	Update tests for new AccessControl / Relation split	2019-01-16 18:20:33 -08:00
Patrick Thomson	2e66bc3443	Simplify Data.Functor.Both. ... Though the previous definition (a type synonym that wrapped `Join (,)`) was clever, it required a number of orphan instances, as well as an extra `both` function to simulate a `Both` constructor. Using an ordinary data structure removes the need for orphan instances.	2019-01-08 17:34:47 -05:00
Rick Winfrey	24a386c2ff	Fix Listable1 instance for Visibility	2018-12-20 17:03:17 -08:00
Rick Winfrey	dda77a80df	Update Listable1 instance for Declartion.Method	2018-12-19 13:19:55 -08:00
Rick Winfrey	5942249864	Define liftCons6	2018-12-19 13:19:38 -08:00
joshvera	b12fbed41a	Merge remote-tracking branch 'origin/master' into heap-frames	2018-12-10 16:38:55 -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
joshvera	26d3e5e449	Remove Environment	2018-12-05 09:42:00 -05:00
joshvera	4428cd0ab8	Implement ruby assignment as a separate syntax ... So it can declare a variable in case it isn't shadowing one	2018-12-04 19:22:58 -05:00
Rick Winfrey	b20e2d3f7e	Export lists	2018-11-30 16:23:29 -08:00
Rick Winfrey	83a60c3fdf	Don't need Semigroup here	2018-11-30 16:23:10 -08:00
Rick Winfrey	eefd90ce39	Export list	2018-11-30 16:22:57 -08:00
Timothy Clem	57f284f847	Streamline the declarations for toc summaries	2018-11-08 08:33:26 -08:00
Patrick Thomson	b9cf8f73c6	Environment and App.	2018-10-31 15:47:30 -04:00
Patrick Thomson	d473b9e1af	add Data/Abstract/Name/Spec	2018-10-31 13:19:43 -04:00
Patrick Thomson	b0e6190dbf	add Data/Range/Spec	2018-10-31 12:46:52 -04:00
Patrick Thomson	cd05aaa7a5	add Data/Graph/Spec	2018-10-31 12:30:56 -04:00
Timothy Clem	c8dfe57a48	Remove Data.Record entirely	2018-09-26 14:05:29 -05:00
Timothy Clem	1913277e74	Replace the annotation necessary for toc ... Includes span in Declaration, refactors toc functions to remove a layer of maybe	2018-09-26 13:54:16 -05:00
Timothy Clem	5e2241ffe9	Don't need to know about Record here either	2018-09-25 11:20:57 -05:00
Timothy Clem	278e6890cd	Fix up the tests	2018-09-25 11:18:51 -05:00
Rick Winfrey	54bc2a9521	🔥 unused exports	2018-08-13 15:43:23 -07:00
joshvera	c71dd783fb	Add EscapeSequence Listable	2018-08-10 13:02:06 -04:00
Charlie Somerville	d00fced1bb	Merge branch 'master' into charliesome/context	2018-08-01 11:45:46 +10:00
Charlie Somerville	b364c6637a	implement the right type classes for This	2018-07-24 16:23:44 +10:00
Josh Vera	7b025c6e49	Merge branch 'master' into bump-tree-sitter	2018-07-23 19:55:21 -04:00
joshvera	322db1dd89	Merge remote-tracking branch 'origin/master' into add-python	2018-07-23 18:21:01 -04:00
Timothy Clem	8484f477ce	Extra Listable instances	2018-07-23 15:09:44 -07:00
joshvera	dbcf2638b0	Add Listable instances for QualifiedName and Import	2018-07-23 13:59:56 -04:00
Rob Rix	4ef85b3d91	These instances aren’t orphaned.	2018-07-20 10:07:53 -04:00
Rob Rix	d6eb959726	We don’t need DeriveAnyClass or StandaloneDeriving for these.	2018-07-20 10:07:24 -04:00
Rob Rix	d3fc6478fd	Derive a bunch of Mergeable instances.	2018-07-20 09:54:57 -04:00
Rob Rix	3fa75423d6	Move Mergeable into the tests.	2018-07-20 09:52:43 -04:00
joshvera	a0d27311bb	Add a ListableF2	2018-07-17 18:59:54 -04:00
joshvera	51d873f81e	Add Listable instances for Join These Blob	2018-07-16 17:05:56 -04:00