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 |
|
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 |
|
Ayman Nadeem
|
659dae0bc8
|
use for because for_ discards the results
|
2019-10-21 13:56:03 -04:00 |
|
Rob Rix
|
e2ea9a1ce8
|
Use v2-*.
|
2019-10-21 13:39:54 -04:00 |
|
Rob Rix
|
1dc87e9cb3
|
📝
|
2019-10-21 13:39:11 -04:00 |
|
Rob Rix
|
61548d77e2
|
Remove subdirectories of .cabal/store too.
|
2019-10-21 13:39:06 -04:00 |
|
Rob Rix
|
3678d466a0
|
Ditch old compiler versions.
|
2019-10-21 13:36:09 -04:00 |
|
Rob Rix
|
32c1c79022
|
Bump the tested-with version to 8.6.5 for semantic & semantic-python.
|
2019-10-21 13:31:06 -04:00 |
|
Rob Rix
|
d4fe4cedff
|
Add a tested-with field to semantic-ast.
|
2019-10-21 13:30:57 -04:00 |
|
Rob Rix
|
5074931cee
|
Use 8.6.5 in CI.
|
2019-10-21 13:30:47 -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 |
|
Ayman Nadeem
|
3a778342f8
|
no longer provide --flag
|
2019-10-21 12:57:31 -04:00 |
|
Ayman Nadeem
|
90be70f045
|
specify usage pattern
|
2019-10-21 12:57:16 -04:00 |
|
Patrick Thomson
|
ecaa5a1671
|
Combine lets.
|
2019-10-21 12:41:45 -04:00 |
|
Patrick Thomson
|
cbda7cf344
|
Merge remote-tracking branch 'origin/master' into function-define-thyself
|
2019-10-21 12:35:35 -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
|
5df2222a15
|
Merge branch 'master' into edit-these-patch
|
2019-10-21 12:03:22 -04:00 |
|
Rob Rix
|
5da3a1183b
|
Correct stale references to patch.
|
2019-10-21 12:03:07 -04:00 |
|
Rob Rix
|
33b9f1ef4d
|
Merge branch 'master' into abstract-a-la-carte-terms
|
2019-10-21 12:02:13 -04:00 |
|
Rob Rix
|
50d2c4520d
|
Merge pull request #349 from github/abstract-analysis-parsing
Abstract analysis parsing
|
2019-10-21 11:54:12 -04:00 |
|
Rob Rix
|
559e2e0c59
|
Fix a missed rename.
|
2019-10-21 11:42:55 -04:00 |
|
Rob Rix
|
d3af1952c2
|
Revert "Define TypeScript.Term as a wrapper for Term."
This reverts commit 80792e0ce2 .
|
2019-10-21 11:40:15 -04:00 |
|
Rob Rix
|
80792e0ce2
|
Define TypeScript.Term as a wrapper for Term.
|
2019-10-21 11:37:26 -04:00 |
|