\begin{code}
-{-# OPTIONS -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -XNoImplicitPrelude #-}
---------------------------------------------------------------------------
-- Ghc.Err.hs-boot
---------------------------------------------------------------------------