diff options
-rw-r--r-- | .travis.yml | 2 | ||||
-rw-r--r-- | dhall-1.34.0.nix (renamed from dhall-1.26.1.nix) | 2 | ||||
-rw-r--r-- | dhall/server/service/plugin/correlationId.dhall | 24 |
3 files changed, 11 insertions, 17 deletions
diff --git a/.travis.yml b/.travis.yml index 14ab868..99c10c5 100644 --- a/.travis.yml +++ b/.travis.yml | |||
@@ -14,7 +14,7 @@ install: | |||
14 | 14 | ||
15 | # Install ansible | 15 | # Install ansible |
16 | - nix-env -i python3 ansible ansible-lint | 16 | - nix-env -i python3 ansible ansible-lint |
17 | - nix-env -if ./dhall-1.26.1.nix | 17 | - nix-env -if ./dhall-1.34.0.nix |
18 | 18 | ||
19 | # Check ansible version | 19 | # Check ansible version |
20 | - ansible --version | 20 | - ansible --version |
diff --git a/dhall-1.26.1.nix b/dhall-1.34.0.nix index 918a528..a70d201 100644 --- a/dhall-1.26.1.nix +++ b/dhall-1.34.0.nix | |||
@@ -19,4 +19,4 @@ let | |||
19 | ''; | 19 | ''; |
20 | }; | 20 | }; |
21 | in | 21 | in |
22 | mkVersion "1.26.1" "0sl4r3mfairgd6kn26hs1r1lkh8rn992grd73078rhqf5w90ag05" | 22 | mkVersion "1.34.0" "0n64jkgbv7a3cmlv3gxpgc11p9b5w0k9nc0zm9am2pzmp6vm6b4n" |
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 | ||
3 | let config = ./Config.dhall | 3 | let config = ./Config.dhall |
4 | 4 | ||
5 | in λ(generator : Optional Text) | 5 | in λ(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 |