31337 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ayman Nadeem	a9f6068a7b	color can only have if pretty	2019-10-22 13:41:13 -04:00
Ayman Nadeem	f876c0b5e0	redundant do blocks	2019-10-22 13:40:48 -04:00
Ayman Nadeem	0bee5c5d25	clean up usage docs	2019-10-22 13:40:35 -04:00
Ayman Nadeem	9b17db51b1	add qualified import	2019-10-22 13:40:27 -04:00
Ayman Nadeem	4c0de190ec	use qualified imports to clean stuff up	2019-10-22 13:09:13 -04:00
Ayman Nadeem	45abf90917	indent case statements because lexical scoping	2019-10-22 12:33:19 -04:00
Ayman Nadeem	3e754c35b1	use for_	2019-10-22 12:33:05 -04:00
Ayman Nadeem	1761656d27	jk use for_ so we don't ignore results	2019-10-22 12:28:23 -04:00
Patrick Thomson	1c885f3003	Merge pull request #354 from github/git-out ... Remove ability to load blobs/projects from Git repos.	2019-10-22 12:25:55 -04:00
Rob Rix	3ad3740c9b	Merge pull request #353 from github/hlint-in-ci-again ... Run hlint in CI again.	2019-10-22 11:54:11 -04:00
Ayman Nadeem	c67dc33184	let's support multiple formats	2019-10-22 10:50:58 -04:00
Ayman Nadeem	cf30f7672f	tracked this by accident	2019-10-22 10:50:48 -04:00
Patrick Thomson	d6f43ccf73	Revert "Convert projectExcludeDirs to use AbsRelDir." ... This reverts commit 5585f8caeb.	2019-10-22 01:16:03 -04:00
Patrick Thomson	4e42379a2c	This auxiliary data type can die.	2019-10-21 19:55:38 -04:00
Patrick Thomson	17e2c5a28d	Fix last few warnings.	2019-10-21 19:52:34 -04:00
Patrick Thomson	3e55cace90	Wrong path.	2019-10-21 18:24:35 -04:00
Patrick Thomson	5585f8caeb	Convert projectExcludeDirs to use AbsRelDir.	2019-10-21 18:06:40 -04:00
Rob Rix	51fd82c3b9	🔥 more redundant language extensions.	2019-10-21 18:02:09 -04:00
Rob Rix	ba5ec2af59	Turn off the CPP.	2019-10-21 18:00:54 -04:00
Rob Rix	a48eed8cdd	Select the language only once.	2019-10-21 17:58:08 -04:00
Patrick Thomson	da2d9eeee1	copy the data files	2019-10-21 17:56:26 -04:00
Rob Rix	69378874f9	Type applications.	2019-10-21 17:53:21 -04:00
Rob Rix	25b3d28aea	Rename the language imports.	2019-10-21 17:52:59 -04:00
Rob Rix	20334c683e	Abstract FileEvaluator over the error type.	2019-10-21 17:51:37 -04:00
Rob Rix	bb1a597db8	Abstract FileEvaluator over the term type.	2019-10-21 17:50:59 -04:00
Rob Rix	fe2cb8944e	Abstract FileEvaluator over the syntax type.	2019-10-21 17:50:30 -04:00
Patrick Thomson	43c783f93e	No scoped type variables necessary.	2019-10-21 17:49:33 -04:00
Patrick Thomson	2d5a7e7fbb	Comment and clarify.	2019-10-21 17:48:27 -04:00
Patrick Thomson	407d7a2120	forgot a dot. fordot.	2019-10-21 17:40:34 -04:00
Rob Rix	bf82196315	Abstract the benchmarks over the term type.	2019-10-21 17:37:01 -04:00
Rob Rix	ab7a831a34	Fix a typo.	2019-10-21 17:35:53 -04:00
Patrick Thomson	be61c98e66	First, tentative port of readProjectFromPaths.	2019-10-21 17:33:36 -04:00
Patrick Thomson	278f27af5d	output wasn't shaped right	2019-10-21 17:03:58 -04:00
Patrick Thomson	6c137e5add	Start rubbing some typed paths on readProjectFromPaths.	2019-10-21 17:01:08 -04:00
Patrick Thomson	65853549c1	Merge remote-tracking branch 'origin/master' into hlint-in-ci-again	2019-10-21 16:56:28 -04:00
Patrick Thomson	7089a4bb51	Correct curl incantation.	2019-10-21 16:51:56 -04:00
Patrick Thomson	534c837c1f	Remove otiose dependencies.	2019-10-21 16:48:43 -04:00
Patrick Thomson	5cfde65db0	Remove Semantic.Git.	2019-10-21 16:48:37 -04:00
Patrick Thomson	b6079e0db9	Remove irrelevant specs.	2019-10-21 16:46:02 -04:00
Rob Rix	7e5d2d6da3	Merge branch 'master' into abstract-a-la-carte-terms	2019-10-21 16:40:59 -04:00
Patrick Thomson	4671732712	Unused imports.	2019-10-21 16:39:24 -04:00
Patrick Thomson	c5802304c2	Remove FromGitRepo and FilesFromGitRepo from Files DSL.	2019-10-21 16:37:15 -04:00
Patrick Thomson	927af0deb2	Remove Blob.IO.readBlobsFromGitRepo.	2019-10-21 16:37:00 -04:00
Patrick Thomson	9acb44abe4	Remove CLI parser for git repo stuff.	2019-10-21 16:36:42 -04:00
Rob Rix	52243cfb07	Merge pull request #348 from github/edit-these-patch ... Consolidate how we deal with diff inputs	2019-10-21 16:30:19 -04:00
Patrick Thomson	a1b422a69c	Install hlint in the right location and run it first.	2019-10-21 16:28:27 -04:00
Patrick Thomson	bd24ff7daf	Merge remote-tracking branch 'origin/master' into hlint-in-ci-again	2019-10-21 15:28:27 -04:00
Patrick Thomson	c6779b7fb2	Fix bug in the prelude.	2019-10-21 15:26:06 -04:00
Patrick Thomson	a273f5881c	Make it more accurate now that eval is not a special node.	2019-10-21 15:25:54 -04:00
Patrick Thomson	e607d9c011	Adjust the name of this test.	2019-10-21 15:25:28 -04:00