Merge pull request #14 from paulrbr-fl/upgrade-dhall-versionv0.8

dhall(upgrade): upgrade code to be compatible with dhall 1.21.0

1 files changed, 17 insertions, 17 deletions

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