joshvera
|
6b8c0c0f06
|
Merge remote-tracking branch 'origin/master' into entry-points
|
2018-08-27 12:49:47 -04:00 |
|
joshvera
|
bc6614aa12
|
Merge remote-tracking branch 'origin/master' into entry-points
|
2018-08-27 12:05:20 -04:00 |
|
Rob Rix
|
d21f0976f0
|
Run the boolean effect in the evaluator spec.
|
2018-08-23 13:08:38 -04:00 |
|
Charlie Somerville
|
ec852844cb
|
reshuffle module layout so that Environment can depend on Heap
|
2018-08-21 13:42:45 +10:00 |
|
Rick Winfrey
|
54bc2a9521
|
🔥 unused exports
|
2018-08-13 15:43:23 -07:00 |
|
Rob Rix
|
68157b1fa0
|
Apply the correct value type.
|
2018-08-13 10:06:12 -04:00 |
|
Rob Rix
|
99e377aec7
|
Fix a missed reference to Deref in the specs.
|
2018-08-13 09:58:18 -04:00 |
|
Rob Rix
|
a438930c91
|
Use the specialized handlers for Allocator and Precise.
|
2018-08-13 09:43:37 -04:00 |
|
Rob Rix
|
f0d216da2c
|
🔥 the value parameter from Allocator.
|
2018-08-10 15:32:10 -04:00 |
|
Rob Rix
|
d05f3c6ae3
|
🔥 Data.Abstract.Address.
|
2018-08-10 13:46:24 -04:00 |
|
Rob Rix
|
6de89a8351
|
Merge branch 'master' into entry-points
|
2018-08-10 11:28:00 -04:00 |
|
Rob Rix
|
b19ea1ca01
|
Fix up the Evaluator spec.
|
2018-08-09 16:13:03 -04:00 |
|
Josh Vera
|
44ac28510c
|
Merge branch 'master' into entry-points
|
2018-08-08 16:17:08 -04:00 |
|
joshvera
|
77213d72e4
|
Fix function call
|
2018-08-08 14:25:19 -04:00 |
|
Rick Winfrey
|
317d4a3849
|
Merge branch 'master' into error-context
|
2018-08-08 10:33:41 -07:00 |
|
Rick Winfrey
|
383b6208ee
|
Rename ErrorContext -> BaseError
|
2018-08-07 16:50:55 -07:00 |
|
Rick Winfrey
|
7a06b8c922
|
Fix up tests
|
2018-08-06 09:29:24 -07:00 |
|
Charlie Somerville
|
d00fced1bb
|
Merge branch 'master' into charliesome/context
|
2018-08-01 11:45:46 +10:00 |
|
Rob Rix
|
60a4487a28
|
Run a Function effect in EvaluatorSpec.
|
2018-07-26 15:31:49 -04:00 |
|
Rob Rix
|
863c2774eb
|
Merge branch 'master' into value-effects
|
2018-07-25 09:22:30 -04:00 |
|
Charlie Somerville
|
ee227d8091
|
fix up call in test
|
2018-07-24 16:23:53 +10:00 |
|
Rob Rix
|
33c6bc88f4
|
Correct the test.
|
2018-07-23 10:26:26 -04:00 |
|
Rob Rix
|
861a3fc80e
|
Rename closure to function.
|
2018-07-23 10:26:06 -04:00 |
|
Charlie Somerville
|
de80f1906e
|
fix SpecHelpers to hit heap for namespaces
|
2018-07-19 17:03:17 +10:00 |
|
Rob Rix
|
bcbc70446c
|
Merge branch 'charliesome/substitution' into abstract-abstract-semantics
|
2018-07-05 14:15:01 -04:00 |
|
Rob Rix
|
5100670e72
|
Rename Data.Abstract.Value to Data.Abstract.Value.Concrete.
|
2018-07-03 14:22:26 -04:00 |
|
Rob Rix
|
a236328056
|
Merge branch 'master' into higher-order-effects
|
2018-06-26 15:14:28 -04:00 |
|
Rob Rix
|
7d37d3eb11
|
Resume defining LoopControl as using Exc.
|
2018-06-26 12:09:21 -04:00 |
|
Rob Rix
|
492947ae2e
|
Resume defining Return as using Exc.
|
2018-06-26 12:00:25 -04:00 |
|
Rob Rix
|
33c04b15c3
|
Get the tests compiling.
|
2018-06-22 13:52:21 -04:00 |
|
Rob Rix
|
12c5dc32b2
|
🔥 an errant package version.
|
2018-06-22 10:38:03 -04:00 |
|
Rob Rix
|
07a0277b00
|
Fix up the Evaluator spec.
|
2018-06-21 13:42:03 -04:00 |
|
Rob Rix
|
84eb2beaa5
|
This doesn’t have module table state any more either.
|
2018-06-21 13:37:23 -04:00 |
|
Rob Rix
|
e0f5d4ee22
|
Don’t use evaluating.
|
2018-06-21 13:22:58 -04:00 |
|
Rob Rix
|
e972abd2e3
|
Factor runFresh out of evaluating.
|
2018-06-20 12:17:46 -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 |
|
Charlie Somerville
|
ddb18160f7
|
Merge branch 'master' into charliesome/value-ref-address
|
2018-06-08 11:33:01 +10:00 |
|
Rob Rix
|
b6c8c3f236
|
Fix up the evaluator spec.
|
2018-06-06 09:46:12 -04:00 |
|
Rob Rix
|
d6d3008cba
|
deref operates on the address, so drop the env.
|
2018-06-01 17:28:35 -04:00 |
|
Rob Rix
|
d8201341c9
|
We’re already destructuring the tuples.
|
2018-06-01 17:28:19 -04:00 |
|
Charlie Somerville
|
32268b1710
|
Merge branch 'master' into charliesome/value-ref-address
|
2018-05-31 20:34:05 -05:00 |
|
Rob Rix
|
08cf65718f
|
Fix the evaluator spec.
|
2018-05-30 17:20:08 -04:00 |
|
Rob Rix
|
f9c7f2836d
|
runEnv in the evaluator spec.
|
2018-05-30 13:03:50 -04:00 |
|
Charlie Somerville
|
b72b442e0c
|
WIP Merge branch 'master' into charliesome/value-ref-address
|
2018-05-29 16:06:45 -05:00 |
|
Rob Rix
|
f0c220906a
|
Partially apply Eff in the tests.
|
2018-05-28 14:48:00 -04:00 |
|
Rob Rix
|
cc02cfd8eb
|
AbstractIntro is pure.
|
2018-05-28 14:47:42 -04:00 |
|
Rob Rix
|
89b90496b7
|
Don’t qualify this name.
|
2018-05-28 14:47:20 -04:00 |
|
Rob Rix
|
b3b47a34df
|
🔥 Goto.
|
2018-05-28 14:42:46 -04:00 |
|
Rob Rix
|
a01e723b31
|
Run ValueErrors in TermEvaluator.
|
2018-05-28 09:55:01 -04:00 |
|