4323 Commits

Author	SHA1	Message	Date
Timothy Clem	a4b6b00734	Wire up parse-examples to test precise ASTs against a la carte ones	2019-11-08 09:04:48 -08:00
Rob Rix	3a18af8f47	We don’t actually use NamedFieldPuns here.	2019-10-30 14:12:53 -04:00
Rob Rix	b07382d236	🔥 partial record selectors in the integration spec.	2019-10-30 14:11:39 -04:00
Rob Rix	22f1e7295d	🔥 redundant imports.	2019-10-30 14:08:59 -04:00
Rob Rix	a8a3bca972	Fix some missed language extensions.	2019-10-30 13:16:17 -04:00
Rob Rix	7262484a57	Add language extensions to everything.	2019-10-30 12:49:23 -04:00
Rob Rix	d78adfc09d	🔥 a redundant import.	2019-10-23 15:03:30 -04:00
Rob Rix	d18d122beb	Import the parse effect.	2019-10-23 14:52:34 -04:00
Rob Rix	93db4cfa45	Use the helpers anywhere we look up a parser.	2019-10-23 12:17:10 -04:00
Rob Rix	790e823a50	Select the Python parser abstractly.	2019-10-23 11:58:02 -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	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
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	769e00f3f7	Generalize ValueError over the value type.	2019-10-23 09:33:01 -04:00
Rob Rix	c9022d863c	Only coerce the errors.	2019-10-22 17:12:00 -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	b07f14c32e	Merge branch 'master' into abstract-a-la-carte-terms	2019-10-22 16:27:03 -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	ab7a831a34	Fix a typo.	2019-10-21 17:35:53 -04:00
Patrick Thomson	b6079e0db9	Remove irrelevant specs.	2019-10-21 16:46:02 -04:00
Rob Rix	43d733b89d	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-21 13:27:10 -04:00
Rob Rix	7ae14819c9	🔥 a redundant import.	2019-10-21 13:19:27 -04:00
Rob Rix	e04e24a29e	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-21 12:03:35 -04:00
Rob Rix	5da3a1183b	Correct stale references to patch.	2019-10-21 12:03:07 -04:00
Rob Rix	559e2e0c59	Fix a missed rename.	2019-10-21 11:42:55 -04:00
Rob Rix	418e1543bf	Don’t export DiffEffects.	2019-10-18 21:04:02 -04:00
Rob Rix	9064cda58a	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-18 20:17:54 -04:00
Rob Rix	713de98faf	Rename SummarizeDiff to SummarizeTerms.	2019-10-18 20:14:13 -04:00
Rob Rix	9e20fc889e	Merge branch 'master' into edit-these-patch	2019-10-18 18:06:57 -04:00
Rob Rix	cc2df9de19	Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick ... Compute ToCs over precise ASTs	2019-10-18 18:05:25 -04:00
Rob Rix	bd010a4ca4	Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms	2019-10-18 18:00:36 -04:00
Rob Rix	11d052f594	Fix an elided reference.	2019-10-18 12:45:17 -04:00
Rob Rix	b00715e247	🔥 the pattern synonyms.	2019-10-18 11:57:26 -04:00
Rob Rix	d1ab2e11c6	🔥 a redundant import.	2019-10-18 11:28:09 -04:00
Rob Rix	2a788703ba	Fix up some tests.	2019-10-18 11:28:03 -04:00
Rob Rix	9c67f48905	Fix some property names.	2019-10-18 11:26:50 -04:00
Rob Rix	e8dacbe186	🔥 a redundant binding.	2019-10-18 11:17:24 -04:00
Patrick Thomson	8289e7eb22	Merge remote-tracking branch 'origin/master' into bump-lingo	2019-10-18 10:53:36 -04:00
Rob Rix	50c53c242f	🔥 the Listable1 instance for Both.	2019-10-18 10:46:41 -04:00
Rob Rix	6606d52841	Eliminate uses of Both.	2019-10-18 10:45:59 -04:00
Rob Rix	e2cc2790cc	Fix some doc comments.	2019-10-18 10:36:47 -04:00