From 3e4ef4a739a73a0104dd3ddeea37cf22d38594ea Mon Sep 17 00:00:00 2001
From: Mann mit Hut <github+mmhat@with-h.at>
Date: Wed, 25 Oct 2023 13:55:55 +0200
Subject: [PATCH] Added Dhall.checkWithSettings

---
 dhall/src/Dhall.hs | 39 ++++++++++++++++++++++++++++-----------
 1 file changed, 28 insertions(+), 11 deletions(-)

diff --git a/dhall/src/Dhall.hs b/dhall/src/Dhall.hs
index 310472647..e427de214 100644
--- a/dhall/src/Dhall.hs
+++ b/dhall/src/Dhall.hs
@@ -51,6 +51,7 @@ module Dhall
     , parseWithSettings
     , resolveWithSettings
     , typecheckWithSettings
+    , checkWithSettings
     , expectWithSettings
     , normalizeWithSettings
 
@@ -218,29 +219,45 @@ typecheckWithSettings settings expression = do
 
     return ()
 
-{-| Type-check an expression against a `Decoder`'s expected type, using the
-    supplied `InputSettings`
+{-| Type-check an expression against a type provided as a Dhall expreession,
+    using the supplied `InputSettings`
 -}
-expectWithSettings :: InputSettings -> Decoder a -> Expr Src Void -> IO ()
-expectWithSettings settings Decoder{..} expression = do
-    expected' <- case expected of
-        Success x -> return x
-        Failure e -> Control.Exception.throwIO e
-
-    let suffix = Dhall.Pretty.Internal.prettyToStrictText expected'
+checkWithSettings ::
+    -- | The input settings
+    InputSettings ->
+    -- | The expected type of the expression
+    Expr Src Void ->
+    -- | The expression to check
+    Expr Src Void ->
+    IO ()
+checkWithSettings settings type_ expression = do
+    let suffix = Dhall.Pretty.Internal.prettyToStrictText type_
 
     let annotated = case expression of
             Note (Src begin end bytes) _ ->
-                Note (Src begin end bytes') (Annot expression expected')
+                Note (Src begin end bytes') (Annot expression type_)
               where
                 bytes' = bytes <> " : " <> suffix
             _ ->
-                Annot expression expected'
+                Annot expression type_
 
     typecheckWithSettings settings annotated
 
     return ()
 
+{-| Type-check an expression against a `Decoder`'s expected type, using the
+    supplied `InputSettings`.
+    This is equivalent of using the 'expected' type of a @Decoder@ as the second
+    argument to 'checkWithSettings'.
+-}
+expectWithSettings :: InputSettings -> Decoder a -> Expr Src Void -> IO ()
+expectWithSettings settings Decoder{..} expression = do
+    expected' <- case expected of
+        Success x -> return x
+        Failure e -> Control.Exception.throwIO e
+
+    checkWithSettings settings expected' expression
+
 {-| Resolve an expression, using the supplied `InputSettings`
 
     Note that this also applies any substitutions specified in the