30015 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	316e6ad0aa	Replace annotations with () in Python terms.	2019-10-02 11:13:53 -04:00
Patrick Thomson	87a658d45b	Fix tests and squash warnings.	2019-10-02 10:59:54 -04:00
Patrick Thomson	ab2f30cf6e	List comprehensions are nicer here.	2019-10-02 10:57:29 -04:00
Rob Rix	d168e391ef	Rename doParse' to parseWith.	2019-10-02 10:49:32 -04:00
Rob Rix	5309eed607	Move showTermParsers adjacent to ShowTerm.	2019-10-02 10:48:41 -04:00
Rob Rix	3e137ae384	Use the abstracted parsers to define showTermParsers.	2019-10-02 10:47:53 -04:00
Rob Rix	7fdeb90f6b	Define abstracted parsers.	2019-10-02 10:46:15 -04:00
Rob Rix	e3e14a666b	Move SomeParser to Parsing.Parser.	2019-10-02 10:45:53 -04:00
Rob Rix	3026e6210b	Add separators to the haddocks.	2019-10-02 10:32:57 -04:00
Rob Rix	3d19ab5d3a	Merge branch 'abstract-actions-over-terms' into list-parsers-independently	2019-10-02 10:27:48 -04:00
Patrick Thomson	c6e88ee7ab	Merge branch 'remove-project-readfile' of https://github.com/github/semantic into remove-project-readfile	2019-10-02 10:27:07 -04:00
Patrick Thomson	b7829dcde9	Fix GCompileSum instances.	2019-10-02 10:18:39 -04:00
Rob Rix	714aac1eea	Fix the tests.	2019-10-02 10:01:41 -04:00
Rob Rix	eb922e7e01	🔥 a redundant binding.	2019-10-02 09:59:26 -04:00
Rob Rix	7312997f29	🔥 a redundant import.	2019-10-02 09:59:21 -04:00
Patrick Thomson	e8e67161e0	Compile now has kind (Type -> Type) -> Constraint.	2019-10-02 09:57:17 -04:00
Rob Rix	e71e1fcca1	Show terms using showTermParsers/doParse'.	2019-10-02 09:56:57 -04:00
Rob Rix	fe13a6c560	Define a helper to parse using a given list of parsers.	2019-10-02 09:56:42 -04:00
Rob Rix	1e35fcf8e8	Define the list of parsers for the ShowTerm feature.	2019-10-02 09:56:30 -04:00
Rob Rix	a1511f2a4d	Define a SomeParser type abstracting a parser over a given constraint on its terms.	2019-10-02 09:56:10 -04:00
Rob Rix	9f68d5b6c5	Redefine DiffActions as a constraint synonym.	2019-10-02 09:21:08 -04:00
Rob Rix	1fdecb0abb	Redefine TermActions as a constraint synonym since we’re specialized to it.	2019-10-02 09:19:47 -04:00
Rob Rix	764710260c	🔥 yet more redundant language extensions.	2019-10-02 09:14:43 -04:00
Rob Rix	8af41587e4	🔥 more redundant language extensions.	2019-10-02 09:13:41 -04:00
Rob Rix	9b1c99f159	🔥 redundant language extensions.	2019-10-02 08:47:59 -04:00
Patrick Thomson	79e47aaeaf	No need for ProjectException.	2019-10-02 00:54:55 -04:00
Rob Rix	ab72710312	Merge branch 'master' into abstract-actions-over-terms	2019-10-01 23:48:24 -04:00
Rob Rix	c847990bd6	🔥 a redundant language pragma.	2019-10-01 23:33:11 -04:00
Rob Rix	bc62f324df	Diff using an abstract interface.	2019-10-01 23:32:48 -04:00
Rob Rix	08247c7444	Summarize diffs legacy-wise using an abstract interface.	2019-10-01 22:56:41 -04:00
Rob Rix	fea2338eae	🔥 renderToCTerm.	2019-10-01 22:43:43 -04:00
Rob Rix	f08ac25116	Summarize diffs using an abstract interface.	2019-10-01 22:29:29 -04:00
Rob Rix	e5685f9f5c	🔥 redundant parens.	2019-10-01 22:26:05 -04:00
Rob Rix	5fe4b1da74	🔥 withSomeTermPair.	2019-10-01 22:23:15 -04:00
Rob Rix	68ea7e147d	The diff & term types are mutually supporting.	2019-10-01 22:14:12 -04:00
Rob Rix	0c5342a030	Diff via an abstract interface.	2019-10-01 22:12:18 -04:00
Rob Rix	377d824898	Use distinct type parameters for the annotations on either side. ... This allows us to ensure that they’re handled soundly.	2019-10-01 22:10:42 -04:00
Rob Rix	7aa36de3f9	Spacing.	2019-10-01 22:05:29 -04:00
Rob Rix	8fc85e8f2b	Render diffs to JSON graphs using an abstract interface.	2019-10-01 22:02:50 -04:00
Patrick Thomson	55445af63c	Merge branch 'master' into remove-project-readfile	2019-10-01 21:59:20 -04:00
Patrick Thomson	8af42f51c8	Merge pull request #297 from j-haj/document-env-vars ... Adds configuration documentation.	2019-10-01 21:59:08 -04:00
Rob Rix	b401da6c1f	Render diffs to JSON trees using an abstract interface.	2019-10-01 21:58:15 -04:00
Rob Rix	bf14a4f464	Rename jsonTerm' to jsonTreeTerm.	2019-10-01 21:54:29 -04:00
Rob Rix	c0278a970b	Factor the JSON renderer into jsonDiff.	2019-10-01 21:53:30 -04:00
Rob Rix	bda1269c76	Render diffs to DOT graphs using an abstract interface.	2019-10-01 21:50:47 -04:00
Rob Rix	cc77d7bf17	Render diffs to s-expressions using an abstracted interface.	2019-10-01 21:48:22 -04:00
Rob Rix	868bde86c1	🔥 the CanDiff constraint synonym in favour of DiffActions.	2019-10-01 21:45:37 -04:00
Rob Rix	972653aef2	Show diffs via an abstracted interface.	2019-10-01 21:44:25 -04:00
Rob Rix	bc13823887	Don’t pass the BlobPair to the render function.	2019-10-01 21:43:00 -04:00
Rob Rix	64c2287874	Move the BlobPair to the final position.	2019-10-01 21:35:45 -04:00