Rob Rix
|
0db30a6d8c
|
Align a bunch of cases.
|
2018-03-26 12:12:56 -04:00 |
|
Rob Rix
|
e8dfa26c97
|
📝 MonadThrow.
|
2018-03-26 12:08:48 -04:00 |
|
Rob Rix
|
1b0cfb20da
|
Sort the synonyms.
|
2018-03-26 12:07:21 -04:00 |
|
Rob Rix
|
46e7af71d2
|
Indent.
|
2018-03-26 12:05:09 -04:00 |
|
Rob Rix
|
eda416652c
|
🔥 the type keyword which is making stylish-haskell sad.
|
2018-03-26 12:02:54 -04:00 |
|
Rob Rix
|
14daa52137
|
Tidy up the language pragmas.
|
2018-03-26 12:02:36 -04:00 |
|
Rob Rix
|
6dd5e5954a
|
🔥 some quantification.
|
2018-03-26 12:01:49 -04:00 |
|
Rob Rix
|
719f33106d
|
Spell out the parameters to the synonyms.
|
2018-03-26 12:00:26 -04:00 |
|
Rob Rix
|
1e2f63adaf
|
🔥 an unnecessary functional dependency.
|
2018-03-26 11:58:33 -04:00 |
|
Rob Rix
|
4e27fcdf36
|
Merge branch 'master' into evaluate-in-the-outer-analysis
|
2018-03-26 11:52:50 -04:00 |
|
Josh Vera
|
0afe70df71
|
Merge pull request #1663 from github/imports,-graphed
Imports, graphed
|
2018-03-26 11:52:31 -04:00 |
|
Rob Rix
|
f14135a0f5
|
Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis
|
2018-03-26 11:48:50 -04:00 |
|
Rob Rix
|
31eef41359
|
Dedent.
|
2018-03-26 11:35:37 -04:00 |
|
Rob Rix
|
bfd3aa8e0d
|
Merge branch 'master' into imports,-graphed
|
2018-03-26 11:34:35 -04:00 |
|
Josh Vera
|
3d15e349aa
|
Merge pull request #1672 from github/remove-fail
Add Resumable1 and specific exception types
|
2018-03-26 11:25:36 -04:00 |
|
joshvera
|
24c2eb7d67
|
docs
|
2018-03-26 11:11:11 -04:00 |
|
Rob Rix
|
b7f7ff3e68
|
Merge branch 'master' into remove-fail
|
2018-03-26 10:08:54 -04:00 |
|
Rob Rix
|
6037cb2d38
|
Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis
|
2018-03-26 09:53:47 -04:00 |
|
Rob Rix
|
9c57481efd
|
Fix up prelude use for Python.
|
2018-03-26 09:53:25 -04:00 |
|
Rob Rix
|
781399de4b
|
Whitespace tweaks.
|
2018-03-26 09:52:37 -04:00 |
|
Rob Rix
|
0c750ba24e
|
Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis
|
2018-03-26 09:51:15 -04:00 |
|
Rob Rix
|
b14db1821f
|
Fix up Semantic.Util.
|
2018-03-26 09:49:14 -04:00 |
|
Rob Rix
|
598c02ce21
|
Merge branch 'master' into imports,-graphed
|
2018-03-26 09:46:08 -04:00 |
|
Rob Rix
|
b221649b75
|
Merge branch 'master' into evaluate-in-the-outer-analysis
|
2018-03-26 09:40:42 -04:00 |
|
Rob Rix
|
066fc7cb79
|
Merge pull request #1664 from github/preludes-and-subclassing
Implement language-specific preludes.
|
2018-03-26 09:13:28 -04:00 |
|
Patrick Thomson
|
b3827b041a
|
Merge branch 'master' into preludes-and-subclassing
|
2018-03-24 16:37:46 -04:00 |
|
Rob Rix
|
548ef27239
|
More restored doccos.
|
2018-03-24 01:09:38 -04:00 |
|
Rob Rix
|
833dc927e9
|
Restore some lost docs.
|
2018-03-24 01:08:47 -04:00 |
|
Rob Rix
|
c95f103783
|
Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis
|
2018-03-24 01:00:23 -04:00 |
|
Rob Rix
|
bc27cb2c15
|
🔥
|
2018-03-24 00:51:43 -04:00 |
|
Rob Rix
|
659bcc43a9
|
Align some things.
|
2018-03-24 00:42:31 -04:00 |
|
Rob Rix
|
2e228604cf
|
Merge branch 'master' into imports,-graphed
|
2018-03-24 00:35:50 -04:00 |
|
Rob Rix
|
cd99c99618
|
Reformat a couple of signatures.
|
2018-03-24 00:20:25 -04:00 |
|
Rob Rix
|
8d337dd759
|
Move Evaluatable back into its own module, along with some other stuff.
|
2018-03-23 20:49:43 -04:00 |
|
Rob Rix
|
cff84d463b
|
Only provide one coercible instance.
|
2018-03-23 20:43:34 -04:00 |
|
Rob Rix
|
2f3cd99d7e
|
Move a Monad constraint around.
|
2018-03-23 20:40:51 -04:00 |
|
Rob Rix
|
0b0bf455d4
|
Realign a thing.
|
2018-03-23 20:39:09 -04:00 |
|
Rob Rix
|
ca9476000b
|
Move the Recursive constraint into the MonadEvaluatable synonym.
|
2018-03-23 20:38:47 -04:00 |
|
Rob Rix
|
b94098cf3e
|
🔥 a commented-out definition.
|
2018-03-23 20:35:48 -04:00 |
|
Rob Rix
|
3800759ba3
|
Simplify the context for Evaluating’s MonadAnalysis instance.
|
2018-03-23 20:35:17 -04:00 |
|
Rob Rix
|
8fe368145d
|
🔥 the EvaluateModule exception.
|
2018-03-23 20:31:15 -04:00 |
|
Rob Rix
|
524cf3830c
|
🔥 MonadEvaluateModule.
|
2018-03-23 20:30:01 -04:00 |
|
Rob Rix
|
72de7d0bbd
|
Simplify an instance context.
|
2018-03-23 20:25:13 -04:00 |
|
Rob Rix
|
4231844a29
|
Move load/require back to the Evaluatable module.
|
2018-03-23 20:23:36 -04:00 |
|
Rob Rix
|
e5d45edfb5
|
🔥 some unnecessary ScopedTypeVariables.
|
2018-03-23 20:20:23 -04:00 |
|
Rob Rix
|
ce8a3a6d5d
|
Simplify a context.
|
2018-03-23 20:20:01 -04:00 |
|
Rob Rix
|
2cce44a9ec
|
Clean up a ton of imports.
|
2018-03-23 20:16:04 -04:00 |
|
Rob Rix
|
fb727c05cf
|
Move the MonadValue instances into the Value/Type modules.
|
2018-03-23 20:12:19 -04:00 |
|
Rob Rix
|
d99877d397
|
Move MonadValue back to Control.Abstract.Value.
|
2018-03-23 19:53:19 -04:00 |
|
Rob Rix
|
468d85bb2c
|
what if analysis composition worked
|
2018-03-23 19:50:04 -04:00 |
|