From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Mon, 1 Jul 2019 14:35:23 +0000 (+0200)
Subject: dhall: remove optional arguments from mkConfig
X-Git-Tag: v1.23~1^2
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1;p=github%2Ffretlink%2Fansible-clever.git

dhall: remove optional arguments from mkConfig

It was just constructing a record without adding any information. Now
it constructs a record from its mandatory parts. The caller can then
override fields as they please.
---

diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index ae84b21..413ea5a 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -7,12 +7,6 @@ let Addon = ./addon/Addon.dhall
 in    λ(vault : Vault)
     → λ(app : Text)
     → λ(organization : Text)
-    → λ(entryPoint : Optional Text)
-    → λ(metrics : Bool)
-    → λ(syslogServer : Optional Text)
-    → λ(domain : Optional Text)
-    → λ(tasksFile : Optional Text)
-    → λ(addons : List Addon)
     →   { clever_app =
             app
         , clever_orga =
@@ -22,17 +16,17 @@ in    λ(vault : Vault)
         , clever_token =
             vault.token
         , clever_syslog_server =
-            syslogServer
+            None Text
         , clever_domain =
-            domain
+            None Text
         , clever_app_tasks_file =
-            tasksFile
+            None Text
         , clever_haskell_entry_point =
-            entryPoint
+            None Text
         , clever_metrics =
-            metrics
+            True
         , clever_addons =
-            addons
+            [] : List Addon
         , clever_env =
             {=}
         }