Rob Rix
|
716e225da9
|
Test that puts ends up in the traces.
|
2018-05-10 11:03:42 -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
|
4fca683eae
|
Test for the presence of the desired symbols rather than the exact list.
|
2018-05-10 10:10:57 -04:00 |
|
Rob Rix
|
8b8f3007cf
|
Test the imported names, not the prelude names.
|
2018-05-10 09:08:12 -04:00 |
|
Rob Rix
|
c0993c63c9
|
Test our evaluation of __LINE__.
|
2018-05-09 15:23:52 -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
|
b66ea73427
|
Reassociate errors in the specs.
|
2018-05-07 16:56:40 -04:00 |
|
Rob Rix
|
b1dea9c5f0
|
Switch variable over to EnvironmentError.
|
2018-05-07 15:56:47 -04:00 |
|
Rob Rix
|
e638fb4715
|
Update the specs to use a testEvaluating analysis.
|
2018-05-06 17:30:07 -04:00 |
|
Rob Rix
|
57389da2c9
|
Add a test that we pass arguments correctly.
|
2018-04-30 14:50:16 -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 |
|
Rob Rix
|
1942e20af1
|
🔥 runAnalysis.
|
2018-04-26 10:17:47 -04:00 |
|
Rob Rix
|
f264a605ed
|
Fix up the specs.
|
2018-04-25 17:12:10 -04:00 |
|
joshvera
|
f7e6609069
|
Remove readProjectEntry
|
2018-04-25 12:10:33 -04: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 |
|
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 |
|
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 |
|
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 |
|
Charlie Somerville
|
0d9cb46d07
|
add test cases for early return
|
2018-04-20 14:47:52 +10: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 |
|
joshvera
|
fde2253fc5
|
pure?
|
2018-04-05 19:49:50 -04:00 |
|
Timothy Clem
|
eb883770df
|
Bring Ruby up to speed with latest import strategy
|
2018-04-02 11:31:26 -07:00 |
|
Timothy Clem
|
a3d35ac9a0
|
WIP: Attempt to back out Identifiers as qualified names
|
2018-04-02 10:40:52 -07:00 |
|
joshvera
|
e8db080923
|
Merge remote-tracking branch 'origin/master' into less-fail
|
2018-03-28 13:12:20 -04:00 |
|
joshvera
|
af0793a7ad
|
Add Eq1 error instances and fix tests
|
2018-03-28 12:58:12 -04:00 |
|
Rob Rix
|
5ae24ddc89
|
Merge branch 'master' into combined-state-effects
|
2018-03-28 08:33:19 -04:00 |
|
Timothy Clem
|
3d56947e82
|
Fix typos
|
2018-03-27 15:18:38 -07:00 |
|
Rob Rix
|
b8d714af28
|
Use the EvaluatingState fields directly.
|
2018-03-27 15:23:26 -04:00 |
|
Timothy Clem
|
bea56e5bab
|
Demonstrate a little more detail of subclassing
|
2018-03-26 15:29:39 -07:00 |
|
Timothy Clem
|
3eece19234
|
Assert environment has module in it
|
2018-03-26 12:53:58 -07:00 |
|
Timothy Clem
|
f3ceab31b0
|
Cleanup
|
2018-03-26 12:53:49 -07:00 |
|
Timothy Clem
|
203042742b
|
Spec to asset eval of ruby modules
|
2018-03-26 12:50:06 -07:00 |
|
Timothy Clem
|
365a592c03
|
Go assignment changed with new Package syntax
|
2018-03-26 11:09:22 -07:00 |
|
Rob Rix
|
b7f7ff3e68
|
Merge branch 'master' into remove-fail
|
2018-03-26 10:08:54 -04:00 |
|
joshvera
|
cf4a87068e
|
Merge remote-tracking branch 'origin/master' into preludes-and-subclassing
|
2018-03-23 17:56:26 -04:00 |
|
joshvera
|
a149c76a05
|
Merge remote-tracking branch 'origin/master' into remove-fail
|
2018-03-23 17:40:22 -04:00 |
|
joshvera
|
ba3969c4b0
|
Merge remote-tracking branch 'origin/master' into query-final-helpers
|
2018-03-23 17:03:25 -04:00 |
|
joshvera
|
b1efc533cf
|
fix test
|
2018-03-23 15:37:06 -04:00 |
|
Josh Vera
|
745eb85ee7
|
Merge branch 'master' into preludes-and-subclassing
|
2018-03-23 15:26:41 -04:00 |
|
Timothy Clem
|
465feebb39
|
Remove a few extra parens
|
2018-03-23 11:25:02 -07:00 |
|
Timothy Clem
|
7f71e27df4
|
Some helpers to query Final
|
2018-03-23 10:11:29 -07:00 |
|
Patrick Thomson
|
dce0f5c277
|
fix the specs
|
2018-03-23 11:50:53 -04:00 |
|