Patrick Thomson
a96a0e105a
Revert "Remove special case from Files.readBlobs."
...
This reverts commit 6fe879d908
.
2019-09-24 01:18:13 -04:00
Patrick Thomson
6fe879d908
Remove special case from Files.readBlobs.
2019-09-24 01:17:11 -04:00
Patrick Thomson
18a1a0d8b7
Avoid 'head', which is partial.
2019-09-24 00:57:22 -04:00
Patrick Thomson
1731df8bd8
Stray import.
2019-09-23 22:16:25 -04:00
Patrick Thomson
3926742c1d
Improve parsing of FileCheck-style tags.
...
This used to operate via some fast-and-loose (ab)use of the Trifecta
API. A simpler way to do things is to use streaming-bytestring to load
a file line by line and parse directives until we encounter program text.
2019-09-23 22:00:44 -04:00
Patrick Thomson
6dcbe96a0c
Fix warnings in Language.Python.Core.
2019-09-23 19:59:23 -04:00
Patrick Thomson
1990e2379b
Merge remote-tracking branch 'origin/master' into remove-regular-compile
2019-09-23 19:56:08 -04:00
Patrick Thomson
aa6053ec66
Merge pull request #271 from github/leaps-and-bounds
...
[semantic-python] Correct translation of assignments and function definitions
2019-09-23 19:54:37 -04:00
Patrick Thomson
a2e1ced785
Reinsert a FIXME.
2019-09-23 19:42:17 -04:00
Rob Rix
2420a52d68
Use GSum to project function identifiers out.
2019-09-23 18:01:17 -04:00
Rob Rix
377fe62b9a
Define a GSum instance for Rec1.
2019-09-23 18:01:06 -04:00
Rob Rix
5231b4f282
Define a GSum instance for sums.
2019-09-23 18:01:00 -04:00
Rob Rix
30dad2da72
Define a GSum instance for M1.
2019-09-23 18:00:46 -04:00
Rob Rix
b7a93aed3d
Define a class for projecting out the members of a sum.
2019-09-23 18:00:36 -04:00
Rob Rix
b5cffe8ebe
Tags always have lines.
2019-09-23 17:52:22 -04:00
Rob Rix
e816d60260
Flesh out the ToTagBy instance for calls.
2019-09-23 17:51:43 -04:00
Rob Rix
61915b8152
Flesh out the ToTagBy instance for Py.ClassDefinition.
2019-09-23 17:50:20 -04:00
Rob Rix
ea8d5a8817
Define ToTag at * -> *.
2019-09-23 17:47:10 -04:00
Rob Rix
ca854d1b28
Define ToTagBy at * -> *.
2019-09-23 17:45:45 -04:00
Rob Rix
2ba64b1e08
🔥 the ToTagInstance for lists.
2019-09-23 17:40:37 -04:00
Rob Rix
7922af23fe
🔥 the ToTagBy instance for Text.
2019-09-23 17:39:58 -04:00
Rob Rix
6e0a69603e
🔥 the ToTagBy instance for Loc.
2019-09-23 17:39:33 -04:00
Rob Rix
26d064d451
Don’t call ToTag for constant fields.
2019-09-23 17:38:53 -04:00
Rob Rix
ea917d2d0d
🔥 a redundant language extension.
2019-09-23 17:37:14 -04:00
Rob Rix
4993275b5c
Stub in a custom ToTagBy instance for calls.
2019-09-23 17:36:55 -04:00
Rob Rix
683ab79c06
Stub in a custom ToTagBy instance for class definitions.
2019-09-23 17:36:45 -04:00
Rob Rix
c4daf7bcea
Use Generic1 representations for ToTagBy 'Generic.
2019-09-23 17:14:49 -04:00
Rob Rix
422e6f8836
Use :+: in place of Either.
2019-09-23 16:48:50 -04:00
Rob Rix
f9d9686372
Define an Element instance for matching on the right.
2019-09-23 15:02:24 -04:00
Rob Rix
4199011b42
Define an Element instance for matching on the left.
2019-09-23 15:02:17 -04:00
Rob Rix
fe76c3dca6
Define an Element instance for reassociating left-nested trees.
2019-09-23 15:01:38 -04:00
Rob Rix
6d37792707
Define an Element instance for matching leaves.
2019-09-23 15:01:27 -04:00
Rob Rix
69f5d8b1a3
Define a class to project elements out of :+:-trees.
2019-09-23 15:01:13 -04:00
Rob Rix
5dccc3522b
🔥 a redundant language extension.
2019-09-23 14:53:07 -04:00
Rob Rix
1cd9be5cc4
Move Tag & Kind to Tags.Tag.
2019-09-23 14:52:27 -04:00
Rob Rix
97e47f95ba
Stub in a module for Tag.
2019-09-23 14:50:36 -04:00
Rob Rix
11f8f62057
🔥 the ToJSON instances for Tag & Kind.
2019-09-23 14:49:48 -04:00
Rob Rix
1098dd3667
🔥 the context.
2019-09-23 14:48:29 -04:00
Rob Rix
0f19823397
🔥 the context field.
2019-09-23 14:46:50 -04:00
Patrick Thomson
e98e483c13
Define Compile interface in terms of compileCC.
2019-09-23 13:30:23 -04:00
Patrick Thomson
a556e1d9ff
fix typo
2019-09-23 13:02:50 -04:00
Patrick Thomson
0d994ca28a
Less-specious implementation of ExpressionList compilation.
2019-09-23 12:48:58 -04:00
Patrick Thomson
19a1fa9cfc
More cleanup.
2019-09-23 12:42:08 -04:00
Patrick Thomson
e7f84566b6
Add viaCompileCC helper.
2019-09-23 12:37:21 -04:00
Patrick Thomson
46c7d45865
Cleanup.
2019-09-23 12:33:45 -04:00
Patrick Thomson
54b5d379ea
Fix Compile instance for ExpressionStatement and Assignment.
2019-09-23 12:31:25 -04:00
Patrick Thomson
dccc1942aa
Break toplevel assignment case because it's wrong.
2019-09-23 12:13:40 -04:00
Patrick Thomson
375c975338
Use compileCC to build a record of toplevel bindings.
2019-09-23 11:56:40 -04:00
Patrick Thomson
4174fce11c
Add Bindings type and reader effect.
2019-09-23 11:06:10 -04:00
Patrick Thomson
cdbe90a65e
Merge pull request #270 from github/speed-up-foldMapA
...
Speed up foldMapA.
2019-09-21 09:50:27 -04:00