]> git.immae.eu Git - github/fretlink/ansible-kong-app.git/commit
dhall: BREAKING CHANGE update dhall config for 1.33+ compatibility 19/head
authorPaul Bonaud <paul.bonaud@fretlink.com>
Thu, 13 Aug 2020 14:01:49 +0000 (16:01 +0200)
committerPaul Bonaud <paul.bonaud@fretlink.com>
Thu, 13 Aug 2020 14:32:20 +0000 (16:32 +0200)
commitd8c5e33f6015e3f17aaf5fd290b1834e6e6c1049
tree034b7aabaecd61229985c3346a75e4496f89743e
parent25250c8c24a3c0b32c92eee5552ad7156115f03c
dhall: BREAKING CHANGE update dhall config for 1.33+ compatibility

Since dhall 1.33.0 lang version the `Optional/fold` function is
removed from the language and can be replaced by the usage of the
`merge` function which now works on Optional values ðŸŽ‰ since 1.29

https://github.com/dhall-lang/dhall-haskell/pull/1608

This new code is thus not compatible with versions of dhall
<1.29.0 (due to the new feature of the `merge` fonction).
.travis.yml
dhall-1.34.0.nix [moved from dhall-1.26.1.nix with 87% similarity]
dhall/server/service/plugin/correlationId.dhall