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
Rob Rix
1fb1707d8a
List MonadValue’s exports explicitly.
2018-03-23 19:23:46 -04:00
Rob Rix
806308d3a3
Import Evaluator in Addressable.
2018-03-23 18:46:03 -04:00
Rob Rix
85650c06df
Merge branch 'master' into imports,-graphed
2018-03-23 15:26:11 -04:00
Josh Vera
f1e48c231a
Merge pull request #1665 from github/default-extensions
...
More default extensions
2018-03-23 15:04:36 -04:00
Josh Vera
d90f5f5f44
Merge branch 'master' into default-extensions
2018-03-23 14:54:59 -04:00
Josh Vera
83f7a24972
Merge pull request #1659 from github/module-resolution
...
Resume evaluation when resumable exceptions are thrown
2018-03-23 14:54:38 -04:00
Josh Vera
3def54661f
Merge branch 'master' into module-resolution
2018-03-23 14:40:09 -04:00
Rob Rix
60382ba31a
🔥 a redundant import.
2018-03-23 11:05:07 -04:00
Rob Rix
fc3a42ab4f
Revert "Invert the overall order of the effect list."
...
This reverts commit 0cb27ae3865a6e6e8f2cb11d58c5190c1be550e7.
2018-03-23 11:04:34 -04:00
Rob Rix
2c8cb8e67a
Invert the overall order of the effect list.
...
This puts outer analyses results at the outermost level of values.
2018-03-23 11:01:42 -04:00
Rob Rix
a5067cb018
Move require/load to Data.Abstract.Evaluatable.
2018-03-23 10:38:33 -04:00
Rob Rix
f87f04b059
Simplify the Evaluatable re-exports.
2018-03-23 10:36:37 -04:00
joshvera
9b2524cc81
Merge branch 'module-resolution' into default-extensions
2018-03-23 10:31:07 -04:00
Rob Rix
8fbcc79b7b
Merge pull request #1668 from github/ 🔥 -ghc-mod
...
🔥 ghc mod
2018-03-23 10:31:05 -04:00
joshvera
5905c85052
Add join to tests
2018-03-23 10:29:01 -04:00
Rob Rix
8cd797530e
Merge branch ' 🔥 -ghc-mod' into imports,-graphed
2018-03-23 10:26:53 -04:00
Rob Rix
9c0b5f7ab6
Merge branch ' 🔥 -ghc-mod' into imports,-graphed
2018-03-23 10:26:13 -04:00
Rob Rix
1c84f73e48
🔥 a couple of redundant .gitmodules entries.
2018-03-23 10:16:56 -04:00
Rob Rix
52c50c8956
🔥 ghc-mod.
2018-03-23 10:16:34 -04:00
joshvera
1fa062a474
Merge branch 'module-resolution' of https://github.com/github/semantic-diff into module-resolution
2018-03-22 21:28:12 -04:00
Rob Rix
5dcad0e8de
Correct the docs for evaluateModule.
2018-03-22 19:50:09 -04:00
Rob Rix
3e086c6681
Write resumeException inline.
2018-03-22 19:49:11 -04:00
Rob Rix
d56a5ce0e6
📝 mergeEither.
2018-03-22 19:48:42 -04:00
Rob Rix
b90553cc2d
Define a helper to merge eithers.
2018-03-22 19:43:46 -04:00
Rob Rix
eb031d22d5
🔥 Both.fst/Both.snd.
2018-03-22 19:40:19 -04:00
Rob Rix
7d4cb9171a
Listen for EvaluateModule requests.
2018-03-22 19:37:46 -04:00
Josh Vera
5c5dedfeda
Merge branch 'master' into module-resolution
2018-03-22 19:32:33 -04:00
joshvera
54c11bf629
join fst
2018-03-22 19:31:51 -04:00
joshvera
2358187357
align
2018-03-22 19:31:47 -04:00
joshvera
2e794e92a5
align
2018-03-22 19:31:08 -04:00
Rob Rix
dd755a4f0b
Use EvaluateModule to signal module loads.
2018-03-22 19:28:43 -04:00
Rob Rix
8530a288cd
Define a single instance of MonadThrow.
2018-03-22 19:27:31 -04:00
Rob Rix
31c433fe02
Define an EvaluateModule exception/request type.
2018-03-22 19:24:19 -04:00
Rob Rix
0acd79da04
🔥 a functional dependency.
2018-03-22 19:23:28 -04:00
Rob Rix
13904cbee2
Dedend the exports.
2018-03-22 19:23:16 -04:00
Patrick Thomson
5eab8a1caa
Merge pull request #1667 from github/multiple-inheritance
...
Implement multiple inheritance.
2018-03-22 17:15:34 -04:00
joshvera
901cd319a2
fix ruby test
2018-03-22 16:39:53 -04:00
Patrick Thomson
75bf3bebe4
Merge pull request #1666 from github/fix-python-member-call
...
Fix Python method calls.
2018-03-22 16:34:42 -04:00
Patrick Thomson
178da2959e
Implement multiple inheritance.
...
Python is the only language that we support that permits multiple
inheritance, which is probably good, since MI is generally considered
a sign of a poorly-designed object hierarchy. But there's no reason
not to support it. This algorithm is more simplistic than Python's
actual method-resolution lookup, but it's fine for now, and the
behavior for simple cases matches that of Python.
2018-03-22 15:54:21 -04:00
Josh Vera
7792356012
Merge branch 'master' into default-extensions
2018-03-22 15:43:31 -04:00