aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/service
diff options
context:
space:
mode:
authorPaul Bonaud <paul.bonaud@fretlink.com>2020-08-13 16:01:49 +0200
committerPaul Bonaud <paul.bonaud@fretlink.com>2020-08-13 16:32:20 +0200
commitd8c5e33f6015e3f17aaf5fd290b1834e6e6c1049 (patch)
tree034b7aabaecd61229985c3346a75e4496f89743e /dhall/server/service
parent25250c8c24a3c0b32c92eee5552ad7156115f03c (diff)
downloadansible-kong-app-d8c5e33f6015e3f17aaf5fd290b1834e6e6c1049.tar.gz
ansible-kong-app-d8c5e33f6015e3f17aaf5fd290b1834e6e6c1049.tar.zst
ansible-kong-app-d8c5e33f6015e3f17aaf5fd290b1834e6e6c1049.zip
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).
Diffstat (limited to 'dhall/server/service')
-rw-r--r--dhall/server/service/plugin/correlationId.dhall24
1 files changed, 9 insertions, 15 deletions
diff --git a/dhall/server/service/plugin/correlationId.dhall b/dhall/server/service/plugin/correlationId.dhall
index d5d5928..41c5720 100644
--- a/dhall/server/service/plugin/correlationId.dhall
+++ b/dhall/server/service/plugin/correlationId.dhall
@@ -2,22 +2,16 @@ let Plugin = ./Plugin.dhall
2 2
3let config = ./Config.dhall 3let config = ./Config.dhall
4 4
5in λ(generator : Optional Text) 5in λ(generator : Optional Text) →
6 → { name = 6 { name = "correlation-id"
7 "correlation-id"
8 , config = 7 , config =
9 config.CorrelationId 8 config.CorrelationId
10 { header_name = 9 { header_name = "X-correl"
11 "X-correl" 10 , echo_downstream = True
12 , echo_downstream = 11 , generator =
13 True 12 merge
14 , generator = 13 { None = "uuid#counter", Some = λ(x : Text) → x }
15 Optional/fold 14 generator
16 Text 15 }
17 generator
18 Text
19 (λ(t : Text) → t)
20 "uuid#counter"
21 }
22 } 16 }
23 : Plugin 17 : Plugin