[Git][ghc/ghc][wip/T24477] wip

[Jade (@Jade)]

Jade pushed to branch wip/T24477 at Glasgow Haskell Compiler / GHC


Commits:
34f91e0f by Jade at 2024-05-07T15:34:51+02:00
wip

- - - - -


2 changed files:

- compiler/GHC/Driver/Flags.hs
- testsuite/tests/ffi/should_fail/ccfail001.stderr


Changes:

=====================================
compiler/GHC/Driver/Flags.hs
=====================================
@@ -91,11 +91,11 @@ data ExtensionDeprecation
   | ExtensionFlagDeprecated String
   deriving Eq
 
-deprecation :: ExtensionDeprecation -> TurnOnFlag -> Deprecation
-deprecation ExtensionNotDeprecated _ = NotDeprecated
-deprecation (ExtensionFlagDeprecatedCond f _) flag
-  | flag /= f = NotDeprecated
-deprecation _ _ = Deprecated
+-- | Always returns 'Deprecated' even when the flag is
+-- only conditionally deprecated.
+deprecation :: ExtensionDeprecation -> Deprecation
+deprecation ExtensionNotDeprecated = NotDeprecated
+deprecation _ = Deprecated
 
 extensionDeprecation :: LangExt.Extension -> ExtensionDeprecation
 extensionDeprecation = \case
@@ -170,7 +170,6 @@ extensionName = \case
   LangExt.ApplicativeDo -> "ApplicativeDo"
   LangExt.LinearTypes -> "LinearTypes"
   LangExt.RequiredTypeArguments -> "RequiredTypeArguments"    -- Visible forall (VDQ) in types of terms
-
   LangExt.StandaloneDeriving -> "StandaloneDeriving"
   LangExt.DeriveDataTypeable -> "DeriveDataTypeable"
   LangExt.AutoDeriveTypeable -> "AutoDeriveTypeable"       -- Automatic derivation of Typeable
@@ -183,7 +182,6 @@ extensionName = \case
   LangExt.DeriveLift -> "DeriveLift"               -- Allow deriving Lift
   LangExt.DerivingStrategies -> "DerivingStrategies"
   LangExt.DerivingVia -> "DerivingVia"              -- Derive through equal representation
-
   LangExt.TypeSynonymInstances -> "TypeSynonymInstances"
   LangExt.FlexibleContexts -> "FlexibleContexts"
   LangExt.FlexibleInstances -> "FlexibleInstances"


=====================================
testsuite/tests/ffi/should_fail/ccfail001.stderr
=====================================
@@ -1,8 +1,9 @@
-
 ccfail001.hs:10:1: error: [GHC-10964]
     • Unacceptable result type in foreign declaration:
         ‘State# RealWorld’ cannot be marshalled in a foreign call
         UnliftedFFITypes is required to marshal unlifted types
     • When checking declaration:
         foreign import ccall safe foo :: Int -> State# RealWorld
-    Suggested fix: Perhaps you intended to use UnliftedFFITypes
+    Suggested fix:
+      Perhaps you intended to use the ‘UnliftedFFITypes’ extension
+



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/34f91e0f88fe0df0cf4ae9d55f36a623e5dacc8e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/34f91e0f88fe0df0cf4ae9d55f36a623e5dacc8e
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240507/41944846/attachment-0001.html>