Rob Rix
|
7521a81021
|
A note on expressiveness.
|
2020-01-13 13:50:57 -05:00 |
|
Rob Rix
|
666c09b7e2
|
📝 Traversable1.
|
2020-01-13 13:49:11 -05:00 |
|
Rob Rix
|
de95f25edf
|
Add a FIXME about deriving Traversable1 instances for our syntax types.
|
2020-01-13 13:47:14 -05:00 |
|
Rob Rix
|
73d69bdd15
|
Add some FIXMEs about Traversable1 & GTraversable1.
|
2020-01-13 13:46:36 -05:00 |
|
Rob Rix
|
dbe5eeec9f
|
Define Python tagging using GTraversable1.
|
2020-01-13 13:45:57 -05:00 |
|
Rob Rix
|
37ead274fb
|
📝 Generics.
|
2020-01-13 13:45:24 -05:00 |
|
Rob Rix
|
281d62ba3d
|
Define a Traversable1 instance for Generics t using the GTraversable1 instance for t.
|
2020-01-13 13:42:24 -05:00 |
|
Rob Rix
|
0a869110b6
|
Derive some instances for Generics.
|
2020-01-13 13:39:24 -05:00 |
|
Rob Rix
|
a23ea55bb8
|
Define a Generics newtype.
|
2020-01-13 13:39:06 -05:00 |
|
Rob Rix
|
a8f666ad5b
|
Define a foldMap1 convenience using traverse1.
|
2020-01-13 13:35:18 -05:00 |
|
Rob Rix
|
0c6e09849b
|
📝 traverse1.
|
2020-01-13 13:31:36 -05:00 |
|
Rob Rix
|
222c5642be
|
Give a default signature for traverse1.
|
2020-01-13 13:30:26 -05:00 |
|
Rob Rix
|
32dd435843
|
Reformat.
|
2020-01-13 13:29:21 -05:00 |
|
Rob Rix
|
bf3c17fada
|
Don’t align -#}s in LANGUAGE pragmas.
|
2020-01-13 13:29:17 -05:00 |
|
Rob Rix
|
45ec40f1c3
|
Reformat.
|
2020-01-13 13:28:44 -05:00 |
|
Rob Rix
|
03c017e590
|
Define a Traversable1 class.
|
2020-01-13 13:28:29 -05:00 |
|
Rob Rix
|
34114ef52d
|
📝 gtraverse1.
|
2020-01-13 13:27:03 -05:00 |
|
Rob Rix
|
04c3712f36
|
Define a GTraversable1 instance for Rec1.
|
2020-01-13 13:26:11 -05:00 |
|
Rob Rix
|
87db10b9b3
|
Define a GTraversable1 instance for U1.
|
2020-01-13 13:25:21 -05:00 |
|
Rob Rix
|
925158e717
|
Define a GTraversable1 instance for :.:.
|
2020-01-13 13:24:11 -05:00 |
|
Rob Rix
|
52f0c8b9bd
|
Define a GTraversable1 instance for Par1.
|
2020-01-13 13:23:21 -05:00 |
|
Rob Rix
|
22adcee7d3
|
Pass a parameter for mapping over annotation positions.
|
2020-01-13 13:21:28 -05:00 |
|
Rob Rix
|
e8420faa01
|
Define a GTraversable1 instance for K1.
|
2020-01-13 13:13:14 -05:00 |
|
Rob Rix
|
c574d56e23
|
Define a GTraversable1 instance for :+:.
|
2020-01-13 13:07:43 -05:00 |
|
Rob Rix
|
eecace9024
|
Define a GTraversable1 instance for :*:.
|
2020-01-13 13:07:05 -05:00 |
|
Rob Rix
|
35f7094dab
|
Define a GTraversable1 instance for M1.
|
2020-01-13 13:05:55 -05:00 |
|
Rob Rix
|
e0f6462e78
|
Add a gtraverse1 method to GTraversable1.
|
2020-01-13 13:04:25 -05:00 |
|
Rob Rix
|
c6d658130d
|
Stub in a class for traversal of higher-order subterm positions.
|
2020-01-13 12:59:59 -05:00 |
|
Timothy Clem
|
9cd8717cc2
|
Merge pull request #414 from github/more-precise-parsing
More precise parsing
|
2020-01-06 13:38:35 -08:00 |
|
Timothy Clem
|
52b24e55ec
|
Use vertical style pragmas
|
2020-01-06 09:30:36 -08:00 |
|
Timothy Clem
|
87954ae399
|
Some record puns
|
2020-01-06 09:23:19 -08:00 |
|
Timothy Clem
|
03ae167523
|
This toggle with ts halt on error
|
2019-12-20 11:07:24 -08:00 |
|
Timothy Clem
|
250ede0eec
|
Corpus test updates from changing assignment
|
2019-12-20 10:47:42 -08:00 |
|
Timothy Clem
|
4a6185eea0
|
Test all of the examples
|
2019-12-20 09:40:00 -08:00 |
|
Timothy Clem
|
c1cf16ed03
|
Handle a couple more function call cases
|
2019-12-20 09:39:38 -08:00 |
|
Timothy Clem
|
13c49ee0a4
|
Clean up language mode flags
|
2019-12-19 15:36:04 -08:00 |
|
Timothy Clem
|
b2ef8e9fe1
|
Add semantic-tsx
|
2019-12-19 15:34:39 -08:00 |
|
Timothy Clem
|
e4bf165276
|
Add semantic-typescript
|
2019-12-19 14:32:45 -08:00 |
|
Timothy Clem
|
d6311fc79b
|
Put the other languages back in
|
2019-12-19 11:30:10 -08:00 |
|
Timothy Clem
|
06dcfbe86c
|
Need to be able to skip dirs in go too
|
2019-12-19 11:15:48 -08:00 |
|
Timothy Clem
|
6797054142
|
Couple more things to ignore
|
2019-12-18 14:29:01 -08:00 |
|
Timothy Clem
|
a20e38fe1d
|
Cleanup
|
2019-12-18 14:28:51 -08:00 |
|
Timothy Clem
|
859675ee84
|
ParenthesizedExpression allowed here
|
2019-12-18 14:28:48 -08:00 |
|
Rob Rix
|
570b2c2e47
|
Merge pull request #413 from github/generalize-fix-broken-cabal-store
Generalize script/fix-broken-cabal-store
|
2019-12-18 17:15:34 -05:00 |
|
Patrick Thomson
|
f2f6c8eb94
|
Merge pull request #412 from github/the-thin-read-line
Use fused-effects-readline package rather than a custom implementation.
|
2019-12-18 17:07:38 -05:00 |
|
Rob Rix
|
a921912ecf
|
Factor out the prefix.
|
2019-12-18 16:55:20 -05:00 |
|
Timothy Clem
|
39df10a4f4
|
Start to test out go
|
2019-12-18 13:52:56 -08:00 |
|
Timothy Clem
|
5d271a8f49
|
Fix augmented assignment in Go
|
2019-12-18 13:52:42 -08:00 |
|
Timothy Clem
|
80ab58bd7f
|
Introduce semantic-go
|
2019-12-18 13:52:22 -08:00 |
|
Rob Rix
|
bc5796178e
|
Quote the paths.
|
2019-12-18 16:50:40 -05:00 |
|