Use getModeExpectedTypeName

ollef · Jan 13, 2024 · 52ec52b · 52ec52b
1 parent 40590a4
commit 52ec52b
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/src/Elaboration.hs b/src/Elaboration.hs
@@ -562,12 +562,9 @@ elaborateWith context spannedTerm@(Surface.Term span term) mode canPostpone = do
                       type' <- evaluate context $ Syntax.fromVoid type_
                       result context mode (Syntax.Spanned span $ Syntax.Global qualifiedName) type'
             Just (Scope.Constructors constructorCandidates dataCandidates) -> do
-              resolution <- resolveConstructor constructorCandidates dataCandidates $
-                case mode of
-                  Check expectedType ->
-                    getExpectedTypeName context expectedType
-                  Infer m ->
-                    m
+              resolution <-
+                resolveConstructor constructorCandidates dataCandidates $
+                  getModeExpectedTypeName context mode
               case resolution of
                 Left blockingMeta ->
                   case (canPostpone, mode) of