Patrick Thomson
|
f1bdfcd86e
|
Move ToScopeGraph into its own module to break a cycle.
|
2020-01-13 14:05:31 -05:00 |
|
Rob Rix
|
cd7bfa1217
|
📝 the constraint a bit further.
|
2020-01-13 13:57:48 -05:00 |
|
Rob Rix
|
e4aae306ba
|
📝 the constraint.
|
2020-01-13 13:56:42 -05:00 |
|
Rob Rix
|
a6bb06fb28
|
📝 non-recursiveness.
|
2020-01-13 13:55:25 -05:00 |
|
Rob Rix
|
7521a81021
|
A note on expressiveness.
|
2020-01-13 13:50:57 -05:00 |
|
Timothy Clem
|
aee1dcfe34
|
Fold calls into parent syntax to get spans right
|
2020-01-13 10:49:25 -08: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 |
|
Patrick Thomson
|
1f93cc02ff
|
okay, now we just need to define Assignment
|
2020-01-13 12:43:57 -05:00 |
|
Patrick Thomson
|
92aa4bbd0b
|
even more instances
|
2020-01-13 12:36:42 -05:00 |
|
Patrick Thomson
|
cc37a0c460
|
even more instances, and build onChildren helper
|
2020-01-13 12:26:02 -05:00 |
|
Patrick Thomson
|
79def2cb04
|
even more instances
|
2020-01-13 11:37:56 -05:00 |
|
Patrick Thomson
|
f7c27f8857
|
start defining some instances
|
2020-01-13 10:48:49 -05:00 |
|
Ayman Nadeem
|
8befed9940
|
🔥comments
|
2020-01-13 10:46:59 -05:00 |
|
Ayman Nadeem
|
32123145a0
|
remove ghc-options
|
2020-01-13 10:46:32 -05:00 |
|
Patrick Thomson
|
24053a1477
|
Sample definition for module stuff. Now to write some Generics code.
|
2020-01-13 10:33:29 -05:00 |
|
Patrick Thomson
|
bb01a368fb
|
This reverts commit e7df755bb6 .
|
2020-01-13 10:08:07 -05:00 |
|
Patrick Thomson
|
e7df755bb6
|
let's use pathtype.
|
2020-01-10 19:24:24 -05:00 |
|
Timothy Clem
|
993e9a3c36
|
Better sorting to line up symbols
|
2020-01-10 15:50:01 -08:00 |
|
Patrick Thomson
|
524fbba3ad
|
move the Sketch effect into semantic-scope-graph
|
2020-01-10 18:48:40 -05:00 |
|
Patrick Thomson
|
4ac7d184f4
|
extract this function
|
2020-01-10 18:40:07 -05:00 |
|
Patrick Thomson
|
61f8f2e8ba
|
This is nicer with proper use of Monoid and Semigroup.
|
2020-01-10 18:31:38 -05:00 |
|
Timothy Clem
|
d0450d2c4a
|
Ignore tags in regexes and subshells for now
|
2020-01-10 15:24:41 -08:00 |
|
Timothy Clem
|
bc13ecac13
|
Track locals in operator assignment
|
2020-01-10 15:24:26 -08:00 |
|
Timothy Clem
|
aca2106862
|
Order we traverse matters due to tracking locals
|
2020-01-10 15:24:14 -08:00 |
|