Patrick Thomson
|
6bebd84deb
|
Officially require GHC 8.8.
|
2019-12-13 15:48:49 -05:00 |
|
Patrick Thomson
|
dc69714053
|
Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8
|
2019-12-13 11:23:36 -05:00 |
|
Patrick Thomson
|
68ab3cbb97
|
semantic:exe now compiles
|
2019-12-10 13:32:56 -05:00 |
|
Patrick Thomson
|
a11462dc13
|
PureC is gone.
|
2019-11-08 10:27:50 -05:00 |
|
Patrick Thomson
|
35ea116f00
|
Bump various FE dependencies from 0.5 to 1.0.
|
2019-11-07 15:48:57 -05:00 |
|
Rob Rix
|
5372cfad51
|
Merge branch 'master' into fused-effects-one-dot-zero
|
2019-10-25 16:05:40 -04:00 |
|
Rob Rix
|
b22d86b55b
|
Tags hold a Loc.
|
2019-10-17 12:28:32 -04:00 |
|
Rob Rix
|
36d8d4682b
|
Re-export :+:.
|
2019-10-08 16:02:18 -04:00 |
|
Rob Rix
|
34bf5ad033
|
📝 ShowSum'.
|
2019-10-08 15:43:24 -04:00 |
|
Rob Rix
|
a2312d1185
|
📝 ShowSum.
|
2019-10-08 15:42:21 -04:00 |
|
Rob Rix
|
78cc4835fc
|
📝 the error case.
|
2019-10-08 15:41:20 -04:00 |
|
Rob Rix
|
5d4317031a
|
📝 the right-recursive instance.
|
2019-10-08 15:41:16 -04:00 |
|
Rob Rix
|
5242e394df
|
📝 the left-recursive instance.
|
2019-10-08 15:41:10 -04:00 |
|
Rob Rix
|
579e5792e8
|
📝 the reflexive instance.
|
2019-10-08 15:41:02 -04:00 |
|
Rob Rix
|
ea0a4c99b8
|
📝 Element'.
|
2019-10-08 15:40:54 -04:00 |
|
Rob Rix
|
acbb1e7cd5
|
📝 <>.
|
2019-10-08 15:40:48 -04:00 |
|
Rob Rix
|
607f8263a5
|
📝 Find'.
|
2019-10-08 15:40:41 -04:00 |
|
Rob Rix
|
83bead5840
|
📝 Find.
|
2019-10-08 15:40:34 -04:00 |
|
Rob Rix
|
abb6eff40f
|
📝 Side.
|
2019-10-08 15:40:28 -04:00 |
|
Rob Rix
|
31ba6be9d8
|
Note the custom error message.
|
2019-10-08 15:40:23 -04:00 |
|
Rob Rix
|
f27729ab14
|
Move the 'None instance up.
|
2019-10-08 15:39:08 -04:00 |
|
Rob Rix
|
3334ec81d3
|
🔥 OVERLAPPABLE.
|
2019-10-08 15:37:52 -04:00 |
|
Rob Rix
|
711ec1957d
|
📝 Prj.
|
2019-10-08 15:35:07 -04:00 |
|
Rob Rix
|
3051c8cace
|
Spacing.
|
2019-10-08 15:34:47 -04:00 |
|
Rob Rix
|
da227888ce
|
Rename Elem to Find.
|
2019-10-08 15:34:33 -04:00 |
|
Rob Rix
|
da890fa747
|
Redefine Element using a type family computing which side to recur on.
This avoids having to reassociate the tree, which is considerably more expensive for balanced trees.
|
2019-10-08 15:30:37 -04:00 |
|
Rob Rix
|
75ed50c574
|
List the imports from GHC.Generics.
|
2019-10-08 15:20:58 -04:00 |
|
Rob Rix
|
a307d0757a
|
Define a pattern synonym for matching out of sums.
|
2019-10-08 15:10:33 -04:00 |
|
Rob Rix
|
4e194a5943
|
📝 prj.
|
2019-10-08 15:08:37 -04:00 |
|
Rob Rix
|
ad1de17e64
|
📝 Element.
|
2019-10-08 15:08:17 -04:00 |
|
Rob Rix
|
5e3afdb2da
|
Revert "🔥 AST.Element for now."
This reverts commit ad43b0c1a2 .
|
2019-10-08 14:45:21 -04:00 |
|
Rob Rix
|
3c3ff4aefc
|
Fix Tags.Tagging.Precise.
|
2019-10-04 18:44:17 -04:00 |
|
Rob Rix
|
51abeb58ba
|
We don’t actually have any doctests in these packages.
|
2019-10-03 01:18:59 -04:00 |
|
Rob Rix
|
d07cc5508a
|
Move Language.Python & Language.Python.Tags into semantic-python.
|
2019-10-03 01:13:41 -04:00 |
|
Rob Rix
|
118b010937
|
🔥 a redundant dependency.
|
2019-10-03 01:07:46 -04:00 |
|
Rob Rix
|
51e7a88f16
|
🔥 commented-out lines.
|
2019-10-03 01:07:36 -04:00 |
|
Rob Rix
|
6ca230a173
|
Simplify the gtags instance for FunctionDefinition using gtags.
|
2019-10-03 00:47:43 -04:00 |
|
Rob Rix
|
79602d42c5
|
Simplify the ClassDefinition instance using gtags.
|
2019-10-03 00:46:47 -04:00 |
|
Rob Rix
|
1d84e7826e
|
Simplify the Call instance using gtags.
|
2019-10-03 00:46:24 -04:00 |
|
Rob Rix
|
2ffb64ad0f
|
Extract the generic tagging call.
|
2019-10-03 00:45:28 -04:00 |
|
Rob Rix
|
45dae07515
|
Move firstLine into semantic-tags.
|
2019-10-03 00:44:19 -04:00 |
|
Rob Rix
|
e1226efbbd
|
Mod unmarshalled tags to one-index them.
|
2019-09-27 15:14:32 -04:00 |
|
Rob Rix
|
bd73cd0e1d
|
Bump to the latest tree-sitter* packages.
|
2019-09-27 14:02:49 -04:00 |
|
Rob Rix
|
4f85f5148f
|
Define an Unmarshal instance for Py.Term.
|
2019-09-27 10:52:43 -04:00 |
|
Rob Rix
|
30a47a2595
|
📝 Language.Python.
|
2019-09-27 10:48:39 -04:00 |
|
Rob Rix
|
f33e678c7a
|
Move Term into Language.Python.
|
2019-09-25 12:04:13 -04:00 |
|
Rob Rix
|
a0e723a22d
|
Stub in an overall Python module.
|
2019-09-25 12:02:01 -04:00 |
|
Rob Rix
|
0ca8e7cc2d
|
Rename Tags.Taggable.Precise to Tags.Tagging.Precise.
|
2019-09-24 17:17:54 -04:00 |
|
Rob Rix
|
32bd132c75
|
Define ToTag purely.
|
2019-09-24 17:15:43 -04:00 |
|
Rob Rix
|
4a5ab1107a
|
Note a FIXME.
|
2019-09-24 17:09:01 -04:00 |
|