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 |
|
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 |
|
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 |
|
Rob Rix
|
f264a605ed
|
Fix up the specs.
|
2018-04-25 17:12:10 -04:00 |
|
Rob Rix
|
2267f24ea8
|
Merge branch 'master' into analyses-provide-and-handle-effects
|
2018-04-25 16:43:00 -04:00 |
|
Timothy Clem
|
8e50c3b5f9
|
Fix tests
|
2018-04-25 12:46:38 -07:00 |
|
Timothy Clem
|
37c8bffb82
|
Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror
|
2018-04-25 10:51:23 -07:00 |
|
Rob Rix
|
22c8fec448
|
Import the other exceptions.
|
2018-04-25 12:46:01 -04:00 |
|
Rob Rix
|
ddef556499
|
Import Erroring.
|
2018-04-25 12:38:28 -04:00 |
|
Rob Rix
|
4be5418b92
|
Correct the type of TestEvaluating.
|
2018-04-25 12:34:08 -04:00 |
|
joshvera
|
f7e6609069
|
Remove readProjectEntry
|
2018-04-25 12:10:33 -04:00 |
|
Timothy Clem
|
af46dbd3aa
|
Merge remote-tracking branch 'origin/master' into resume-on-resolutionerror
|
2018-04-24 14:00:07 -07: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 |
|
Rob Rix
|
aab795d9bb
|
Correct an import in the specs.
|
2018-04-24 12:00:43 -04:00 |
|