github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
29,393 Commits 19 Branches 16 Tags 46 MiB
8bf42329a4
Commit Graph

500 Commits

Author SHA1 Message Date
Patrick Thomson
d9f88fc046 Add a CHECK-TREE directive and simplify esoteric jq tests. 
Due to the problems outlined in #245, the tests for return statements
were complicated and not testing useful properties. This patch adds a
new `CHECK-TREE` directive which lets you embed a Core expression
as a string, which is parsed and then compared against the result of
compiling the containing module.
 2019-09-18 18:07:43 -04:00
Patrick Thomson
da5bb84b05 Remove tree-sitter dependency from semantic-core. 2019-09-18 13:49:04 -04:00
Patrick Thomson
302add6c5e Define annWith with annAt. 2019-09-18 13:43:36 -04:00
Patrick Thomson
962cd5d5de Restore spacing. 2019-09-18 13:43:31 -04:00
Patrick Thomson
4d21791ae4 Add Data.Core.annAt. 2019-09-18 11:51:31 -04:00
Patrick Thomson
60fa4c82ab Add Data.Loc.fromTSSpan. 
We'll probably change this so that Unmarshal can do this for us, but
this implementation will suffice for now.
 2019-09-18 11:50:53 -04:00
Patrick Thomson
1c5ac83791 Corral orphan instances. 2019-08-27 11:27:53 -04:00
Patrick Thomson
811f693051 Use Analysis.ScopeGraph instead of my bad reimplementation 2019-08-16 15:54:17 -04:00
Patrick Thomson
90dd0b4d33 Trying to bring up this test harness 2019-08-16 12:34:56 -04:00
Rob Rix
d3726fa9e2
Merge branch 'scope-graphs' into re-name 2019-08-06 15:08:56 -04:00
Rob Rix
0515d7c11d
Let-bind the function extending each value in the cell. 2019-08-06 15:05:15 -04:00
Rob Rix
c30e5ff473
Merge branch 'master' into scope-graphs 2019-08-06 14:55:39 -04:00
Rob Rix
8ad510d274
Merge branch 'master' into generalize-analyses-over-the-term-type 2019-08-06 14:38:30 -04:00
Rob Rix
f0ab3f1c91
Merge branch 'master' into factor-annotations-out-of-core 2019-08-06 14:07:22 -04:00
Rob Rix
c2e620ac6f
Haddock doesn’t like this. 2019-08-06 13:52:32 -04:00
Rob Rix
8d08b1a26a
Merge branch 'master' into sequence-values-in-the-abstract-domain 2019-08-06 13:45:57 -04:00
Rob Rix
d600246663
📝 the Semigroup instance for Concrete. 2019-08-06 13:44:21 -04:00
Rob Rix
82cb7e49b0
📝 the Semigroup instance for Term Monotype a. 2019-08-06 13:43:37 -04:00
Rob Rix
559a7aa59c
📝 the Semigroup use. 2019-08-06 13:41:45 -04:00
Rob Rix
dbf894163a
Merge branch 'master' into sequence-values-in-the-abstract-domain 2019-08-06 13:37:20 -04:00
Rob Rix
5d47b21977
Merge branch 'master' into module-laws 2019-08-06 13:34:36 -04:00
Rob Rix
372ed98b5e
Avoid rolling our own string literal parser. 
🎩 @patrickt.
 2019-08-06 12:25:05 -04:00
Rob Rix
78bd32e0b0
Don’t prefix :<-. 2019-08-06 12:23:01 -04:00
Rob Rix
b80dd5381a
Pull the rhs into a where clause. 2019-08-06 12:18:34 -04:00
Rob Rix
28404ae11e
foldrWithKey. 
🎩 @patrickt.
 2019-08-06 12:12:11 -04:00
Rob Rix
dd6d9a0209
Type application. 2019-08-06 12:07:01 -04:00
Rob Rix
0d2f05a8c7
📝 the parameters to unprefixEither. 2019-08-06 12:05:22 -04:00
Rob Rix
7c686d1ccb
📝 unprefixEither. 2019-08-06 12:04:22 -04:00
Rob Rix
eb2ede6d1d
Subterm. 2019-08-06 12:02:47 -04:00
Rob Rix
e2ec37ebdb
📝 unprefix’s parameters. 2019-08-06 12:01:30 -04:00
Rob Rix
ab07e5a0d6
📝 unprefix’s purpose. 2019-08-06 11:59:20 -04:00
Rob Rix
7b0a4155da
📝 unprefix. 2019-08-06 11:57:10 -04:00
Rob Rix
93eba20619
Rename un/unEither to unprefix/unprefixEither. 2019-08-06 11:55:43 -04:00
Rob Rix
93eba1d946
📝 the practical takeaway. 2019-08-06 11:47:35 -04:00
Rob Rix
c09e465efb
📝 RightModule and its laws. 2019-08-06 11:40:15 -04:00
Rob Rix
f141319f84
Rename User to Name. 2019-08-06 11:18:54 -04:00
Rob Rix
901014d6ac
🔥 a redundant FIXME. 2019-07-30 09:38:09 -04:00
Rob Rix
e58dea96fb
Factor out how we extend bindings. 2019-07-30 09:21:03 -04:00
Rob Rix
100d6a18ff
Extend the scope graph on assignment. 2019-07-30 09:14:32 -04:00
Rob Rix
196f2bff17
Add declarations to records. 2019-07-29 16:16:46 -04:00
Rob Rix
a73b267ebd
Rename Entry to Decl. 2019-07-29 16:10:09 -04:00
Rob Rix
ed94104e27
Map entries to references. 2019-07-29 16:08:56 -04:00
Rob Rix
a4066b9df6
Construct scope graphs on deref. 2019-07-29 16:07:29 -04:00
Rob Rix
6cb9af299e
Correct the Monoid instance for ScopeGraph. 2019-07-29 15:51:52 -04:00
Rob Rix
3bf6cb61fd
Export ScopeGraph’s constructor & field. 2019-07-29 15:51:38 -04:00
Rob Rix
34da6ada5c
Rename a couple of copy-pasta’d variables. 2019-07-29 15:36:37 -04:00
Rob Rix
a04ccbb08c
Write record fields to the heap in the abstract analyses. 2019-07-29 13:33:07 -04:00
Rob Rix
c7bee13fd4
Generalize scopeGraph over the term type. 2019-07-29 13:22:18 -04:00
Rob Rix
3bafa9a8b3
Generalize runFile over the term type. 2019-07-29 13:21:29 -04:00
Rob Rix
4296244f9e
Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs 2019-07-29 13:19:51 -04:00