From 331e852ca9f795818b7dcbb85d782dfff32c4ea2 Mon Sep 17 00:00:00 2001
From: Paul Bonaud <paul.bonaud@fretlink.com>
Date: Fri, 26 Apr 2019 18:06:35 +0200
Subject: dhall(upgrade): upgrade code to be compatible with dhall 1.21.0

---
 dhall/server/service/plugin/CorrelationId.dhall    | 16 +++++-----
 dhall/server/service/plugin/mkIPRestriction.dhall  | 16 +++++-----
 .../service/plugin/mkRequestTermination.dhall      | 34 +++++++++++-----------
 .../service/plugin/mkRequestTransformer.dhall      | 16 +++++-----
 4 files changed, 41 insertions(+), 41 deletions(-)

(limited to 'dhall/server')

diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall
index d96bfc9..655cd8d 100644
--- a/dhall/server/service/plugin/CorrelationId.dhall
+++ b/dhall/server/service/plugin/CorrelationId.dhall
@@ -1,11 +1,11 @@
-    let Plugin = ./Plugin.dhall
+let Plugin = ./Plugin.dhall
 
-in  let config = constructors ./Config.dhall
+let config = ./Config.dhall
 
 in    { name =
-          "correlation-id"
-      , config =
-          config.CorrelationId
-          { header_name = "X-correl", echo_downstream = True }
-      }
-    : Plugin
+		  "correlation-id"
+	  , config =
+		  config.CorrelationId
+		  { header_name = "X-correl", echo_downstream = True }
+	  }
+	: Plugin
diff --git a/dhall/server/service/plugin/mkIPRestriction.dhall b/dhall/server/service/plugin/mkIPRestriction.dhall
index f803769..a27e5d9 100644
--- a/dhall/server/service/plugin/mkIPRestriction.dhall
+++ b/dhall/server/service/plugin/mkIPRestriction.dhall
@@ -1,11 +1,11 @@
-    let Plugin = ./Plugin.dhall
+let Plugin = ./Plugin.dhall
 
-in  let config = constructors ./Config.dhall
+let config = ./Config.dhall
 
 in    λ(whiteList : Text)
-    →   { name =
-            "ip-restriction"
-        , config =
-            config.IPRestriction { whitelist = whiteList }
-        }
-      : Plugin
+	→   { name =
+			"ip-restriction"
+		, config =
+			config.IPRestriction { whitelist = whiteList }
+		}
+	  : Plugin
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
diff --git a/dhall/server/service/plugin/mkRequestTransformer.dhall b/dhall/server/service/plugin/mkRequestTransformer.dhall
index 1d8d608..488ecdd 100644
--- a/dhall/server/service/plugin/mkRequestTransformer.dhall
+++ b/dhall/server/service/plugin/mkRequestTransformer.dhall
@@ -1,11 +1,11 @@
 let Plugin = ./Plugin.dhall
 
-in  let config = constructors ./Config.dhall
+let config = ./Config.dhall
 
-	in    λ(header : Text)
-		→   { name =
-				"request-transformer"
-			, config =
-				config.RequestTransformer { add = { headers = [ header ] } }
-			}
-		  : Plugin
\ No newline at end of file
+in    λ(header : Text)
+	→   { name =
+			"request-transformer"
+		, config =
+			config.RequestTransformer { add = { headers = [ header ] } }
+		}
+	  : Plugin
-- 
cgit v1.2.3