31433 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Thomson	b58132ba0e	Unused imports.	2019-10-23 12:05:28 -04:00
Rob Rix	0d17b9691f	Reuse the abstract parsers for Python.	2019-10-23 12:02:07 -04:00
Ayman Nadeem	4475629775	order where clause operations chronologically	2019-10-23 12:01:55 -04:00
Rob Rix	4c282911a1	Don’t export the concrete parsers.	2019-10-23 11:59:59 -04:00
Patrick Thomson	cb783e6646	Make this a boolean operator pending resolution of #358.	2019-10-23 11:59:23 -04:00
Ayman Nadeem	ed80f90faf	visual separation ftw	2019-10-23 11:58:51 -04:00
Rob Rix	790e823a50	Select the Python parser abstractly.	2019-10-23 11:58:02 -04:00
Rob Rix	52b0d4c508	Select an abstract parser.	2019-10-23 11:48:01 -04:00
Rob Rix	d5cc356a8a	Map results to unit in evaluateProject.	2019-10-23 11:46:33 -04:00
Rob Rix	e9ca7cb1b8	Select an abstract parser.	2019-10-23 11:45:45 -04:00
Rob Rix	be51d3139f	Align.	2019-10-23 11:40:37 -04:00
Rob Rix	b8ff23f2c5	Inline the evaluators.	2019-10-23 11:40:23 -04:00
Rob Rix	46094f3e59	Fix which project we eval.	2019-10-23 11:39:50 -04:00
Rob Rix	9dcfbd8f2c	Spacing.	2019-10-23 11:39:30 -04:00
Rob Rix	d6d16c1c0d	Factor justEvaluating into evaluateProject.	2019-10-23 11:38:10 -04:00
Rob Rix	2dffafa12f	Type applications.	2019-10-23 11:36:59 -04:00
Rob Rix	97a31acc7a	Don’t require an NFData instance for the terms.	2019-10-23 11:36:36 -04:00
Rob Rix	a630778792	Merge branch 'abstract-a-la-carte-terms' into you-already-know-too-much	2019-10-23 11:29:44 -04:00
Rob Rix	11ce088331	Test tagging using abstract parsing.	2019-10-23 11:26:27 -04:00
Rob Rix	52af054614	Move parseTestFile into Tags.Spec.	2019-10-23 10:52:26 -04:00
Rob Rix	a237ca2266	Split out a helper to parse a Blob straight to a list of tags.	2019-10-23 10:48:38 -04:00
Rob Rix	47c6c4bc61	Pass the Blob to tags.	2019-10-23 10:45:19 -04:00
Rob Rix	d2569a8f59	Compose tagsToFile onto a new tagsForTerm function.	2019-10-23 10:42:13 -04:00
Rob Rix	52ada3cdae	Use the abstracted evaluateProject helper.	2019-10-23 10:34:36 -04:00
Rob Rix	35c429399c	Coerce straight to the desired term type.	2019-10-23 10:34:10 -04:00
Patrick Thomson	5d5113ff69	fix brokenness that crept in overnight (?)	2019-10-23 10:31:55 -04:00
Rob Rix	22f3440e0e	Rename TestEvaluatingResult to TestEvaluatingState and add an actual result synonym.	2019-10-23 10:27:38 -04:00
Rob Rix	6b6574eb56	Correct the term type.	2019-10-23 10:21:06 -04:00
Rob Rix	0651d21e63	Define a type synonym for evaluating results.	2019-10-23 10:16:46 -04:00
Rob Rix	fa02ff0a45	Revert "Only coerce the errors." ... This reverts commit c9022d863c.	2019-10-23 10:02:33 -04:00
Rob Rix	73ddec60c1	Rename the import of Data.Sum.	2019-10-23 10:01:27 -04:00
Rob Rix	97b495c6d5	Revert "Generalize ValueError over the value type." ... This reverts commit 769e00f3f7.	2019-10-23 09:39:54 -04:00
Rob Rix	1aaad130a7	Revert "Dedent/align." ... This reverts commit f465b00f64.	2019-10-23 09:38:42 -04:00
Rob Rix	f465b00f64	Dedent/align.	2019-10-23 09:38:09 -04:00
Rob Rix	769e00f3f7	Generalize ValueError over the value type.	2019-10-23 09:33:01 -04:00
Rob Rix	296442b60b	Alignment.	2019-10-23 09:30:13 -04:00
Rob Rix	c36b400edd	Bring a few type variables out of scope.	2019-10-22 17:28:53 -04:00
Patrick Thomson	559958d9cf	Define new :? type for checked lookups and try implementing it.	2019-10-22 17:27:54 -04:00
Rob Rix	ee539d8594	Fix some missing imports.	2019-10-22 17:12:58 -04:00
Rob Rix	c9022d863c	Only coerce the errors.	2019-10-22 17:12:00 -04:00
Rob Rix	245c768819	Merge branch 'abstract-a-la-carte-terms' into you-already-know-too-much	2019-10-22 17:04:44 -04:00
Rob Rix	10ee109dae	Try to correct the constraints for the benchmarks.	2019-10-22 17:04:31 -04:00
Rob Rix	5580c8eb53	Merge branch 'abstract-a-la-carte-terms' into you-already-know-too-much	2019-10-22 16:31:57 -04:00
Rob Rix	f6910ca505	🔥 redundant extensions.	2019-10-22 16:29:12 -04:00
Rob Rix	b07f14c32e	Merge branch 'master' into abstract-a-la-carte-terms	2019-10-22 16:27:03 -04:00
Rob Rix	a78cf3c7d2	Add some missing constraints.	2019-10-22 16:22:41 -04:00
Rob Rix	fc46362957	Fix some constraints & imports.	2019-10-22 16:18:56 -04:00
Rob Rix	73c30b3312	Define a project evaluator.	2019-10-22 16:16:47 -04:00
Rob Rix	74e1d76331	Sort imports.	2019-10-22 16:00:35 -04:00
Rob Rix	49fb4048e4	Eta-reduce ModuleResult.	2019-10-22 15:37:54 -04:00