Linted to-directory-tree test files

Author: mmhat

dhall/tests/to-directory-tree/fixpoint-helper.dhall

@@ -21,6 +21,10 @@ let Entry =
         }
 
 let Make =
-      \(r : Type) -> { directory : Entry (List r) -> r, binary-file : Entry Bytes -> r, file : Entry Text -> r }
+      \(r : Type) ->
+        { directory : Entry (List r) -> r
+        , binary-file : Entry Bytes -> r
+        , file : Entry Text -> r
+        }
 
 in  { User, Group, Access, Mode, Entry, Make }

dhall/tests/to-directory-tree/fixpoint-simple.dhall

@@ -8,18 +8,18 @@ let Make = (./fixpoint-helper.dhall).Make
 
 in  \(r : Type) ->
     \(make : Make r) ->
-        [ make.file
-            { name = "file"
-            , content = ""
-            , user = None User
-            , group = None Group
-            , mode = None Mode
-            }
-        , make.directory
-            { name = "directory"
-            , content = [] : List r
-            , user = None User
-            , group = None Group
-            , mode = None Mode
-            }
-        ]
+      [ make.file
+          { name = "file"
+          , content = ""
+          , user = None User
+          , group = None Group
+          , mode = None Mode
+          }
+      , make.directory
+          { name = "directory"
+          , content = [] : List r
+          , user = None User
+          , group = None Group
+          , mode = None Mode
+          }
+      ]

dhall/tests/to-directory-tree/type.dhall

@@ -20,14 +20,17 @@ let Entry =
         , mode : Optional Mode
         }
 
-in forall (result : Type) ->
+in  forall (result : Type) ->
       let DirectoryEntry = Entry (List result)
 
       let BinaryFileEntry = Entry Bytes
 
       let TextFileEntry = Entry Text
 
       let Make =
-            { directory : DirectoryEntry -> result, binary-file : BinaryFileEntry -> result, file : TextFileEntry -> result }
+            { directory : DirectoryEntry -> result
+            , binary-file : BinaryFileEntry -> result
+            , file : TextFileEntry -> result
+            }
 
       in  forall (make : Make) -> List result