github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity
30,437 Commits 19 Branches 16 Tags 46 MiB
9e31fc1f9b
Commit Graph

24 Commits

Author SHA1 Message Date
Rob Rix
cce6f74b95
🔥 a redundant import. 2019-10-11 09:13:48 -04:00
Rob Rix
d16a3c909c
Weaken a Carrier constraint to Applicative. 2019-10-11 09:13:30 -04:00
Rob Rix
9b48331945
🔥 a redundant constraint. 2019-10-11 09:13:20 -04:00
Rob Rix
7df71e359e
Replace Core.Term with Syntax.Term. 2019-10-10 15:17:22 -04:00
Rob Rix
d7dc440a30
Move all the Data.* modules into Core.* instead. 2019-10-10 15:07:49 -04:00
Patrick Thomson
ae46a7b105
Make Data.Name.Name a newtype rather than a synonym. 
The fact that `Name` was a simple alias for `Text` was creeping into
the error messages I'm seeing in `semantic-python`, which was a bit of
a buzzkill. This remedies that.
 2019-10-07 17:45:53 -04:00
Rob Rix
7d1567e70a
🔥 a bunch of redundant hidden imports. 2019-09-20 16:45:12 -04:00
Rob Rix
f141319f84
Rename User to Name. 2019-08-06 11:18:54 -04:00
Rob Rix
4296244f9e
Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs 2019-07-29 13:19:51 -04:00
Rob Rix
f10cbb21b3
Generate string literals. 2019-07-23 15:43:11 -04:00
Rob Rix
3d65ae97ef
Sort the atoms. 2019-07-23 15:27:03 -04:00
Rob Rix
e4470bcbcc
Generate load instructions. 2019-07-23 15:23:26 -04:00
Rob Rix
0d530dc078
Sort the recursive generators. 2019-07-23 15:22:12 -04:00
Rob Rix
308066fbb1
Generate recursive bindings. 2019-07-23 15:18:04 -04:00
Rob Rix
e03236d301
Generate assignments. 2019-07-23 15:15:55 -04:00
Rob Rix
539f8db2f6
Test roundtripping of general expressions. 2019-07-22 15:42:08 -04:00
Rob Rix
b43bdbb353
Use named' to define the name generator. 2019-07-22 15:33:47 -04:00
Rob Rix
043d3083fa
Generate records. 2019-07-22 15:26:02 -04:00
Rob Rix
52da8b764c
Qualify the import of Data.Core. 2019-07-22 15:13:14 -04:00
Rob Rix
45a3d6f0c1
Fix the generators. 2019-07-22 14:24:40 -04:00
Rob Rix
1d94634cce
Generate User names. 2019-07-17 12:55:05 -04:00
Rob Rix
c2812f8995
Fix up the generators. 2019-07-17 12:44:27 -04:00
Rob Rix
2f077365e2
Generate Text. 2019-06-25 14:21:36 -04:00
Patrick Thomson
11a5217f45 Enable tests. 2019-06-04 11:26:42 -04:00