Rob Rix
|
aec82b3743
|
Define a Bifunctor instance for Value.
|
2019-10-22 15:14:19 -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 |
|
Patrick Thomson
|
d6f43ccf73
|
Revert "Convert projectExcludeDirs to use AbsRelDir."
This reverts commit 5585f8caeb.
|
2019-10-22 01:16:03 -04:00 |
|
Patrick Thomson
|
5585f8caeb
|
Convert projectExcludeDirs to use AbsRelDir.
|
2019-10-21 18:06:40 -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
|
be61c98e66
|
First, tentative port of readProjectFromPaths.
|
2019-10-21 17:33:36 -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
|
4671732712
|
Unused imports.
|
2019-10-21 16:39:24 -04:00 |
|
Patrick Thomson
|
927af0deb2
|
Remove Blob.IO.readBlobsFromGitRepo.
|
2019-10-21 16:37:00 -04:00 |
|
Patrick Thomson
|
025ccc713b
|
Remove otiose boolean check.
|
2019-10-21 15:04:51 -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
|
fd06ccf462
|
Address hlint suggestions in semantic.
|
2019-10-21 14:08:24 -04:00 |
|
Rob Rix
|
5df2222a15
|
Merge branch 'master' into edit-these-patch
|
2019-10-21 12:03:22 -04:00 |
|
Rob Rix
|
0eeaeb348e
|
Revert "Revert "Generalize infixContext over the term type.""
This reverts commit 54b357f741.
|
2019-10-18 21:38:14 -04:00 |
|
Rob Rix
|
0a7ca427ca
|
Revert "Revert "Generalize postContextualize over the term type.""
This reverts commit 0aeb77616d.
|
2019-10-18 21:38:11 -04:00 |
|
Rob Rix
|
885b0924cf
|
Revert "Revert "Generalize postContextualizeThrough over the term type.""
This reverts commit 151e37ebf8.
|
2019-10-18 21:38:09 -04:00 |
|
Rob Rix
|
878d551b5a
|
Revert "Revert "Generalize contextualize over the term type.""
This reverts commit 3db3f1c490.
|
2019-10-18 21:38:06 -04:00 |
|
Rob Rix
|
cbf67368f9
|
Revert "Revert "Generalize parseError over the term type.""
This reverts commit 0bb8039218.
|
2019-10-18 21:38:03 -04:00 |
|
Rob Rix
|
9dd5476e35
|
Revert "Revert "Generalize handleError over the term type.""
This reverts commit f71505d209.
|
2019-10-18 21:38:01 -04:00 |
|
Rob Rix
|
c70b412caf
|
Revert "Revert "Generalize emptyTerm over the term type.""
This reverts commit d9c408a2f5.
|
2019-10-18 21:37:58 -04:00 |
|
Rob Rix
|
7241323cea
|
Revert "Revert "Generalize makeTerm1 over the term type.""
This reverts commit 7edac28207.
|
2019-10-18 21:37:55 -04:00 |
|
Rob Rix
|
e923c373d9
|
Revert "Revert "Generalize makeTerm1' over the term type.""
This reverts commit 8273312a7f.
|
2019-10-18 21:37:53 -04:00 |
|
Rob Rix
|
051bfa2774
|
Revert "Revert "Generalize makeTerm'' over the term type.""
This reverts commit 1701fefd77.
|
2019-10-18 21:37:50 -04:00 |
|
Rob Rix
|
2976949de4
|
Revert "Revert "Generalize makeTerm over the term type.""
This reverts commit 2449f9a94c.
|
2019-10-18 21:37:47 -04:00 |
|
Rob Rix
|
b09f45efe0
|
Revert "Revert "Generalize makeTerm' over the term type.""
This reverts commit e0013aa8a9.
|
2019-10-18 21:37:44 -04:00 |
|
Rob Rix
|
b8b98fb6d8
|
Revert "Revert "🔥 guardTerm.""
This reverts commit 0723859f33.
|
2019-10-18 21:37:42 -04:00 |
|
Rob Rix
|
242a305016
|
Revert "Revert "Abstract term injection & projection.""
This reverts commit d5abb0fa75.
|
2019-10-18 21:37:38 -04:00 |
|
Rob Rix
|
1ebe2c3f6a
|
Revert "Revert "Give simpler primitives for IsTerm.""
This reverts commit 9648b05ebd.
|
2019-10-18 21:37:36 -04:00 |
|
Rob Rix
|
9687d690a1
|
Revert "Revert "🔥 redundant quantifiers.""
This reverts commit 477b4f1501.
|
2019-10-18 21:37:34 -04:00 |
|
Rob Rix
|
46c4c788c9
|
Revert "Revert "Define an abstraction over the Term introduction/elimination forms.""
This reverts commit 7ab610a24d.
|
2019-10-18 21:37:31 -04:00 |
|
Rob Rix
|
9064cda58a
|
Merge branch 'edit-these-patch' into abstract-a-la-carte-terms
|
2019-10-18 20:17:54 -04:00 |
|
Rob Rix
|
7ab610a24d
|
Revert "Define an abstraction over the Term introduction/elimination forms."
This reverts commit 1e401f5cc9.
|
2019-10-18 20:11:45 -04:00 |
|
Rob Rix
|
477b4f1501
|
Revert "🔥 redundant quantifiers."
This reverts commit b5c0608694.
|
2019-10-18 20:11:43 -04:00 |
|
Rob Rix
|
9648b05ebd
|
Revert "Give simpler primitives for IsTerm."
This reverts commit e2379abeba.
|
2019-10-18 20:11:40 -04:00 |
|
Rob Rix
|
d5abb0fa75
|
Revert "Abstract term injection & projection."
This reverts commit 694164d3d4.
|
2019-10-18 20:11:38 -04:00 |
|
Rob Rix
|
0723859f33
|
Revert "🔥 guardTerm."
This reverts commit 0065b0d99a.
|
2019-10-18 20:11:35 -04:00 |
|
Rob Rix
|
e0013aa8a9
|
Revert "Generalize makeTerm' over the term type."
This reverts commit 996594dc5f.
|
2019-10-18 20:11:16 -04:00 |
|
Rob Rix
|
2449f9a94c
|
Revert "Generalize makeTerm over the term type."
This reverts commit 15077437f2.
|
2019-10-18 20:11:09 -04:00 |
|
Rob Rix
|
1701fefd77
|
Revert "Generalize makeTerm'' over the term type."
This reverts commit f50ab78f9d.
|
2019-10-18 20:11:07 -04:00 |
|
Rob Rix
|
8273312a7f
|
Revert "Generalize makeTerm1' over the term type."
This reverts commit 9d87c5027c.
|
2019-10-18 20:11:04 -04:00 |
|
Rob Rix
|
7edac28207
|
Revert "Generalize makeTerm1 over the term type."
This reverts commit 152a6510d1.
|
2019-10-18 20:11:01 -04:00 |
|
Rob Rix
|
d9c408a2f5
|
Revert "Generalize emptyTerm over the term type."
This reverts commit 7b67989dff.
|
2019-10-18 20:10:58 -04:00 |
|
Rob Rix
|
f71505d209
|
Revert "Generalize handleError over the term type."
This reverts commit cd2a1b0456.
|
2019-10-18 20:10:55 -04:00 |
|
Rob Rix
|
0bb8039218
|
Revert "Generalize parseError over the term type."
This reverts commit b6b95d675f.
|
2019-10-18 20:10:51 -04:00 |
|
Rob Rix
|
3db3f1c490
|
Revert "Generalize contextualize over the term type."
This reverts commit 8c13def45d.
|
2019-10-18 20:10:49 -04:00 |
|
Rob Rix
|
151e37ebf8
|
Revert "Generalize postContextualizeThrough over the term type."
This reverts commit b4ed1bd449.
|
2019-10-18 20:10:45 -04:00 |
|
Rob Rix
|
0aeb77616d
|
Revert "Generalize postContextualize over the term type."
This reverts commit c36833ee75.
|
2019-10-18 20:10:43 -04:00 |
|
Rob Rix
|
54b357f741
|
Revert "Generalize infixContext over the term type."
This reverts commit c73a0fbff4.
|
2019-10-18 20:10:41 -04:00 |
|
Rob Rix
|
c73a0fbff4
|
Generalize infixContext over the term type.
|
2019-10-18 19:05:35 -04:00 |
|
Rob Rix
|
c36833ee75
|
Generalize postContextualize over the term type.
|
2019-10-18 19:05:28 -04:00 |
|
Rob Rix
|
b4ed1bd449
|
Generalize postContextualizeThrough over the term type.
|
2019-10-18 19:05:21 -04:00 |
|
Rob Rix
|
8c13def45d
|
Generalize contextualize over the term type.
|
2019-10-18 19:04:06 -04:00 |
|
Rob Rix
|
b6b95d675f
|
Generalize parseError over the term type.
|
2019-10-18 19:03:37 -04:00 |
|
Rob Rix
|
cd2a1b0456
|
Generalize handleError over the term type.
|
2019-10-18 19:03:05 -04:00 |
|
Rob Rix
|
7b67989dff
|
Generalize emptyTerm over the term type.
|
2019-10-18 19:02:28 -04:00 |
|
Rob Rix
|
152a6510d1
|
Generalize makeTerm1 over the term type.
|
2019-10-18 19:01:39 -04:00 |
|
Rob Rix
|
9d87c5027c
|
Generalize makeTerm1' over the term type.
|
2019-10-18 19:01:33 -04:00 |
|
Rob Rix
|
f50ab78f9d
|
Generalize makeTerm'' over the term type.
|
2019-10-18 19:00:29 -04:00 |
|
Rob Rix
|
15077437f2
|
Generalize makeTerm over the term type.
|
2019-10-18 18:59:47 -04:00 |
|
Rob Rix
|
996594dc5f
|
Generalize makeTerm' over the term type.
|
2019-10-18 18:55:52 -04:00 |
|
Rob Rix
|
0065b0d99a
|
🔥 guardTerm.
|
2019-10-18 18:52:34 -04:00 |
|
Rob Rix
|
694164d3d4
|
Abstract term injection & projection.
|
2019-10-18 18:50:41 -04:00 |
|
Rob Rix
|
e2379abeba
|
Give simpler primitives for IsTerm.
|
2019-10-18 18:48:12 -04:00 |
|
Rob Rix
|
b5c0608694
|
🔥 redundant quantifiers.
|
2019-10-18 18:44:55 -04:00 |
|
Rob Rix
|
1e401f5cc9
|
Define an abstraction over the Term introduction/elimination forms.
|
2019-10-18 18:43:43 -04:00 |
|
Rob Rix
|
1b0d2f8758
|
Merge branch 'master' into abstract-analysis-parsing
|
2019-10-18 18:07:45 -04:00 |
|
Rob Rix
|
9e20fc889e
|
Merge branch 'master' into edit-these-patch
|
2019-10-18 18:06:57 -04:00 |
|
Rob Rix
|
cc2df9de19
|
Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick
Compute ToCs over precise ASTs
|
2019-10-18 18:05:25 -04:00 |
|
Rob Rix
|
17c173957e
|
🔥 the AccessControls1 instances for Markdown.
|
2019-10-18 18:03:58 -04:00 |
|
Rob Rix
|
bd010a4ca4
|
Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms
|
2019-10-18 18:00:36 -04:00 |
|
Rob Rix
|
d8b730c34a
|
Port everything over to Ruby.Term.
|
2019-10-18 17:33:26 -04:00 |
|
Rob Rix
|
9d9c9bea5d
|
Port everything over to Go.Term.
|
2019-10-18 17:24:04 -04:00 |
|
Rob Rix
|
3f48a9da5a
|
Port everything over to Python.Term.
|
2019-10-18 17:19:52 -04:00 |
|
Rob Rix
|
af85945d03
|
Port everything over to PHP.Term.
|
2019-10-18 17:12:02 -04:00 |
|
Rob Rix
|
293c2f77df
|
Derive an AcessControls instance for TypeScript.Term.
|
2019-10-18 16:57:52 -04:00 |
|
Rob Rix
|
78e332d5ba
|
Derive an AccessControls instance for TSX.Term.
|
2019-10-18 16:35:08 -04:00 |
|
Rob Rix
|
fa34b0bab0
|
Express HasErrors at * -> *.
|
2019-10-18 15:59:52 -04:00 |
|
Rob Rix
|
aa17940852
|
Define a typeclass abstracting getting errors out of a term.
|
2019-10-18 15:57:17 -04:00 |
|
Rob Rix
|
a6cce41d76
|
Define a VertexDeclaration instance for Quieterm.
|
2019-10-18 14:34:38 -04:00 |
|
Rob Rix
|
000f127ff2
|
VertexDeclarations takes * -> *.
|
2019-10-18 13:47:40 -04:00 |
|
Rob Rix
|
337ef7fac2
|
Split VertexDeclaration into base and lifted classes.
|
2019-10-18 13:43:06 -04:00 |
|
Rob Rix
|
2e8e65a13b
|
Rename VertexDeclaration to VertexDeclaration1.
|
2019-10-18 13:32:15 -04:00 |
|
Rob Rix
|
b8ed4c9b22
|
Use V1 instead of Maybe just in case.
|
2019-10-18 13:18:30 -04:00 |
|
Rob Rix
|
30b0f31020
|
Simplify VertexDeclaration to avoid the extra type parameter.
|
2019-10-18 13:18:02 -04:00 |
|
Rob Rix
|
5d3d0b6599
|
Alignment.
|
2019-10-18 13:01:30 -04:00 |
|
Rob Rix
|
b6f9fea37d
|
Use fromMaybes to define maybeBlobPair.
|
2019-10-18 12:26:50 -04:00 |
|
Rob Rix
|
41f38b1c59
|
Use Applicative to tidy up further.
|
2019-10-18 12:25:40 -04:00 |
|
Rob Rix
|
fecb0d8f1f
|
Use fromMaybes to clean up the FromJSON instance for BlobPair.
|
2019-10-18 12:25:09 -04:00 |
|
Rob Rix
|
fc93bb4b4d
|
Define a helper to construct an Edit from a pair of Maybes.
|
2019-10-18 12:24:44 -04:00 |
|
Rob Rix
|
cb3fa623b1
|
Alignment.
|
2019-10-18 12:20:32 -04:00 |
|
Rob Rix
|
1bdf9ff63a
|
Alignment.
|
2019-10-18 12:19:02 -04:00 |
|
Rob Rix
|
c80af0fc21
|
🔥 mergeEditWith.
|
2019-10-18 12:18:47 -04:00 |
|
Rob Rix
|
1d72bfe0ef
|
📝 mergeEdit.
|
2019-10-18 12:17:34 -04:00 |
|
Rob Rix
|
f140d97d23
|
Fix the docs for edit.
|
2019-10-18 12:16:26 -04:00 |
|
Rob Rix
|
6722f2f9da
|
Fix docs.
|
2019-10-18 12:15:20 -04:00 |
|
Rob Rix
|
84a448ad4f
|
Simplify the Bitraversable instance.
|
2019-10-18 12:14:47 -04:00 |
|