[ compat ] add deprecated stub

GenerateEverything.hs

@@ -61,6 +61,7 @@ unsafeModules = map modToFile
   , "IO.Instances"
   , "IO.Effectful"
   , "IO.Finite"
+  , "IO.Primitive"
   , "IO.Primitive.Core"
   , "IO.Primitive.Handle"
   , "IO.Primitive.Infinite"

src/IO/Primitive.agda

@@ -0,0 +1,15 @@
+------------------------------------------------------------------------
+-- The Agda standard library
+--
+-- This module is DEPRECATED. Please use IO.Primitive.Core instead
+------------------------------------------------------------------------
+
+{-# OPTIONS --cubical-compatible #-}
+
+module IO.Primitive where
+
+open import IO.Primitive public
+
+{-# WARNING_ON_IMPORT
+"IO.Primitive was deprecated in v2.1. Use IO.Primitive.Core instead."
+#-}