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 ae84b21dae5476974bda99ce7745cc815bca694d..413ea5a398675683555df54b83ecd11905800c53 100644 (file)
--- 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 =
             {=}
         }