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 |
|
Patrick Thomson
|
61ee51952b
|
Merge remote-tracking branch 'origin/master' into compile-string-literals
|
2019-10-21 15:16:32 -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 |
|