Rob Rix
|
2b9d751aad
|
Factor the prelude definition into runInTerm.
|
2018-10-26 10:17:19 -04:00 |
|
Rob Rix
|
8fce4184f6
|
Merge branch 'master' into decompose-evaluate
|
2018-10-25 23:18:02 -04:00 |
|
Rob Rix
|
915c7f5c61
|
🔥 the Eavesdrop effect.
|
2018-10-25 23:13:47 -04:00 |
|
Rob Rix
|
2a600ee28a
|
Give a type signature for evalModule.
|
2018-10-25 23:10:37 -04:00 |
|
Rob Rix
|
3979ea4e86
|
🔥 disjunction.
|
2018-10-25 22:56:08 -04:00 |
|
Rob Rix
|
d4c6edb156
|
🔥 Disjunction.
|
2018-10-25 22:54:00 -04:00 |
|
Rob Rix
|
bc08525229
|
Don’t specialize disjunction.
|
2018-10-25 22:50:16 -04:00 |
|
Rob Rix
|
40cb8c75eb
|
Merge pull request #2224 from github/higher-order-effects
Higher-order effects
|
2018-10-25 22:44:11 -04:00 |
|
Rob Rix
|
5c6801a272
|
Parameterize evaluate by a function running all the effects.
|
2018-10-25 22:23:47 -04:00 |
|
Rob Rix
|
52ed317fe6
|
Treat the prelude as a sort of a module.
|
2018-10-25 21:52:37 -04:00 |
|
Rob Rix
|
ce407d1c9e
|
Move a bunch of the evaluation machinery to Semantic.Analysis.
|
2018-10-25 21:40:37 -04:00 |
|
Rob Rix
|
1414df368d
|
Define a high-level Semantic.Analysis module.
|
2018-10-25 21:31:38 -04:00 |
|
Rob Rix
|
830fde2104
|
Simplify evaluate to take the term evaluator.
|
2018-10-25 21:22:22 -04:00 |
|
Rob Rix
|
428d92788b
|
Sort a couple of constraints down.
|
2018-10-25 21:13:28 -04:00 |
|
Rob Rix
|
b738dcc12b
|
Run effects in module analysis.
|
2018-10-25 21:03:51 -04:00 |
|
Rob Rix
|
64df59c4bf
|
Extract evalTerm.
|
2018-10-25 20:55:07 -04:00 |
|
Rob Rix
|
127282e6ce
|
Merge branch 'master' into higher-order-effects
|
2018-10-25 20:53:10 -04:00 |
|
Patrick Thomson
|
c3ba9a27db
|
Merge branch 'master' into add-tsparse-quiet-flag
|
2018-10-25 17:39:10 -04:00 |
|
Rob Rix
|
097af57735
|
Factor the interposes into a runInTerm helper.
|
2018-10-25 17:34:04 -04:00 |
|
Rob Rix
|
4cad9bc45e
|
Re-export Control.Abstract.ScopeGraph from Control.Abstract.
|
2018-10-25 16:42:53 -04:00 |
|
Rick Winfrey
|
bd2d9885dd
|
Merge pull request #2231 from github/ci-updates
Upgrade to Stack 1.9.1 and LTS 12.13
|
2018-10-25 13:27:21 -07:00 |
|
Rick Winfrey
|
e2dc609e4a
|
Merge branch 'master' into ci-updates
|
2018-10-25 11:23:55 -07:00 |
|
Rob Rix
|
8a3d7ba927
|
Don’t be clever.
|
2018-10-25 13:48:47 -04:00 |
|
Rob Rix
|
c625efd9c5
|
Extract the fold over modules to the top level.
|
2018-10-25 13:47:07 -04:00 |
|
Rob Rix
|
df10f93bcd
|
Extract runInModule to the top level.
|
2018-10-25 13:44:28 -04:00 |
|
Rob Rix
|
70a3a58034
|
Merge branch 'higher-order-effects' into decompose-evaluate
|
2018-10-25 13:32:43 -04:00 |
|
Rob Rix
|
8b4e133b1c
|
Move the license into the correct dir.
|
2018-10-25 13:29:21 -04:00 |
|
Rob Rix
|
b5aae138c5
|
🔥 a commented-out line.
|
2018-10-25 13:29:10 -04:00 |
|
Rob Rix
|
996a2ab79c
|
🔥 HasPostlude.
|
2018-10-25 11:49:50 -04:00 |
|
Rob Rix
|
91e747db8d
|
🔥 the HasPostlude constraints on SomeAnalysisParser.
|
2018-10-25 11:49:45 -04:00 |
|
Rob Rix
|
1e83574cf0
|
🔥 the use of postludes.
|
2018-10-25 11:47:21 -04:00 |
|
Rob Rix
|
637b9ee41e
|
🔥 effects.
|
2018-10-25 11:05:27 -04:00 |
|
Rob Rix
|
5cf863e56a
|
Add the higher-order-effects license to semantic as well.
|
2018-10-25 11:03:43 -04:00 |
|
Rob Rix
|
4531c9afc7
|
🔥 Prologue’s re-export of MonadError.
|
2018-10-25 10:21:14 -04:00 |
|
Patrick Thomson
|
74005e5746
|
Make flag info and unit formatting like parse --quiet.
|
2018-10-25 09:40:38 -04:00 |
|
Rob Rix
|
775bc6ef80
|
Bump higher-order-effects for interposition.
|
2018-10-25 09:27:40 -04:00 |
|
Rob Rix
|
05c4f76663
|
🔥 redundant parens.
|
2018-10-24 15:41:14 -04:00 |
|
Rob Rix
|
49d7068f46
|
Define hmap with a LambdaCase.
|
2018-10-24 15:39:52 -04:00 |
|
Rob Rix
|
fc935058a5
|
Define handle with a LambdaCase.
|
2018-10-24 15:39:25 -04:00 |
|
Rob Rix
|
f2473d2807
|
handleCoercible.
|
2018-10-24 15:35:46 -04:00 |
|
Rob Rix
|
95d200426d
|
🔥 redundant parens.
|
2018-10-24 15:35:03 -04:00 |
|
Rob Rix
|
66466448ec
|
Simplify the reinterpretation in ScopeEnvC.
|
2018-10-24 15:26:20 -04:00 |
|
Rob Rix
|
2d71e0b6fc
|
Parameterize ScopeEnvC by the address type.
|
2018-10-24 15:23:59 -04:00 |
|
Rob Rix
|
cc97e57b01
|
Align the ScopeEnvC cases.
|
2018-10-24 15:21:07 -04:00 |
|
Rob Rix
|
b353f88ec5
|
Define the ScopeEnvC algebra with LambdaCase.
|
2018-10-24 15:20:09 -04:00 |
|
Rob Rix
|
277b7ad906
|
handleCoercible.
|
2018-10-24 15:16:50 -04:00 |
|
Rob Rix
|
676b5b5105
|
🔥 some redundant parens.
|
2018-10-24 15:16:30 -04:00 |
|
Rob Rix
|
d559aa1162
|
Use uncurry.
|
2018-10-24 15:09:34 -04:00 |
|
Rob Rix
|
8c4853eb9b
|
Use LambdaCase for the Modules handler.
|
2018-10-24 15:08:58 -04:00 |
|
Rob Rix
|
254e20e831
|
Ignore a hint that doesn’t work.
|
2018-10-24 15:07:23 -04:00 |
|