Timothy Clem
6517f12684
Merge remote-tracking branch 'origin/master' into python-relative-imports
2018-05-16 12:25:22 -07:00
Timothy Clem
a60ed7bc16
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-16 12:07:13 -07:00
Timothy Clem
7137c057b4
Fix up example a bit
2018-05-16 10:43:38 -07:00
Rob Rix
6ee5cabdf8
Run allocator effects in the evaluator spec.
2018-05-16 13:43:14 -04:00
Timothy Clem
aa9eb68045
Fully construct PackageInfo here
2018-05-16 10:34:17 -07:00
Timothy Clem
453f60ee36
Some example js code for various module require/resolution options
2018-05-16 10:21:24 -07:00
Rob Rix
e8aa1a4da7
Revert "Move Precise & Latest into their own module."
...
This reverts commit 318ed8510aeb31ae892652685771bdba810d2df4.
2018-05-16 13:18:25 -04:00
Rob Rix
680336057d
Move Precise & Latest into their own module.
2018-05-16 11:53:24 -04:00
Timothy Clem
f81ea4bff5
s/File/Project b/c that makes more sense to me
2018-05-16 08:38:00 -07:00
Rob Rix
47e92a766f
Merge remote-tracking branch 'origin/master' into fix-abstract-semantics
2018-05-15 18:47:47 -04:00
Rob Rix
788618a9d0
Fix extracting values from Latest in the tests.
2018-05-15 17:43:57 -04:00
Timothy Clem
62956f78d7
Print and actually return a string
2018-05-15 11:57:18 -07:00
Timothy Clem
27ce720904
Test out relative python imports
2018-05-15 11:26:16 -07:00
Rob Rix
3ab781ea48
🔥 all the constraining functions since we can use type applications instead.
2018-05-15 13:51:07 -04:00
Rob Rix
dcaad09deb
Fix the specs.
2018-05-15 12:58:05 -04:00
Rob Rix
367982bc8d
Don’t use SomeRenderer in the CLI spec.
2018-05-14 18:44:19 -04:00
Rob Rix
84ea29a60b
Fix the tests.
2018-05-14 18:39:41 -04:00
joshvera
fb5c4c039d
hide error
2018-05-14 16:19:59 -04:00
Rob Rix
f047b57ecc
Encoding order is significant.
2018-05-14 16:18:57 -04:00
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
Timothy Clem
775d39088a
Merge remote-tracking branch 'origin/master' into charliesome/ruby-method-calls
2018-04-10 08:32:03 -07:00
Timothy Clem
8875a29c55
These now correctly parse as blocks
2018-04-10 07:57:28 -07:00
Rob Rix
d863d282b1
🔥 the Mergeable spec.
2018-04-09 16:38:28 -04:00
joshvera
2e84f8a637
Revert "Merge pull request #1728 from github/revert-ruby-method-calls"
...
This reverts commit 96fc6114d8d1d74c42d3971aa24e6a484de52933, reversing
changes made to 2f9da5213ef4cac0048339c9f84c33b873e88cc2.
2018-04-09 16:10:05 -04:00
joshvera
b012b97571
Revert "Merge pull request #1726 from github/charliesome/ruby-method-calls"
...
This reverts commit 3729f84c487cb2613fd99eca4c6cdb2178c88806, reversing
changes made to d8f0566783407780c1a0d0855f43200530887c54.
2018-04-09 14:45:34 -04:00
Charlie Somerville
774ed642bf
ruby: update test fixtures
2018-04-09 12:04:11 +10:00
Josh Vera
d4bcfae104
Merge branch 'master' into repo-import-graph
2018-04-06 13:21:30 -04:00
Patrick Thomson
d31e3eca88
fix ALL the test failures
2018-04-06 13:05:28 -04:00
joshvera
cc21e22a9b
Fix test fixtures
2018-04-06 12:42:24 -04:00
joshvera
56af15be92
Modify mergeNewer to merge from global envs to local envs
2018-04-06 12:37:01 -04:00
joshvera
1f441ec518
Merge remote-tracking branch 'origin/master' into repo-import-graph
2018-04-05 19:50:59 -04:00
joshvera
fde2253fc5
pure?
2018-04-05 19:49:50 -04:00
Rob Rix
a50f1226d4
Avoid re-exporting Task.parsePackage in SpecHelper.
2018-04-05 09:38:31 -04:00
Rob Rix
98084c5e81
Merge branch 'master' into task-in-eff
2018-04-05 09:18:32 -04:00
Rob Rix
41d974528e
Fix a stale import.
2018-04-05 09:18:20 -04:00
Patrick Thomson
17cab0302e
Merge branch 'master' into ruby-low-precedence-booleans
2018-04-04 15:49:07 -04:00
Patrick Thomson
faf246ff1e
Merge remote-tracking branch 'origin/master' into fix-scientific-parsing
2018-04-04 15:40:51 -04:00
Patrick Thomson
1138bd3141
Fix tests.
2018-04-04 12:53:54 -04:00
Timothy Clem
4b9caec4c5
Fix up tests for Name wrapper
2018-04-04 08:59:13 -07:00
Timothy Clem
7dd2c2b0c4
With print in prelude, fix up these specs
2018-04-03 15:50:18 -07:00
Patrick Thomson
c36256e943
Standardize and fix floating-point parsing.
...
The existence of #1705 showed me that it's time to remove the bandaid
of a fix that was `normalizeFloatString` in #1537 . This patch
introduces a proper Attoparsec parser for Scientific values that
handles the vaguaries of cross-language floating-point syntax. We
already depended on Attoparsec indirectly, so adding it as an explicit
dependency is fine.
A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-03 17:02:56 -04:00
Timothy Clem
208d16e131
Disable import-graph specs for now
2018-04-03 10:12:20 -07:00
Timothy Clem
69a46e4edc
Merge remote-tracking branch 'origin/master' into module-resolution
2018-04-02 16:28:35 -07:00
Timothy Clem
275d558843
Javascript import assignment changed - update fixtures
2018-04-02 15:20:31 -07:00
Timothy Clem
64369758a6
qualified identifier changes changes ruby assignment here
2018-04-02 15:18:56 -07:00
Timothy Clem
e9b6887268
Python import assignment changed - update fixtures
2018-04-02 15:18:23 -07:00
Timothy Clem
1001e85173
Some other go changes due to lack of qualifedName
2018-04-02 15:14:59 -07:00
Timothy Clem
dfafcc983f
Go import assignment changed - update fixtures
2018-04-02 15:14:05 -07:00
Timothy Clem
568adc1477
TypeScript import syntax changed - update fixtures
2018-04-02 15:11:45 -07:00
Timothy Clem
74c195385e
Disable specs for import graph output temporarily
2018-04-02 15:11:25 -07:00
Timothy Clem
f3b196f962
Bring TS assignment and eval of imports up-to-date
2018-04-02 14:54:23 -07:00