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 |
|
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 |
|
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 |
|