43 Commits

Author	SHA1	Message	Date
Patrick Thomson	91558a7d65	Add generator for .? (this kills the crab^Wtests).	2019-10-23 12:24:35 -04:00
Rob Rix	6b9ba62c8c	Rename Core.Core.* to Core.*.	2019-10-11 13:50:40 -04:00
Rob Rix	9e31fc1f9b	semantic-core no longer has doctests.	2019-10-11 12:53:36 -04:00
Rob Rix	6bac8d2770	How did this ever work? What does it even do?	2019-10-11 12:42:21 -04:00
Rob Rix	85d09b5116	Rename Core.File to Analysis.File.	2019-10-11 12:37:11 -04:00
Rob Rix	5f9787f21c	Correct an import.	2019-10-11 12:22:12 -04:00
Rob Rix	cce6f74b95	🔥 a redundant import.	2019-10-11 09:13:48 -04:00
Rob Rix	d16a3c909c	Weaken a Carrier constraint to Applicative.	2019-10-11 09:13:30 -04:00
Rob Rix	9b48331945	🔥 a redundant constraint.	2019-10-11 09:13:20 -04:00
Rob Rix	13fec83cba	Rename Spec to Test.	2019-10-10 18:05:50 -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
Rob Rix	93ea54c5a5	Fix some redundant imports.	2019-10-10 14:47:29 -04:00
Rob Rix	bb81dd0ee1	Drop an obsolete stripAnnotations.	2019-10-10 14:11:34 -04:00
Rob Rix	c19a373bf3	Fix the tests.	2019-10-10 14:06:47 -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	a25d971250	Better pretty-printing of parse errors.	2019-07-22 14:32:05 -04:00
Rob Rix	ed94f7e5c3	Fix the expectation for projections.	2019-07-22 14:27:03 -04:00
Rob Rix	95226623bf	🔥 redundant specs.	2019-07-22 14:26:49 -04:00
Rob Rix	45a3d6f0c1	Fix the generators.	2019-07-22 14:24:40 -04:00
Rob Rix	36827bb85c	Strip annotations in the tests.	2019-07-17 15:23:56 -04:00
Rob Rix	1d94634cce	Generate User names.	2019-07-17 12:55:05 -04:00
Rob Rix	da85c697b2	Correct the types in the spec.	2019-07-17 12:44:34 -04:00
Rob Rix	c2812f8995	Fix up the generators.	2019-07-17 12:44:27 -04:00
Rob Rix	ce1d209b5e	Correct the doctest runner.	2019-06-25 14:24:49 -04:00
Rob Rix	2009e4ab93	Fix the IsString instance.	2019-06-25 14:21:42 -04:00
Rob Rix	2f077365e2	Generate Text.	2019-06-25 14:21:36 -04:00
Jan Hrček	915937c4be	Fix some hlint warnings	2019-06-16 13:40:13 +02:00
Patrick Thomson	11a5217f45	Enable tests.	2019-06-04 11:26:42 -04:00
Rob Rix	23ba75ba79	Copy in the semantic-core sources.	2019-06-03 11:34:15 -04:00