Rob Rix
|
fcb92d3f72
|
📝 EnvironmentError.
|
2018-05-07 16:59:43 -04:00 |
|
Rob Rix
|
b66ea73427
|
Reassociate errors in the specs.
|
2018-05-07 16:56:40 -04:00 |
|
Rob Rix
|
a1677d5417
|
Reassociate errors for ghci.
|
2018-05-07 16:55:57 -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
|
36ecc8e356
|
🔥 lookupWith.
|
2018-05-07 16:00:28 -04:00 |
|
Rob Rix
|
3d8e6edb7c
|
Move variable into Addressable.
|
2018-05-07 15:58:16 -04:00 |
|
Rob Rix
|
b1dea9c5f0
|
Switch variable over to EnvironmentError.
|
2018-05-07 15:56:47 -04:00 |
|
Rob Rix
|
a464c7a7ca
|
Define a handler for resuming free variable errors.
|
2018-05-07 15:52:27 -04:00 |
|
Rob Rix
|
f203d4f74b
|
Define a convenience for throwing a free variable error.
|
2018-05-07 15:45:10 -04:00 |
|
Rob Rix
|
e9d6a8fb89
|
Define an EnvironmentError GADT & handlers.
|
2018-05-07 15:45:02 -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
|
600a2c5100
|
better name
|
2018-05-07 15:08:14 -04:00 |
|
Rob Rix
|
f16b734be3
|
🔥 a redundant Recursive constraint on term.
|
2018-05-07 15:05:15 -04:00 |
|
Patrick Thomson
|
5cf08450e0
|
whoops
|
2018-05-07 15:04:07 -04:00 |
|
Patrick Thomson
|
92d8ca7872
|
comments
|
2018-05-07 15:02:21 -04:00 |
|
Patrick Thomson
|
1a47af44d3
|
fix lints
|
2018-05-07 14:59:29 -04:00 |
|
Patrick Thomson
|
ab90ff0464
|
fix repl functions
|
2018-05-07 14:56:10 -04:00 |
|
Patrick Thomson
|
110365733c
|
fix specs
|
2018-05-07 14:39:01 -04:00 |
|
Rob Rix
|
022e0779f7
|
🔥 the functional dependency on AbstractValue.
|
2018-05-07 14:25:14 -04:00 |
|
Patrick Thomson
|
335878454b
|
Merge branch 'master' into remove-tracem
|
2018-05-07 14:23:46 -04:00 |
|
Rob Rix
|
c427be3670
|
Stub in a spec for Evaluator.
|
2018-05-07 14:21:05 -04:00 |
|
Rob Rix
|
29c755a8dc
|
Sort the test modules.
|
2018-05-07 14:20:56 -04:00 |
|
Patrick Thomson
|
bedba61867
|
Make Evaluator use effectful trace rather than Debug.Trace.
|
2018-05-07 14:15:47 -04:00 |
|
Rob Rix
|
05999e7559
|
Revert "Don’t specialize null for Exports."
This reverts commit 8f626b6c0f90af595f510543b15400219e5d9102.
|
2018-05-07 14:13:11 -04:00 |
|
Rob Rix
|
676f905468
|
We no longer use fail in this module at all.
|
2018-05-07 13:15:15 -04:00 |
|
Rob Rix
|
4c6e433802
|
Merge branch 'master' into musical-chairs,-evaluator-edition
|
2018-05-07 13:09:25 -04:00 |
|
Rob Rix
|
d9b1b5e4da
|
📝 Evaluator.
|
2018-05-07 13:08:11 -04:00 |
|
Rob Rix
|
05c2770499
|
Don’t qualify the import of Eff.
|
2018-05-07 13:04:08 -04:00 |
|
Rob Rix
|
4becd242aa
|
🔥 a couple of stray imports.
|
2018-05-07 13:02:39 -04:00 |
|
Rob Rix
|
0220ef3046
|
Merge branch 'master' into musical-chairs,-evaluator-edition
|
2018-05-07 12:58:27 -04:00 |
|
Rob Rix
|
0687851456
|
Merge pull request #1805 from github/scope-effects-to-evaluation
Scope effects to evaluation
|
2018-05-07 12:55:04 -04:00 |
|
Rob Rix
|
b09e854be5
|
Move ResolutionError into the module table effects module.
|
2018-05-07 12:49:51 -04:00 |
|
Rob Rix
|
0d3f8b685f
|
Don’t specialize null for Exports.
|
2018-05-07 12:33:48 -04:00 |
|
Rob Rix
|
05ff04533f
|
Merge branch 'master' into scope-effects-to-evaluation
|
2018-05-07 12:29:26 -04:00 |
|
Rob Rix
|
aafbeb6b72
|
Don’t export the unevaluated module table & load stack accessors.
|
2018-05-07 12:28:04 -04:00 |
|
Rob Rix
|
39f8d659e1
|
Move require, load, & LoadError into the module table effects module.
|
2018-05-07 12:26:38 -04:00 |
|
Rob Rix
|
b69a9d275d
|
Move resolve & listModulesInDir into the module table effect module.
|
2018-05-07 12:23:51 -04:00 |
|
Rob Rix
|
6557859772
|
Move the unevaluated module table and load stack accessors into the module table effects module.
|
2018-05-07 12:21:35 -04:00 |
|
Josh Vera
|
d6cf05177e
|
Merge pull request #1817 from github/fix-benchmarks
Fix benchmarks.
|
2018-05-07 12:20:43 -04:00 |
|