Rob Rix
|
0192c85918
|
Group into NonEmpty lists.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 16:45:16 -04:00 |
|
Rob Rix
|
7183dcf033
|
Implement topological sorts.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 16:43:24 -04:00 |
|
Patrick Thomson
|
d79e021bd3
|
lints/warnings
|
2018-06-15 15:53:43 -04:00 |
|
Rob Rix
|
0ba6f54f42
|
Derive a Functor instance for LoadOrder.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 15:44:28 -04:00 |
|
Rob Rix
|
94b74325b0
|
Give LoadOrder a separate parameter for the completed value.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 15:44:17 -04:00 |
|
Rob Rix
|
2387683c12
|
Make the modules available during the rest of the load.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 15:22:18 -04:00 |
|
Rob Rix
|
05933691d4
|
Preserve the Modules during evaluation.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 15:08:36 -04:00 |
|
Rob Rix
|
3d45ab4623
|
Evaluate following tiers recursively.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 15:00:25 -04:00 |
|
Rob Rix
|
c925925dd8
|
Evaluate a single tier of modules.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 14:57:35 -04:00 |
|
Patrick Thomson
|
ea642a0f37
|
Fix import
|
2018-06-15 14:16:03 -04:00 |
|
Patrick Thomson
|
fc3d2cff30
|
Merge branch 'master' into bump-effects
|
2018-06-15 14:15:18 -04:00 |
|
Timothy Clem
|
14e03fb1d0
|
Merge pull request #1964 from github/telemetry-and-config
Telemetry and config refactor
|
2018-06-15 11:13:44 -07:00 |
|
Rob Rix
|
3b2cb5c0fd
|
Factor NonEmpty out of LoadOrder.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
|
2018-06-15 14:12:55 -04:00 |
|
Rob Rix
|
0d3bec92ad
|
Stub in an evaluate function mapping modules to results.
|
2018-06-15 14:05:36 -04:00 |
|
Patrick Thomson
|
1e743ac4eb
|
pass prelude-path in on the cmdline
|
2018-06-15 14:05:31 -04:00 |
|
Rob Rix
|
327a3387d9
|
Stub in a datatype representing a load order.
|
2018-06-15 14:04:44 -04:00 |
|
Timothy Clem
|
0ddf994a81
|
Merge branch 'master' into telemetry-and-config
|
2018-06-15 10:40:06 -07:00 |
|
Timothy Clem
|
3657c0e524
|
Remove imports
|
2018-06-15 10:34:49 -07:00 |
|
Timothy Clem
|
23390f7789
|
Refactor Stats addr
|
2018-06-15 10:31:51 -07:00 |
|
Timothy Clem
|
21e3f69110
|
Just one defaultConfig
|
2018-06-15 10:17:02 -07:00 |
|
Rob Rix
|
d1d07a953b
|
Merge pull request #1969 from github/semilattices
Semilattices
|
2018-06-15 13:11:09 -04:00 |
|
Timothy Clem
|
033a748ed7
|
Telemetry interface handles details of creating/closing async queues
|
2018-06-15 09:56:46 -07:00 |
|
Patrick Thomson
|
92b80690eb
|
This means we can kill addPrelude, which is nice
|
2018-06-15 12:01:45 -04:00 |
|
Patrick Thomson
|
62d238df09
|
🔥 Preluded and make prelude paths simpler/explicit
Preluded was overengineered anyway.
|
2018-06-15 11:49:26 -04:00 |
|
Rob Rix
|
792cdcc5e2
|
Re-export Lower from SpecHelpers.
|
2018-06-15 11:41:38 -04:00 |
|
Rob Rix
|
ccbd880155
|
Re-export Lower in Prologue.
|
2018-06-15 11:41:15 -04:00 |
|
Rob Rix
|
da19e87b80
|
Depend on semilattices in the tests.
|
2018-06-15 11:40:26 -04:00 |
|
Rob Rix
|
bf06d928c9
|
Replace Data.Semilattice.Lower with semilattices.
|
2018-06-15 11:37:49 -04:00 |
|
Rob Rix
|
33064d0dbc
|
Add semilattices as a submodule.
|
2018-06-15 11:36:58 -04:00 |
|
Patrick Thomson
|
22af1bb8e8
|
Merge branch 'bump-effects' into import-graph-mk2
|
2018-06-15 11:15:45 -04:00 |
|
Patrick Thomson
|
09ffcc0af1
|
Bump effects version.
|
2018-06-15 11:12:08 -04:00 |
|
Rob Rix
|
54ea58fd79
|
Move the proto3 packages down.
|
2018-06-15 11:06:26 -04:00 |
|
Rob Rix
|
430a4e1cfa
|
🔥 emptyEnv.
|
2018-06-15 11:05:19 -04:00 |
|
Rob Rix
|
148961ac4e
|
Merge branch 'master' into telemetry-and-config
|
2018-06-15 10:47:34 -04:00 |
|
Rob Rix
|
4c46b951c7
|
Merge pull request #1966 from github/charliesome/remove-copies-in-declaration
Remove value copies in Data.Syntax.Declaration
|
2018-06-15 10:47:17 -04:00 |
|
Patrick Thomson
|
80aac54baa
|
Merge remote-tracking branch 'origin/master' into import-graph-mk2
|
2018-06-15 10:01:51 -04:00 |
|
Rob Rix
|
116bbb99c4
|
Merge branch 'master' into telemetry-and-config
|
2018-06-15 09:32:27 -04:00 |
|
Rob Rix
|
c3acc0e1ff
|
Merge branch 'master' into charliesome/remove-copies-in-declaration
|
2018-06-15 09:32:23 -04:00 |
|
Rob Rix
|
67700456d3
|
Merge pull request #1965 from github/assignment-api
Assignment API tweaks, part one
|
2018-06-15 09:31:41 -04:00 |
|
Rob Rix
|
02a9538f65
|
Merge branch 'master' into assignment-api
|
2018-06-15 09:03:37 -04:00 |
|
Charlie Somerville
|
b00423b043
|
pass through original address in If and Let
|
2018-06-15 13:07:36 +10:00 |
|
Charlie Somerville
|
89359de71d
|
return original address rather than boxing a copy
|
2018-06-15 11:52:22 +10:00 |
|
Timothy Clem
|
5740429196
|
Wire up script properly for the various was we code gen
|
2018-06-14 14:42:18 -07:00 |
|
Rob Rix
|
7053028647
|
Merge pull request #1963 from github/charliesome/array-address
Store addresses in arrays and tuples rather than unboxed values
|
2018-06-14 16:02:30 -04:00 |
|
Timothy Clem
|
63fbd49964
|
Merge remote-tracking branch 'origin/master' into grpc-trees
|
2018-06-14 12:56:37 -07:00 |
|
Rob Rix
|
11d887fdd2
|
📝 toTerm.
|
2018-06-14 14:53:14 -04:00 |
|
Rob Rix
|
3ef04bb17c
|
📝 leafNode.
|
2018-06-14 14:51:55 -04:00 |
|
Rob Rix
|
480549dd46
|
📝 branchNode.
|
2018-06-14 14:51:48 -04:00 |
|
Rob Rix
|
be464d49e2
|
Rename a bunch of parameters.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:46:18 -04:00 |
|
Rob Rix
|
4206f1c183
|
🔥 the HasCallStack constraint.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:42:15 -04:00 |
|