From 331e852ca9f795818b7dcbb85d782dfff32c4ea2 Mon Sep 17 00:00:00 2001 From: Paul Bonaud Date: Fri, 26 Apr 2019 18:06:35 +0200 Subject: dhall(upgrade): upgrade code to be compatible with dhall 1.21.0 --- .../service/plugin/mkRequestTermination.dhall | 34 +++++++++++----------- 1 file changed, 17 insertions(+), 17 deletions(-) (limited to 'dhall/server/service/plugin/mkRequestTermination.dhall') diff --git a/dhall/server/service/plugin/mkRequestTermination.dhall b/dhall/server/service/plugin/mkRequestTermination.dhall index aff538f..1d047d7 100644 --- a/dhall/server/service/plugin/mkRequestTermination.dhall +++ b/dhall/server/service/plugin/mkRequestTermination.dhall @@ -1,20 +1,20 @@ - let Plugin = ./Plugin.dhall +let Plugin = ./Plugin.dhall -in let config = constructors ./Config.dhall +let config = ./Config.dhall in λ(statusCode : Natural) - → λ(contentType : Text) - → λ(body : Text) - → { name = - "request-termination" - , config = - config.RequestTermination - { status_code = - statusCode - , content_type = - contentType - , body = - body - } - } - : Plugin + → λ(contentType : Text) + → λ(body : Text) + → { name = + "request-termination" + , config = + config.RequestTermination + { status_code = + statusCode + , content_type = + contentType + , body = + body + } + } + : Plugin -- cgit v1.2.3