This PR aims at reducing our use of Lwt. For now, all ou field getters return Lwt. This is future-proof in a way, because if we change the getter and then actually use an Lwt feature in there, then the rest of the code will stay unchanged. However, those getters basically never change and will not change in the future. This PR removes Lwt from getters that do not actually use them and propagates the change everywhere in the codebase. This already brings in quite a few code modifications (especially in the client) and there are a lot more that would be doable but that I left out; this PR is already big enough as it is.
Builds on top of #256.
This PR aims at reducing our use of
Lwt. For now, all ou field getters returnLwt. This is future-proof in a way, because if we change the getter and then actually use anLwtfeature in there, then the rest of the code will stay unchanged. However, those getters basically never change and will not change in the future. This PR removesLwtfrom getters that do not actually use them and propagates the change everywhere in the codebase. This already brings in quite a few code modifications (especially in the client) and there are a lot more that would be doable but that I left out; this PR is already big enough as it is.