github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity
22,885 Commits 19 Branches 16 Tags 46 MiB
465dd0fcb4
Commit Graph

3213 Commits

Author SHA1 Message Date
Rob Rix
03749d008e We can just say diff now. 2018-05-14 16:11:31 -04:00
Rob Rix
5bae88724b Move the diffTermPair tests into the interpreter spec. 2018-05-14 16:09:39 -04:00
Rob Rix
1128537b6a Correct a bunch of fixtures. 2018-05-14 10:50:57 -04:00
Rob Rix
75ab25d443 Generalize the type of toOutput. 2018-05-14 10:31:40 -04:00
Rob Rix
b979e9757c Run the builders. 2018-05-14 10:28:01 -04:00
Rob Rix
fc70382d5b Correct the handle types. 2018-05-14 10:27:58 -04:00
Rob Rix
5813258037 Add a runBuilder helper. 2018-05-14 10:27:45 -04:00
Rob Rix
0d0aeafdc5 Add an openFileForReading helper for the tests. 2018-05-14 10:23:29 -04:00
Rob Rix
29be8a5243 Provide a helper which builds bytestrings. 2018-05-14 10:20:13 -04:00
Rob Rix
29af5d4d3a Build the bytestrings. 2018-05-14 10:18:52 -04:00
joshvera
9e2b7725a6 Merge origin/master 2018-05-11 16:37:04 -04:00
Rob Rix
a9d3b29e02 We expect a ByteString here. 2018-05-11 15:31:28 -04:00
Rob Rix
9ed1bc4a38 ByteStrings. 2018-05-11 14:59:50 -04:00
Rob Rix
5497b9a2a4 Swap the Heap location/cell params. 2018-05-11 08:36:45 -04:00
Rob Rix
6ba840e90b Go back to simple address types. 2018-05-11 08:35:43 -04:00
Rob Rix
67892e9cf1 Define Precise as a GADT indexed by its cell type. 2018-05-10 19:27:20 -04:00
Rob Rix
2abfd92678 Bump effects for https://github.com/joshvera/effects/pull/43 2018-05-10 18:27:10 -04:00
Rob Rix
dcad4d852c Parameterize Heap by the cell type. 2018-05-10 12:31:12 -04:00
Rob Rix
716e225da9 Test that puts ends up in the traces. 2018-05-10 11:03:42 -04:00
Rob Rix
13660b9e9d Test for expected symbols, not exact symbols. 2018-05-10 10:59:38 -04:00
Rob Rix
2410387e97 Allow the tests to examine the traces. 2018-05-10 10:58:24 -04:00
Rob Rix
75d2c50589 Test the results of cross-module function calls. 2018-05-10 10:26:07 -04:00
Rob Rix
c2f48fb982 🔥 the ns/addr conveniences. 2018-05-10 10:11:34 -04:00
Rob Rix
4fca683eae Test for the presence of the desired symbols rather than the exact list. 2018-05-10 10:10:57 -04:00
Rob Rix
ae7ee6e860 Test Go environments/heaps against the names. 2018-05-10 10:07:11 -04:00
Rob Rix
5af09d94e1 Test PHP environments/heaps against the names, not addresses. 2018-05-10 10:03:59 -04:00
Rob Rix
69bd2c0af5 Test Python environments/heaps without encoding addresses. 2018-05-10 09:59:54 -04:00
Rob Rix
9ec588ed3c Use the shared helpers for TypeScript. 2018-05-10 09:59:31 -04:00
Rob Rix
6e37f24cee Define a helper to take namespaces apart. 2018-05-10 09:58:38 -04:00
Rob Rix
30a85b576d Define a helper to dereference qualified names in values. 2018-05-10 09:55:11 -04:00
Rob Rix
821691549e Test the bound names, not their addresses. 2018-05-10 09:28:11 -04:00
Rob Rix
8b8f3007cf Test the imported names, not the prelude names. 2018-05-10 09:08:12 -04:00
Rob Rix
76a40939d6 Test the bound names. 2018-05-09 22:04:52 -04:00
Rob Rix
27a25d9a45 Type applications. 2018-05-09 22:04:46 -04:00
Rob Rix
91ca0e1aba Run Gotos via a newtype to break the cycle in the effects types. 2018-05-09 21:30:34 -04:00
Rob Rix
924aa3e243 Correct the corpus for the new line directive syntax. 2018-05-09 15:24:42 -04:00
Rob Rix
c0993c63c9 Test our evaluation of __LINE__. 2018-05-09 15:23:52 -04:00
Rob Rix
3cbf66c57e 🔥 TermEffects. 2018-05-09 12:39:22 -04:00
Rob Rix
f18d066c88 🔥 the Term newtype. 2018-05-09 12:36:48 -04:00
Rob Rix
d02fdb419a Only export spec. 2018-05-09 12:36:40 -04:00
Rob Rix
4dca1c121e 🔥 the term parameter to Evaluator. 2018-05-09 12:35:01 -04:00
Rob Rix
3948f74810 Correct the type of the module table effect. 2018-05-08 16:46:17 -04:00
Rob Rix
fb04c57bdf Use a visible type application to inject the environment error. 2018-05-08 12:03:08 -04:00
Rob Rix
2aae3dbdd3 Allow runGoto to return its jump table. 2018-05-08 11:10:35 -04:00
Rob Rix
97915e1410 Rename lambda to closure. 2018-05-08 10:54:32 -04:00
Rob Rix
d9084f9f45 lambda takes the set of free variables as a parameter. 2018-05-08 10:54:04 -04:00
Rob Rix
5a4e6cb0b0 Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:40:41 -04:00
Rob Rix
8881dc0284 Fix an ambiguous reference to runM. 2018-05-08 10:40:25 -04:00
Rob Rix
65bcc461fc Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:36:04 -04:00
Rob Rix
c153815859 Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl 2018-05-08 10:32:51 -04:00
Rob Rix
eacb5b47d7 Implement goto using Goto effects embedding evaluators. 2018-05-08 10:19:50 -04:00
Rob Rix
2b2a6f0cd8 Specialize ValueError to Value. 2018-05-08 09:05:43 -04:00
Patrick Thomson
d12ecb8387 move the trace runners to Control.Effect 2018-05-07 17:22:26 -04:00
Rob Rix
b66ea73427 Reassociate errors in the specs. 2018-05-07 16:56:40 -04:00
Rob Rix
d9e76fb2c5 Test that we can call functions. 2018-05-07 16:06:21 -04:00
Rob Rix
c05884195d Add environment errors to the mix. 2018-05-07 16:06:04 -04:00
Rob Rix
de1a8e1164 Clean up a redundant pure. 2018-05-07 16:05:55 -04:00
Rob Rix
b589d4f7d0 Define a FreeVariables instance for Term. 2018-05-07 16:05:27 -04:00
Rob Rix
b1dea9c5f0 Switch variable over to EnvironmentError. 2018-05-07 15:56:47 -04:00
Rob Rix
ca778fd76e We don’t need to constrain the term type any more. 2018-05-07 15:25:05 -04:00
Rob Rix
4f64d95a51 🔥 redundant language extensions. 2018-05-07 15:21:41 -04:00
Rob Rix
28eec7a7ec Lift TermEvaluators to Subterm evaluators. 2018-05-07 15:19:57 -04:00
Rob Rix
a4e823681f Define a TermEvaluator synonym. 2018-05-07 15:19:36 -04:00
Patrick Thomson
50ea7d1a09 remove duplication 2018-05-07 15:13:40 -04:00
Rob Rix
3b4b953506 Run evaluators in IO. 2018-05-07 15:13:01 -04:00
Rob Rix
1bd817bc76 Test that we can construct integers. 2018-05-07 15:10:41 -04:00
Rob Rix
980fd74aed Define an evaluator helper. 2018-05-07 15:10:11 -04:00
Rob Rix
47d48d695e Add types for terms, values, and the effects for evaluating terms. 2018-05-07 15:09:50 -04:00
Patrick Thomson
110365733c fix specs 2018-05-07 14:39:01 -04:00
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00
Rob Rix
ca5ca629dc Run the analysis. 2018-05-06 17:38:04 -04:00
Rob Rix
2fa602c98f Fix stale references to interpret. 2018-05-06 17:37:44 -04:00
Rob Rix
a23bc350da Constrain the specs to Value Precise. 2018-05-06 17:36:33 -04:00
Rob Rix
e638fb4715 Update the specs to use a testEvaluating analysis. 2018-05-06 17:30:07 -04:00
Rob Rix
b6709b4da2 Use the correct injection/projection functions in the tests. 2018-05-06 17:23:39 -04:00
Rob Rix
da3ddd2b17 Fix the specs. 2018-05-02 16:10:56 -04:00
Rob Rix
243fb331fc Fix stale references to inj in the tests. 2018-05-02 15:55:10 -04:00
Rob Rix
911111987a Return to piecemeal state effects, and combine them in Evaluating. 2018-05-02 15:54:11 -04:00
Rob Rix
152fe6a6a8 Fix the ambiguity around Sum. 2018-05-02 13:14:51 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Ayman Nadeem
b1c05d6755 Merge remote-tracking branch 'origin/master' into java-assignment 2018-05-01 10:57:21 -07:00
Rob Rix
216b414995 LoadError doesn’t need a type parameter for the value. 2018-04-30 16:40:27 -04:00
Rob Rix
57389da2c9 Add a test that we pass arguments correctly. 2018-04-30 14:50:16 -04:00
Rob Rix
013b5cb4b7 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-30 14:22:09 -04:00
Ayman Nadeem
f018922911 add tests 2018-04-27 15:50:39 -07:00
Timothy Clem
a5cc587b85 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-27 07:59:06 -07:00
Timothy Clem
d2b47533f7 Fix up test 2018-04-27 07:56:59 -07:00
Rob Rix
0720ee9267 A tidy module header is a happy module header. 2018-04-27 10:11:54 -04:00
Rob Rix
173645a48b 🔥 readFileVerbatim. 2018-04-27 10:10:43 -04:00
Rob Rix
2fc2090e02 Move ValueError & throwValueError into Data.Abstract.Value. 2018-04-27 10:09:03 -04:00
Rob Rix
33d68f9d8d Treat breaks as an effect. 2018-04-27 10:00:07 -04:00
Rob Rix
97c76c7fdc Rename ReturnThrow to Return, and use it as an effect. 2018-04-27 09:26:40 -04:00
Charlie Somerville
7cdb2625fd fix tests 2018-04-27 12:04:48 +10:00
Timothy Clem
08600b4155 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-26 13:23:42 -07:00
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -04:00
Rob Rix
5ed0e37740 Move diffWithParser into the tests. 2018-04-26 09:05:18 -04:00
Rob Rix
94f5ea39dd Add an Erroring analysis for LoadErrors. 2018-04-26 08:50:41 -04:00
Timothy Clem
2bc392b282 Merge remote-tracking branch 'origin/master' into eval-__FILE__ 2018-04-25 16:23:07 -07:00
Rob Rix
f264a605ed Fix up the specs. 2018-04-25 17:12:10 -04:00
Rob Rix
2267f24ea8 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-25 16:43:00 -04:00
Timothy Clem
8e50c3b5f9 Fix tests 2018-04-25 12:46:38 -07:00
Timothy Clem
37c8bffb82 Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror 2018-04-25 10:51:23 -07:00
Rob Rix
22c8fec448 Import the other exceptions. 2018-04-25 12:46:01 -04:00
Rob Rix
ddef556499 Import Erroring. 2018-04-25 12:38:28 -04:00
Rob Rix
4be5418b92 Correct the type of TestEvaluating. 2018-04-25 12:34:08 -04:00
joshvera
f7e6609069 Remove readProjectEntry 2018-04-25 12:10:33 -04:00
Timothy Clem
af46dbd3aa Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror 2018-04-24 14:00:07 -07:00
Josh Vera
48c471e9d6 Merge branch 'master' into project-dir 2018-04-24 16:31:20 -04:00
joshvera
421cc0d1a1 Add readProjectEntry to the Files effects 2018-04-24 15:48:44 -04:00
Rob Rix
aab795d9bb Correct an import in the specs. 2018-04-24 12:00:43 -04:00
joshvera
3fb3097c96 back to using Maybe Language in File 2018-04-23 19:47:13 -04:00
Patrick Thomson
930b7d513d Merge remote-tracking branch 'origin/master' into break-continue 2018-04-23 19:10:37 -04:00
Timothy Clem
ba2d2b6eb3 Changed the structure of ImportPath so I guess we diff differently 2018-04-23 15:53:53 -07:00
Patrick Thomson
061b6852a8 Add test cases. 2018-04-23 13:14:52 -04:00
Patrick Thomson
ab8dc613fd Fix tests. 2018-04-23 13:09:32 -04:00
Timothy Clem
0ebf2185ab Merge remote-tracking branch 'origin/master' into lazy-parse 2018-04-23 09:23:58 -07:00
Patrick Thomson
6f63463269 Remove explicit Paren node from syntax trees. 
As @robrix pointed out, adding explicit parenthesis nodes to our ASTs
bloats them with no added gain in expressivity. A pretty-printing
solution should use something analogous to `showsPrec` to ensure that
parentheses are printed properly.
 2018-04-23 11:00:10 -04:00
Timothy Clem
10d13cd424 Bring preludes back for testing, clean up Util 2018-04-22 07:47:59 -07:00
Timothy Clem
45386ed1ce Get the tests compiling again 2018-04-21 07:22:09 -07:00
Timothy Clem
e2722ea7e9 Construct File(s) here too 2018-04-20 16:34:37 -07:00
Timothy Clem
f96db32268 Few more test fixes 2018-04-20 16:30:06 -07:00
Timothy Clem
7c2a8a464e Couple of test fixes 2018-04-20 16:27:53 -07:00
Charlie Somerville
0d9cb46d07 add test cases for early return 2018-04-20 14:47:52 +10:00
Timothy Clem
07d8080ebb Merge remote-tracking branch 'origin/master' into parse-examples 2018-04-19 13:12:25 -07:00
joshvera
8b2f2656cb Merge remote-tracking branch 'origin/master' into infinite-loops 2018-04-19 14:06:55 -04:00
joshvera
c8784ffab9 Revert "Yield maybes from scopedEnvironment, and values from ScopedEnvironmentErrors" 
This reverts commit d09318a14143b80ae4e90a7192e94b0f9b512bd3.
 2018-04-19 13:45:39 -04:00
joshvera
984cda99d0 Fix tests 2018-04-19 13:35:45 -04:00
Timothy Clem
da644812c6 Remove js-test submodule 2018-04-18 14:20:25 -07:00
Timothy Clem
892eb982b0 Remove jquery as submodule 2018-04-18 14:15:30 -07:00
Timothy Clem
d20d2a02bd Remove backbone as example repo 2018-04-18 13:56:39 -07:00
Timothy Clem
2617b3a4a6 Move cli fixtures around 2018-04-18 13:55:21 -07:00
Timothy Clem
b9857cd033 Move the toc test fixtures around too 2018-04-18 13:42:29 -07:00
Timothy Clem
ea0afa1747 Move corpus tests into their own dir 2018-04-18 13:33:17 -07:00
joshvera
d8c597e894 Merge remote-tracking branch 'origin/master' into typescript-graphs 2018-04-18 14:20:22 -04:00
Patrick Thomson
3165913188 fix go diffs 2018-04-18 10:17:21 -04:00
joshvera
5bac8ca4cf Fix test 2018-04-17 19:35:57 -04:00
joshvera
3a93f1fca8 Import Evaluatable for ExportError 2018-04-17 19:26:35 -04:00
joshvera
7d53807286 Update test to expect an resumable EvalError 2018-04-17 19:24:55 -04:00
Patrick Thomson
eb649777cd fix test cases 2018-04-17 18:42:02 -04:00
Timothy Clem
95b7fd5888 Resolve module import paths that walk up directory structure (e.g. ../) 2018-04-17 14:13:01 -07:00
Timothy Clem
400f831f5c These assign as symbols now! 2018-04-16 16:59:16 -07:00
Timothy Clem
36e4bbecd9 Python fixture fixes 2018-04-16 16:52:54 -07:00
Timothy Clem
44e0d2f08e Merge remote-tracking branch 'origin/master' into typescript-graphs 2018-04-16 08:28:48 -07:00
Charlie Somerville
bdcd8fcbc3 ruby: implement more strict assignment for parameters 2018-04-16 16:19:23 +10:00
Charlie Somerville
a81beeb125 ruby: register parameters as local identifier names 2018-04-16 16:19:23 +10:00
Charlie Somerville
cdb5672b27 test: fix expected output for parse and diff cli tests 2018-04-16 16:19:23 +10:00
Timothy Clem
c6cdfc4958 Fix CLI specs 2018-04-16 16:19:23 +10:00
Charlie Somerville
2d320fdba1 ruby: update test fixtures 2018-04-16 16:19:23 +10:00
Charlie Somerville
ba99be7345 ruby: emit barewords that aren't defined locals as method calls 2018-04-16 16:19:23 +10:00
Timothy Clem
ab0a6072b8 Some JavaScript analysis fixtures 2018-04-13 10:52:31 -07:00