Move to NonEmpty in dhall types

Author: f-f

flake.nix

@@ -59,7 +59,7 @@
       DHALL_PRELUDE = "${
         builtins.fetchGit {
           url = "https://github.com/dhall-lang/dhall-lang";
-          rev = "e35f69d966f205fdc0d6a5e8d0209e7b600d90b3";
+          rev = "25cf020ab307cb2d66826b0d1ddac8bc89241e27";
         }
       }/Prelude/package.dhall";
 

types/v1/Metadata.dhall

@@ -1,4 +1,5 @@
 let Map = (./Prelude.dhall).Map.Type
+let NonEmpty = (./Prelude.dhall).NonEmpty.Type
 
 let Owner = ./Owner.dhall
 
@@ -14,7 +15,7 @@ let PublishedMetadata =
       { hash : Sha256
       , bytes : Natural
       , publishedTime : ISO8601String
-      , compilers : < Single : Version | Many : List Version >
+      , compilers : NonEmpty Version
       }
 
 let UnpublishedMetadata =

types/v1/Prelude.dhall

@@ -2,4 +2,4 @@
 -- remote hosts in an offline environment (such as Nix in CI). DHALL_PRELUDE is
 -- automatically set in your Nix shell, but if you are not using a Nix shell and
 -- want to run this locally then the URL will be used instead.
-env:DHALL_PRELUDE ? https://prelude.dhall-lang.org/v19.0.0/package.dhall sha256:eb693342eb769f782174157eba9b5924cf8ac6793897fc36a31ccbd6f56dafe2
+env:DHALL_PRELUDE