27 Commits

Author	SHA1	Message	Date
Patrick Thomson	7b11b0fc03	Fix some generators.	2020-01-17 16:10:29 -05:00
Patrick Thomson	34214b737f	Fix Generators module.	2019-12-11 15:44:50 -05:00
Patrick Thomson	91558a7d65	Add generator for .? (this kills the crab^Wtests).	2019-10-23 12:24:35 -04:00
Rob Rix	59d6deb005	🔥 a redundant import.	2019-10-11 09:15:32 -04:00
Rob Rix	57ab84bb46	Weaken a Carrier constraint to Applicative.	2019-10-11 09:15:26 -04:00
Rob Rix	ba23138ade	🔥 a redundant constraint.	2019-10-11 09:15:17 -04:00
Rob Rix	7df71e359e	Replace Core.Term with Syntax.Term.	2019-10-10 15:17:22 -04:00
Rob Rix	d7dc440a30	Move all the Data.* modules into Core.* instead.	2019-10-10 15:07:49 -04:00
Patrick Thomson	ae46a7b105	Make Data.Name.Name a newtype rather than a synonym. ... The fact that `Name` was a simple alias for `Text` was creeping into the error messages I'm seeing in `semantic-python`, which was a bit of a buzzkill. This remedies that.	2019-10-07 17:45:53 -04:00
Rob Rix	7d1567e70a	🔥 a bunch of redundant hidden imports.	2019-09-20 16:45:12 -04:00
Rob Rix	f141319f84	Rename User to Name.	2019-08-06 11:18:54 -04:00
Rob Rix	4296244f9e	Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs	2019-07-29 13:19:51 -04:00
Rob Rix	f10cbb21b3	Generate string literals.	2019-07-23 15:43:11 -04:00
Rob Rix	3d65ae97ef	Sort the atoms.	2019-07-23 15:27:03 -04:00
Rob Rix	e4470bcbcc	Generate load instructions.	2019-07-23 15:23:26 -04:00
Rob Rix	0d530dc078	Sort the recursive generators.	2019-07-23 15:22:12 -04:00
Rob Rix	308066fbb1	Generate recursive bindings.	2019-07-23 15:18:04 -04:00
Rob Rix	e03236d301	Generate assignments.	2019-07-23 15:15:55 -04:00
Rob Rix	539f8db2f6	Test roundtripping of general expressions.	2019-07-22 15:42:08 -04:00
Rob Rix	b43bdbb353	Use named' to define the name generator.	2019-07-22 15:33:47 -04:00
Rob Rix	043d3083fa	Generate records.	2019-07-22 15:26:02 -04:00
Rob Rix	52da8b764c	Qualify the import of Data.Core.	2019-07-22 15:13:14 -04:00
Rob Rix	45a3d6f0c1	Fix the generators.	2019-07-22 14:24:40 -04:00
Rob Rix	1d94634cce	Generate User names.	2019-07-17 12:55:05 -04:00
Rob Rix	c2812f8995	Fix up the generators.	2019-07-17 12:44:27 -04:00
Rob Rix	2f077365e2	Generate Text.	2019-06-25 14:21:36 -04:00
Patrick Thomson	11a5217f45	Enable tests.	2019-06-04 11:26:42 -04:00