Rob Rix
|
89793d2cf5
|
Fix the specs.
|
2018-12-11 17:21:57 -05:00 |
|
Rob Rix
|
4c796843e7
|
🔥 all the non-empty lists in the specs.
|
2018-12-11 13:07:45 -05:00 |
|
Rob Rix
|
a839a19b54
|
🔥 some redundant imports of ValueRef.
|
2018-12-10 10:38:52 -05:00 |
|
Rob Rix
|
0b36f9bad1
|
Module results hold values.
|
2018-12-07 15:23:03 -05:00 |
|
joshvera
|
781e52f843
|
Format and remove Environment
|
2018-12-05 10:14:16 -05:00 |
|
joshvera
|
ca402c9071
|
It's called xit
|
2018-11-29 13:05:54 -05:00 |
|
joshvera
|
6ad4cae09e
|
Disable the PHP tests
|
2018-11-29 13:02:12 -05:00 |
|
joshvera
|
168c31525b
|
Fix type errors
|
2018-11-29 12:31:42 -05:00 |
|
joshvera
|
5f20ae654a
|
pass scopeAndFrame
|
2018-11-29 11:26:51 -05:00 |
|
joshvera
|
07c6003693
|
PHP tests
|
2018-11-29 11:10:16 -05:00 |
|
joshvera
|
65a8949a06
|
Fix the shape of scope and heap outputs in testEvaluating
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-11-28 18:47:10 -05:00 |
|
joshvera
|
f6bfec2d96
|
the tests compile!
|
2018-11-08 18:22:35 -05:00 |
|
joshvera
|
0c35a8a95c
|
Start fixing up tests
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-11-07 18:27:56 -05:00 |
|
joshvera
|
eb71b512b3
|
Fix test type errors
|
2018-09-14 18:04:08 -04:00 |
|
Rob Rix
|
ea69b5a6d3
|
Only pass a proxy to evaluateProject.
|
2018-08-02 10:24:55 -04:00 |
|
Charlie Somerville
|
de80f1906e
|
fix SpecHelpers to hit heap for namespaces
|
2018-07-19 17:03:17 +10:00 |
|
Rob Rix
|
40d46e921d
|
Pass the configuration to the analysis specs.
|
2018-07-10 14:09:22 -04:00 |
|
Rob Rix
|
a236328056
|
Merge branch 'master' into higher-order-effects
|
2018-06-26 15:14:28 -04:00 |
|
Rob Rix
|
a0dfbb449f
|
Fix some errant pure ()s.
|
2018-06-25 17:36:56 -04:00 |
|
Rob Rix
|
67463461f9
|
Fix the PHP specs.
|
2018-06-25 17:36:32 -04:00 |
|
Rob Rix
|
f70974e206
|
Fix up the TypeScript specs.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-25 15:57:04 -04:00 |
|
Rob Rix
|
76185ed450
|
Use irrefutable patterns in the PHP specs.
|
2018-06-25 12:02:50 -04:00 |
|
Rob Rix
|
903f048889
|
Don’t bind the heap when we aren’t using it.
|
2018-06-22 15:57:12 -04:00 |
|
Rob Rix
|
2ed8688c28
|
Update the tests to pass a list of paths.
|
2018-06-22 15:45:42 -04:00 |
|
Rob Rix
|
33c04b15c3
|
Get the tests compiling.
|
2018-06-22 13:52:21 -04:00 |
|
Rob Rix
|
eedc8f4b7e
|
Rearrange the spec helper to match Util.
|
2018-06-21 14:52:08 -04:00 |
|
Rob Rix
|
e0f5d4ee22
|
Don’t use evaluating.
|
2018-06-21 13:22:58 -04:00 |
|
Rob Rix
|
2ad49b314f
|
Update the specs.
|
2018-06-18 11:10:44 -04:00 |
|
Rob Rix
|
bcf9338b75
|
Update the language specs to respect the env-per-entry-point thing.
|
2018-05-30 17:19:05 -04:00 |
|
Rob Rix
|
6b780d297d
|
Revert "These are probably integers."
This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.
|
2018-05-28 16:06:25 -04:00 |
|
Rob Rix
|
0f3c7df8d1
|
These are probably integers.
|
2018-05-28 16:05:03 -04:00 |
|
Rob Rix
|
038d3d07eb
|
Test the return values
|
2018-05-28 15:44:48 -04:00 |
|
Rob Rix
|
a01e723b31
|
Run ValueErrors in TermEvaluator.
|
2018-05-28 09:55:01 -04:00 |
|
Rob Rix
|
015b74cf41
|
Give Value a term type parameter once more.
|
2018-05-28 09:35:42 -04:00 |
|
Rob Rix
|
a2135fda74
|
Don’t use overloaded lists.
|
2018-05-28 09:35:03 -04:00 |
|
Rob Rix
|
2410387e97
|
Allow the tests to examine the traces.
|
2018-05-10 10:58:24 -04:00 |
|
Rob Rix
|
5af09d94e1
|
Test PHP environments/heaps against the names, not addresses.
|
2018-05-10 10:03:59 -04:00 |
|
Rob Rix
|
2fa602c98f
|
Fix stale references to interpret.
|
2018-05-06 17:37:44 -04:00 |
|
Rob Rix
|
e638fb4715
|
Update the specs to use a testEvaluating analysis.
|
2018-05-06 17:30:07 -04:00 |
|
Rob Rix
|
1942e20af1
|
🔥 runAnalysis.
|
2018-04-26 10:17:47 -04:00 |
|
joshvera
|
f7e6609069
|
Remove readProjectEntry
|
2018-04-25 12:10:33 -04:00 |
|
joshvera
|
421cc0d1a1
|
Add readProjectEntry to the Files effects
|
2018-04-24 15:48:44 -04:00 |
|
joshvera
|
3fb3097c96
|
back to using Maybe Language in File
|
2018-04-23 19:47:13 -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
|
55fa6480d6
|
Fix up PHP eval specs
|
2018-04-02 11:37:01 -07:00 |
|
Timothy Clem
|
a3d35ac9a0
|
WIP: Attempt to back out Identifiers as qualified names
|
2018-04-02 10:40:52 -07:00 |
|
Timothy Clem
|
a495716e09
|
Fix it so that the tests compile
|
2018-03-30 16:19:39 -07:00 |
|
Rob Rix
|
b8d714af28
|
Use the EvaluatingState fields directly.
|
2018-03-27 15:23:26 -04:00 |
|
Timothy Clem
|
465feebb39
|
Remove a few extra parens
|
2018-03-23 11:25:02 -07:00 |
|