31136 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Patrick Thomson	7e46bc38b0	Merge pull request #355 from github/pathtype-project-from-path ... Make readProjectFromPaths use typed paths.	2019-10-22 14:32:24 -04:00
Patrick Thomson	260d5200cc	Merge remote-tracking branch 'origin/master' into pathtype-project-from-path	2019-10-22 14:22:32 -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
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
Patrick Thomson	da2d9eeee1	copy the data files	2019-10-21 17:56:26 -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	5f35d1ab35	Merge pull request #345 from github/function-define-thyself ... Use `rec` so functions can refer to themselves in their bodies.	2019-10-21 15:15:21 -04:00
Patrick Thomson	c8149c6bbd	Merge pull request #352 from github/cache-cow ... Build & test against 8.6.5 in CI & expire old compilers’ caches	2019-10-21 15:15:06 -04:00
Patrick Thomson	54b59e6942	Download hlint in the pre-install phase.	2019-10-21 15:11:36 -04:00
Patrick Thomson	025ccc713b	Remove otiose boolean check.	2019-10-21 15:04:51 -04:00
Patrick Thomson	b06b3338f8	Unused pragmas.	2019-10-21 14:59:42 -04:00
Rob Rix	33b37985e5	Revert "Ditch old compiler versions." ... This reverts commit 3678d466a0.	2019-10-21 14:27:20 -04:00
Rob Rix	54bc348f57	Revert "Remove subdirectories of .cabal/store too." ... This reverts commit 61548d77e2.	2019-10-21 14:27:15 -04:00
Rob Rix	ab99033358	Revert "📝" ... This reverts commit 1dc87e9cb3.	2019-10-21 14:27:12 -04:00
Rob Rix	16e309e397	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-21 14:16:00 -04:00
Rob Rix	c1d90f73e7	Revert "Simplify the Bitraversable instance." ... This reverts commit 84a448ad4f.	2019-10-21 14:14:46 -04:00
Patrick Thomson	a767642ab9	Merge remote-tracking branch 'origin/cache-cow' into hlint-in-ci-again	2019-10-21 14:12:46 -04:00
Patrick Thomson	386e8317dc	lint semantic-python	2019-10-21 14:09:20 -04:00
Patrick Thomson	2d4f4cb64a	Run hlint in Travis.	2019-10-21 14:09:02 -04:00
Patrick Thomson	fd06ccf462	Address hlint suggestions in semantic.	2019-10-21 14:08:24 -04:00
Patrick Thomson	f822bb15c6	Adjust hlint settings for a new (GHC 8.6+) universe.	2019-10-21 14:05:21 -04:00