Patrick Thomson
b9388d1d20
Fix SpecHelpers.
...
Man, this is a monster of a file.
2019-11-08 22:43:09 -05:00
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
Rob Rix
86389e8e87
Re-export Edit.
2019-10-18 10:33:47 -04:00
Rob Rix
9ef511b6f1
Write diffFilePaths using do notation.
2019-10-18 10:29:43 -04:00
Rob Rix
b8b9105a0a
Define readFilePathPair as a composition.
2019-10-18 10:27:42 -04:00
Rob Rix
6f0c2a6450
Diff directly in Edit.
2019-10-17 22:53:45 -04:00
Rob Rix
15fdc198bb
Don’t convert to These.
2019-10-17 22:53:35 -04:00
Rob Rix
209f8871a5
Rename Patch to Edit.
2019-10-17 22:48:19 -04:00
Rob Rix
e4af857c5b
Rename Copy to Compare.
2019-10-17 22:44:57 -04:00
Rob Rix
7b37f3789f
Rename Data.Patch to Data.Edit.
2019-10-17 22:43:03 -04:00
Rob Rix
64c4fed882
Rename replacing to comparing.
2019-10-17 22:18:48 -04:00
Rob Rix
c31972242a
Fix up the tests.
2019-10-17 19:31:46 -04:00
Rob Rix
a0e52c1b9d
Fix some imports.
2019-10-17 13:50:22 -04:00
Rob Rix
93be1bc1a4
Run with the default language modes.
2019-10-17 13:47:52 -04:00
Rob Rix
0228a5765f
Sort imports.
2019-10-17 13:45:36 -04:00
Rob Rix
ae08b29fb2
Add a missing import.
2019-10-17 13:45:28 -04:00
Rob Rix
9a7a6061af
s/EditScript/[Edit].
2019-10-17 13:44:51 -04:00
Rob Rix
f8078518a0
There are four fields.
2019-10-17 13:44:25 -04:00
Rob Rix
b22d86b55b
Tags hold a Loc.
2019-10-17 12:28:32 -04:00
Rob Rix
267115ce31
🔥 the text field from Declaration.
2019-10-17 11:36:04 -04:00
Rob Rix
a05370f7e1
Move SummarizeDiff into TOCSummaries.
2019-10-17 06:32:47 -04:00
Rob Rix
ef0ec740c9
Incorporate decorateTerm into summarizeTerm.
2019-10-17 06:23:10 -04:00
Rob Rix
b983117cbc
Pass the blobs to diffTerms in These.
2019-10-17 06:05:41 -04:00
Rob Rix
140c4019e5
Parsing pairs returns the blobs with the terms.
2019-10-17 05:56:34 -04:00
Rob Rix
0d93d67be8
Define SummarizeDiff over term pairs.
2019-10-17 05:51:32 -04:00
Rob Rix
f2dabc74e4
Rename runDiff to summarize.
2019-10-17 04:13:55 -04:00
Rob Rix
02800fe810
Abstract over the parser in the tests.
2019-10-17 04:10:29 -04:00
Rob Rix
132d8afc5c
Return the summaries directly from runDiff.
2019-10-17 04:04:54 -04:00
Rob Rix
827210b255
Rename diffWithParser to runDiff.
2019-10-17 04:02:18 -04:00
Rob Rix
4e11968054
Correct the expectations.
2019-10-17 03:51:31 -04:00
Rob Rix
5d66493f56
Get the ToC spec compiling again.
2019-10-17 03:48:05 -04:00
Rob Rix
e340b43500
Fix the Listable instances for ToC.
2019-10-17 03:45:29 -04:00
Rob Rix
98be55d0e4
🔥 an obsolete test.
2019-10-17 03:30:53 -04:00
Patrick Thomson
defbeb5e7e
Merge remote-tracking branch 'origin/master' into bump-lingo
2019-10-16 23:40:08 -04:00
Patrick Thomson
ba122b2aae
Bump lingo to 0.3 and remove hack associated with #333 .
...
Now that lingo's language detection returns all possible results for a
given filename, we're able to abolish the workaround where we parsed
the string `"Hack"` into PHP. We have to check ourselves for spurious
results associated with Hack, TSX, and Markdown files, but that's
fitting and proper, rather than doing it behind the scenes in lingo.
2019-10-14 15:55:48 -04:00
Patrick Thomson
df96f43acd
Make findFilesInDir use pathtype.
2019-10-11 19:24:53 -04:00
Patrick Thomson
94caaab09e
Add test cases so this doesn't happen again.
2019-10-11 12:21:35 -04:00
Rick Winfrey
0c5dbadc05
Update Language spec
2019-10-09 14:23:30 -07:00
Rob Rix
8936bede79
Update the JSON ASTs.
2019-10-08 17:35:06 -04:00
Rob Rix
c02f56da1a
🔥 the JSON diffs.
2019-10-08 17:34:56 -04:00
Rob Rix
757fa00b03
Indentation.
2019-10-08 16:30:56 -04:00
Patrick Thomson
b727562545
No reprinting spec necessary.
2019-10-08 15:03:34 -04:00
Patrick Thomson
3b4b9dc95e
fix stray typo and remove spec invocations
2019-10-08 15:02:33 -04:00
Patrick Thomson
693c317bf0
Remove experimental reprinting and rewriting facilities.
...
As we shift to a precise, non-DTALC representation of language syntax,
the foundations upon which our (experimental) reprinting and rewriting
framework are becoming questionable. These experiments are not hooked
up anywhere (except the tests), constitute a considerable amount of
code, and are getting in the way of @robrix and myself lately.
I like a lot of this code, but if we're not using it, it's our moral
imperative to delete it, if only to reduce the carbon emissions
associated with our CI builds. We can always rescuscitate it from the
git history if we find ourselves wanting it back.
2019-10-08 14:41:31 -04:00
Rob Rix
a9abd08f5c
Merge branch 'master' into semantic-java
2019-10-07 09:10:20 -04:00
Patrick Thomson
2f91bad319
Fix tests.
2019-10-04 15:49:30 -04:00
Rob Rix
90341c1138
Merge branch 'master' into semantic-java
2019-10-03 13:24:52 -04:00
Timothy Clem
f8c76b2329
Merge remote-tracking branch 'origin/master' into proto-lens
2019-10-03 09:48:06 -07:00
Timothy Clem
32f6e9dfb9
++proto-lens-jsonpb to handle excluding default fields
2019-10-03 08:41:30 -07:00
Rob Rix
30d11fe288
Merge branch 'list-parsers-independently' into semantic-java
2019-10-02 17:44:51 -04:00
Rob Rix
116e5b385a
Merge branch 'master' into semantic-java
2019-10-02 17:32:09 -04:00