Rob Rix
1b245278a1
🔥 the value parameter from Modules.
2018-06-18 13:18:20 -04:00
Rob Rix
9bf816db3b
🔥 the value parameter from LoadError.
2018-06-18 13:15:10 -04:00
Rob Rix
c36b04fd17
Re-export Proxy from SpecHelpers.
2018-06-18 11:11:22 -04:00
Rob Rix
792cdcc5e2
Re-export Lower from SpecHelpers.
2018-06-15 11:41:38 -04:00
Rob Rix
31893e6ced
Bump effects for https://github.com/joshvera/effects/pull/54 .
...
This requires us to specify the lists of effects fully.
2018-06-13 16:35:56 -04:00
Rob Rix
6a239acb35
🔥 redundant parens.
2018-06-13 16:26:25 -04:00
Charlie Somerville
b68d12f4e7
deref pointers to values in testEvaluating
2018-06-08 11:33:04 +10:00
Charlie Somerville
2fc9f1ca25
add type annotation to testEvaluating
2018-06-07 12:01:48 +10:00
Rob Rix
b19c381edb
🔥 the Fail effect.
2018-06-06 09:45:40 -04:00
Rob Rix
6adc5d7413
Placate hlint some more.
2018-05-30 10:33:51 -04:00
Rob Rix
282c02fbbd
Embed the evaluating action into the closure body.
2018-05-28 14:11:08 -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
2993c3588c
Correct the specs.
2018-05-28 08:54:33 -04:00
Rob Rix
5ac256e340
🔨 fix the type in the spec
2018-05-24 12:09:20 -04:00
Rob Rix
2cb425dbb5
Merge branch 'master' into decompose-values
2018-05-22 15:43:51 -04:00
joshvera
378dad0d69
Merge remote-tracking branch 'origin/master' into grpc-server
2018-05-21 12:33:22 -04:00
Rob Rix
2ba726cb28
Fix a dodgy import.
2018-05-18 13:06:49 -04:00
Rob Rix
75d83155ec
Re-export the Name module.
2018-05-18 13:06:35 -04:00
Timothy Clem
a60ed7bc16
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-16 12:07:13 -07:00
Timothy Clem
f81ea4bff5
s/File/Project b/c that makes more sense to me
2018-05-16 08:38:00 -07:00
Rob Rix
47e92a766f
Merge remote-tracking branch 'origin/master' into fix-abstract-semantics
2018-05-15 18:47:47 -04:00
Rob Rix
788618a9d0
Fix extracting values from Latest in the tests.
2018-05-15 17:43:57 -04:00
Rob Rix
3ab781ea48
🔥 all the constraining functions since we can use type applications instead.
2018-05-15 13:51:07 -04:00
Rob Rix
dcaad09deb
Fix the specs.
2018-05-15 12:58:05 -04:00
Rob Rix
84ea29a60b
Fix the tests.
2018-05-14 18:39:41 -04:00
joshvera
fb5c4c039d
hide error
2018-05-14 16:19:59 -04:00
Rob Rix
75ab25d443
Generalize the type of toOutput.
2018-05-14 10:31:40 -04:00
Rob Rix
5813258037
Add a runBuilder helper.
2018-05-14 10:27:45 -04:00
Rob Rix
29be8a5243
Provide a helper which builds bytestrings.
2018-05-14 10:20:13 -04:00
Rob Rix
29af5d4d3a
Build the bytestrings.
2018-05-14 10:18:52 -04:00
joshvera
9e2b7725a6
Merge origin/master
2018-05-11 16:37:04 -04:00
Rob Rix
9ed1bc4a38
ByteStrings.
2018-05-11 14:59:50 -04:00
Rob Rix
5497b9a2a4
Swap the Heap location/cell params.
2018-05-11 08:36:45 -04:00
Rob Rix
6ba840e90b
Go back to simple address types.
2018-05-11 08:35:43 -04:00
Rob Rix
67892e9cf1
Define Precise as a GADT indexed by its cell type.
2018-05-10 19:27:20 -04:00
Rob Rix
2abfd92678
Bump effects for https://github.com/joshvera/effects/pull/43
2018-05-10 18:27:10 -04:00
Rob Rix
dcad4d852c
Parameterize Heap by the cell type.
2018-05-10 12:31:12 -04:00
Rob Rix
2410387e97
Allow the tests to examine the traces.
2018-05-10 10:58:24 -04:00
Rob Rix
c2f48fb982
🔥 the ns/addr conveniences.
2018-05-10 10:11:34 -04:00
Rob Rix
6e37f24cee
Define a helper to take namespaces apart.
2018-05-10 09:58:38 -04:00
Rob Rix
30a85b576d
Define a helper to dereference qualified names in values.
2018-05-10 09:55:11 -04:00
Rob Rix
c153815859
Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl
2018-05-08 10:32:51 -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
b1dea9c5f0
Switch variable over to EnvironmentError.
2018-05-07 15:56:47 -04:00
Rob Rix
4f64d95a51
🔥 redundant language extensions.
2018-05-07 15:21:41 -04:00
Patrick Thomson
50ea7d1a09
remove duplication
2018-05-07 15:13:40 -04:00
Patrick Thomson
110365733c
fix specs
2018-05-07 14:39:01 -04:00
Rob Rix
ca5ca629dc
Run the analysis.
2018-05-06 17:38:04 -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
911111987a
Return to piecemeal state effects, and combine them in Evaluating.
2018-05-02 15:54:11 -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
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
94f5ea39dd
Add an Erroring analysis for LoadErrors.
2018-04-26 08:50:41 -04: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
Rob Rix
aab795d9bb
Correct an import in the specs.
2018-04-24 12:00:43 -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
7c2a8a464e
Couple of test fixes
2018-04-20 16:27:53 -07:00
Rob Rix
a50f1226d4
Avoid re-exporting Task.parsePackage in SpecHelper.
2018-04-05 09:38:31 -04:00
Rob Rix
41d974528e
Fix a stale import.
2018-04-05 09:18:20 -04:00
Timothy Clem
69a46e4edc
Merge remote-tracking branch 'origin/master' into module-resolution
2018-04-02 16:28:35 -07:00
Timothy Clem
55fa6480d6
Fix up PHP eval specs
2018-04-02 11:37:01 -07:00
Rob Rix
a522efcb1e
Hide an ambiguous symbol.
2018-03-30 19:53:23 -04:00
Rob Rix
b8d714af28
Use the EvaluatingState fields directly.
2018-03-27 15:23:26 -04:00
Rob Rix
7a10eabfd7
🔥 an unused language pragma.
2018-03-27 15:14:25 -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
joshvera
9b2524cc81
Merge branch 'module-resolution' into default-extensions
2018-03-23 10:31:07 -04:00
joshvera
5905c85052
Add join to tests
2018-03-23 10:29:01 -04:00
joshvera
bfee652f14
redundant lang extension
2018-03-22 13:07:42 -04:00
Patrick Thomson
5df347eb3e
Merge remote-tracking branch 'origin/master' into classes
2018-03-16 16:51:59 -04:00
Patrick Thomson
a44d5ed861
Use the Environment functions qualified.
2018-03-16 14:33:55 -04:00
Timothy Clem
d6036f4165
Merge remote-tracking branch 'origin/export-wrapper' into ruby-imports
2018-03-15 15:34:06 -07:00
Timothy Clem
f70ef24015
Assign and eval ruby's load syntax
2018-03-15 15:09:28 -07:00
Rob Rix
fcf44b5a37
Rename Store to Heap.
2018-03-14 20:42:59 -04:00
Timothy Clem
6a8cee384e
Organize SpecHelper, remove unused imports
2018-03-13 11:18:05 -07:00
Timothy Clem
bbff8d45ed
More spec import cleanup
2018-03-13 11:10:50 -07:00
Timothy Clem
993ae92a75
Clean up IntegrationSpec imports
2018-03-13 11:04:58 -07:00
Timothy Clem
1b79ed205e
TOCSpec import cleanup
2018-03-13 10:59:20 -07:00
Timothy Clem
68ec7adef3
Refine import spec imports
2018-03-13 10:32:25 -07:00
Timothy Clem
b74ee2c12b
SpecHelpers as a bit of a prologue for specs
2018-03-13 10:26:09 -07:00
Timothy Clem
69b2c5c64d
Sort out spechelper again with new interfaces
2018-03-12 16:13:21 -07:00
Timothy Clem
8ebcd5a864
Merge remote-tracking branch 'origin/master' into import-language-tour
2018-03-12 10:03:25 -07:00
Timothy Clem
f015a1f027
Cleanup these specs and extract some common helpers
2018-03-09 16:24:23 -08:00
Patrick Thomson
da2a3fc7a8
Initial pass fixing errors raised by weeder
.
...
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Timothy Clem
c1bc28d0ac
Cleanup commented out code
2018-02-07 13:07:38 -08:00
Timothy Clem
48effe84df
Ha, whoops - actually use path argument
2018-02-07 12:28:13 -08:00
Timothy Clem
fec643536b
Move Verbatim to SpecHelpers
2018-02-07 12:20:27 -08:00
Timothy Clem
8ce213fc44
No longer need to track blobKind in Maybe
2017-12-11 10:51:52 -08:00
Timothy Clem
148edbc184
Remove spec specific readFile
2017-12-11 08:27:13 -08:00
Timothy Clem
24d98ad71c
Fix up tests
2017-12-10 08:46:17 -08:00
Rob Rix
87d533cc2b
Rename Language to Data.Language.
2017-11-27 14:17:48 -05:00
Rob Rix
3a3ed72f96
Rename Renderer to Rendering.Renderer.
2017-11-27 13:30:38 -05:00