\begin{code}
-{-# OPTIONS_GHC -XNoImplicitPrelude #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+
---------------------------------------------------------------------------
-- Ghc.Err.hs-boot
---------------------------------------------------------------------------