Patrick Thomson
|
e05f419314
|
Abstract interpretation test.
|
2018-07-16 11:12:17 -04:00 |
|
Patrick Thomson
|
0ed48c7bbe
|
Simplest test possible.
|
2018-07-16 11:07:40 -04:00 |
|
Rob Rix
|
153102a3e5
|
Specialize FreeVariables1 for Method.
|
2018-07-16 11:02:47 -04:00 |
|
Rob Rix
|
aee818fc35
|
Specialize FreeVariables1 for Function.
|
2018-07-16 11:01:42 -04:00 |
|
Rob Rix
|
ad8dfb3b66
|
Compute sets of free variables.
|
2018-07-16 10:55:41 -04:00 |
|
Rob Rix
|
5cccde998b
|
📝 global scope “namespaces.”
|
2018-07-16 10:53:02 -04:00 |
|
Rob Rix
|
91b446856f
|
Handle anonymous namespaces.
|
2018-07-16 10:50:19 -04:00 |
|
Rob Rix
|
d0fc64e2df
|
Unpack PHP namespace names.
|
2018-07-16 10:50:13 -04:00 |
|
Rob Rix
|
1b00ea555a
|
Recover from NoNameError with a gensym.
|
2018-07-16 10:39:20 -04:00 |
|
Rob Rix
|
360ae0e2f1
|
Replace FreeVariablesError with NoNameError.
|
2018-07-16 10:38:47 -04:00 |
|
Rob Rix
|
bebea2c6de
|
Use declaredName to get function/method parameter names.
|
2018-07-16 10:31:33 -04:00 |
|
Rob Rix
|
5ed183d25d
|
🔥 a bunch of redundant parens.
|
2018-07-16 10:27:54 -04:00 |
|
Rob Rix
|
d74f5ce79c
|
🔥 freeVariables1.
|
2018-07-16 10:27:40 -04:00 |
|
Rob Rix
|
44fb03899c
|
🔥 freeVariable.
|
2018-07-16 10:26:34 -04:00 |
|
Rob Rix
|
3829cf50de
|
Use Declarations for declared names in lets.
|
2018-07-16 10:26:29 -04:00 |
|
Rob Rix
|
8d07c5a30b
|
Use Declarations for declared names in Python.
|
2018-07-16 10:26:21 -04:00 |
|
Rob Rix
|
5df6613cf0
|
Use Declarations for declared names in Go.
|
2018-07-16 10:26:12 -04:00 |
|
Rob Rix
|
24825d3a6d
|
Use Declarations for declared names in Ruby.
|
2018-07-16 10:25:18 -04:00 |
|
Rob Rix
|
ab7daf2591
|
Use Declarations for the declared names in TypeScript.
|
2018-07-16 10:24:46 -04:00 |
|
Rob Rix
|
2df729831c
|
Get the declared names of type aliases using declaredName.
|
2018-07-16 10:23:01 -04:00 |
|
Rob Rix
|
406a2ee625
|
Get the declared names of classes using declaredName.
|
2018-07-16 10:22:27 -04:00 |
|
Rob Rix
|
cc6ed63103
|
Get the declared names of methods using declaredName.
|
2018-07-16 10:21:30 -04:00 |
|
Rob Rix
|
12d2bc1d6b
|
Get the declared names of functions using declaredName.
|
2018-07-16 10:21:00 -04:00 |
|
Rob Rix
|
ad436cafc3
|
🔥 the Declarations instance for Function.
|
2018-07-16 10:17:22 -04:00 |
|
Rob Rix
|
d6a0cf9895
|
Give a point-free definition of liftDeclaredName for Declaration.Function.
|
2018-07-16 10:17:05 -04:00 |
|
Rob Rix
|
0805b68d62
|
Define a Declarations1 instance for Method.
|
2018-07-16 10:16:48 -04:00 |
|
Rob Rix
|
98f143811a
|
Parameterizze liftDeclaredName by the declaredName function for its children.
|
2018-07-16 10:16:02 -04:00 |
|
Rob Rix
|
279cf3bce5
|
Ignore the module export list hint.
|
2018-07-16 09:20:34 -04:00 |
|
Rob Rix
|
1884483753
|
Bring in the default hints at a higher severity.
|
2018-07-16 09:20:26 -04:00 |
|
joshvera
|
f5b149a137
|
Update codeanalysis
|
2018-07-13 19:25:47 -04:00 |
|
joshvera
|
bd7051b488
|
Remove unused var
|
2018-07-13 19:09:35 -04:00 |
|
Timothy Clem
|
33e5a16d7c
|
Merge remote-tracking branch 'origin/master' into grpc-diff-trees
|
2018-07-13 16:00:10 -07:00 |
|
Timothy Clem
|
7f7ad8babf
|
Remove trace for now
|
2018-07-13 15:46:15 -07:00 |
|
Timothy Clem
|
31a75790bd
|
Merge remote-tracking branch 'origin/master' into grpc-diff-trees
|
2018-07-13 15:45:03 -07:00 |
|
joshvera
|
2fe255d09c
|
Add a test for negate
|
2018-07-13 16:49:23 -04:00 |
|
joshvera
|
12db3316f5
|
Remove the diff from the proto message definitions
|
2018-07-13 16:49:23 -04:00 |
|
joshvera
|
263fe0e09d
|
Add another embedded for messages
|
2018-07-13 16:49:23 -04:00 |
|
Timothy Clem
|
8a2645b1c0
|
Merge pull request #2037 from github/publish-to-gpr
Publish semantic and semanticd to the GPR
|
2018-07-13 13:35:31 -07:00 |
|
Timothy Clem
|
a3740549be
|
Merge branch 'master' into publish-to-gpr
|
2018-07-13 13:22:12 -07:00 |
|
Patrick Thomson
|
9d8f2406be
|
Merge pull request #2047 from github/lts-12.0
Upgrade to LTS 12.0 + GHC 8.4.
|
2018-07-13 16:13:43 -04:00 |
|
Timothy Clem
|
428f160266
|
Merge branch 'master' into publish-to-gpr
|
2018-07-13 12:58:56 -07:00 |
|
Patrick Thomson
|
dea4f10f9b
|
Merge remote-tracking branch 'origin/master' into lts-12.0
|
2018-07-13 15:41:09 -04:00 |
|
Patrick Thomson
|
f9fcec872f
|
manually fix licenses
|
2018-07-13 15:30:28 -04:00 |
|
Patrick Thomson
|
695d280f50
|
bump up the cancelable parsing timeout
|
2018-07-13 15:15:10 -04:00 |
|
Patrick Thomson
|
7837f18108
|
Merge pull request #2005 from github/abstract-call-graph
Compute call graph under abstract semantics
|
2018-07-13 15:04:17 -04:00 |
|
Patrick Thomson
|
3d50f9ab62
|
Merge branch 'master' into abstract-call-graph
|
2018-07-13 13:46:35 -04:00 |
|
Patrick Thomson
|
6136ea0921
|
every license ever
|
2018-07-13 13:38:05 -04:00 |
|
Patrick Thomson
|
37db866b7a
|
changing that Show instance caused the doctests to loop infinitely
|
2018-07-13 13:27:15 -04:00 |
|
Rick Winfrey
|
989cf32231
|
Merge pull request #2044 from github/js-exports
Eval `export function ...` in JavaScript
|
2018-07-13 10:11:23 -07:00 |
|
Rick Winfrey
|
9423e5e9bd
|
Merge branch 'master' into js-exports
|
2018-07-13 09:50:13 -07:00 |
|