Rob Rix
|
bc89aa960a
|
Define a setter action.
|
2018-03-26 13:50:43 -04:00 |
|
Rob Rix
|
58b6c5ab04
|
Make lenses for EvaluatingState.
|
2018-03-26 13:13:59 -04:00 |
|
Rob Rix
|
60a1dceddd
|
Rename unStore to unHeap.
|
2018-03-26 13:00:24 -04:00 |
|
Rob Rix
|
4d85b1f18e
|
Define an evaluating state type.
|
2018-03-26 12:48:21 -04:00 |
|
Rob Rix
|
eb02706b2f
|
Merge pull request #1676 from github/quiet-analysis
Quiet analysis
|
2018-03-26 12:44:58 -04:00 |
|
Rob Rix
|
e2de2f2427
|
Tidy up a diff.
|
2018-03-26 12:36:42 -04:00 |
|
Rob Rix
|
b36b6c38c1
|
Tidier language pragmas.
|
2018-03-26 12:36:19 -04:00 |
|
Rob Rix
|
41f2cdd6a9
|
Merge branch 'master' into quiet-analysis
|
2018-03-26 12:30:19 -04:00 |
|
Rob Rix
|
0157b62e18
|
Merge pull request #1675 from github/evaluate-in-the-outer-analysis
Evaluate in the outer analysis
|
2018-03-26 12:27:04 -04:00 |
|
Rob Rix
|
b22f174a16
|
Merge branch 'master' into evaluate-in-the-outer-analysis
|
2018-03-26 12:16:22 -04:00 |
|
Rob Rix
|
0db30a6d8c
|
Align a bunch of cases.
|
2018-03-26 12:12:56 -04:00 |
|
Josh Vera
|
28f8174613
|
Merge pull request #1679 from github/evaluate-null
Evaluate nil/null literals.
|
2018-03-26 12:12:17 -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 |
|
Patrick Thomson
|
dea254be14
|
Merge branch 'master' into evaluate-null
|
2018-03-26 12:03:37 -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 |
|
Patrick Thomson
|
7cd0558266
|
Evaluate nil/null literals.
|
2018-03-26 12:01:09 -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
|
5ded571e83
|
📝 Quietly.
|
2018-03-26 10:41:11 -04:00 |
|
Rob Rix
|
24b98ced9b
|
🔥 some unnecessary scoped type variables.
|
2018-03-26 10:31:41 -04:00 |
|
Rob Rix
|
a8578c69bf
|
Don’t silence exceptions in Evaluating.
|
2018-03-26 10:31:24 -04:00 |
|
Rob Rix
|
587c078171
|
Silence unspecialized exceptions.
|
2018-03-26 10:28:14 -04:00 |
|
Rob Rix
|
a9c5955027
|
Merge remote-tracking branch 'origin/remove-fail' into quiet-analysis
|
2018-03-26 10:21:32 -04:00 |
|
Rob Rix
|
b7f7ff3e68
|
Merge branch 'master' into remove-fail
|
2018-03-26 10:08:54 -04:00 |
|
Rob Rix
|
d298077096
|
Stub in a MonadAnalysis instance.
|
2018-03-26 10:07:43 -04:00 |
|
Rob Rix
|
a4aae6a70c
|
Rename Quiet to Quietly.
|
2018-03-26 10:05:59 -04:00 |
|
Rob Rix
|
8b5ab170c3
|
Derive some standard instances.
|
2018-03-26 10:05:41 -04:00 |
|
Rob Rix
|
35e0063de9
|
Add a newtype for a quiet analysis.
|
2018-03-26 10:05:05 -04:00 |
|
Rob Rix
|
44f03209c4
|
Stub in a module for a quiet analysis.
|
2018-03-26 10:02:20 -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 |
|