joshvera
|
799baa9415
|
Enable go import tests
Co-Authored-By: Rob Rix <rob.rix@github.com>
|
2018-11-26 13:29:59 -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
|
a556930e9e
|
Fix the Go specs.
|
2018-06-25 17:38:52 -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
|
cb4938ef92
|
Add all the modules to the Go specs.
|
2018-06-25 11:59:27 -04:00 |
|
Rob Rix
|
525f025e73
|
Use irrefutable patterns in the Go specs.
|
2018-06-25 11:56:42 -04:00 |
|
Rob Rix
|
bfd79c062d
|
🔥 the “evaluates” prefix.
|
2018-06-25 11:55:54 -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
|
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
|
ae7ee6e860
|
Test Go environments/heaps against the names.
|
2018-05-10 10:07:11 -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
|
d64da14b27
|
Fix up Go specs
|
2018-04-02 14:54:08 -07:00 |
|
Timothy Clem
|
69e5220fff
|
Typo
|
2018-04-02 11:18:58 -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 |
|
joshvera
|
ba3969c4b0
|
Merge remote-tracking branch 'origin/master' into query-final-helpers
|
2018-03-23 17:03:25 -04:00 |
|
Timothy Clem
|
7f71e27df4
|
Some helpers to query Final
|
2018-03-23 10:11:29 -07:00 |
|
Josh Vera
|
a2e73afd45
|
Merge branch 'master' into module-resolution
|
2018-03-22 15:42:44 -04:00 |
|
joshvera
|
a8c9c815ef
|
Rename NonDetEff to NonDet
|
2018-03-22 10:35:25 -04:00 |
|
Timothy Clem
|
1a7f0e4b77
|
TypeApplications not necessary anymore
|
2018-03-19 14:53:55 -07:00 |
|
Patrick Thomson
|
56e7c25268
|
Move Exports to its own module.
|
2018-03-16 14:09:41 -04:00 |
|
Rob Rix
|
4bd7bc5427
|
Remove the location parameter from Value.
|
2018-03-15 16:04:36 -04:00 |
|
Rob Rix
|
300af7ebde
|
Correct the paths to the global env.
|
2018-03-15 10:23:50 -04:00 |
|
Rob Rix
|
3c6d4f9976
|
🔥 mentions of the obsolete *Value synonyms.
|
2018-03-15 10:14:22 -04:00 |
|
Timothy Clem
|
7204debb07
|
Merge remote-tracking branch 'origin/master' into import-language-tour
|
2018-03-14 11:38:49 -07:00 |
|
Timothy Clem
|
f3b2e0cd2a
|
Store a list of terms in the unevaluted module table to allow multi file module imports
|
2018-03-13 13:09:04 -07:00 |
|
Timothy Clem
|
740d092271
|
Whitespace
|
2018-03-13 10:59:06 -07:00 |
|
Timothy Clem
|
1687c63d64
|
Reduce imports by relying on SpecHelpers (and Util)
|
2018-03-13 10:26:28 -07:00 |
|