fix: Remove unsafe FromJSON Name instance

Because it used `deriving newtype`, this instance constructed names without any validation, similarly to `unsafeMkName`. While we don't currently have any name validation, we expect that we will soon move to a "smart constructor" approach, ripping out most uses of `unsafeMkName`. We don't then want `fromJSON @Name` to remain as a validation-skipping backdoor.

An alternative would be to use our smart constructor (i.e. `safeMkName`) in a manual implementation of `fromJSON`. But given that the instance is unused (other than to define more unused instances for types which contain `Name`), we may as well just remove it.

N.B. This instance has been around since our old prototype frontend, and may have been useful back then.

primer/src/Primer/API.hs

@@ -1170,7 +1170,7 @@ data ApplyActionBody = ApplyActionBody
   , option :: Available.Option
   }
   deriving (Generic, Show)
-  deriving (FromJSON, ToJSON) via PrimerJSON ApplyActionBody
+  deriving (ToJSON) via PrimerJSON ApplyActionBody
 
 applyActions :: (MonadIO m, MonadThrow m, MonadAPILog l m) => ExprTreeOpts -> SessionId -> [ProgAction] -> PrimerM m Prog
 applyActions opts sid actions =
@@ -1185,7 +1185,7 @@ data Selection = Selection
   , node :: Maybe NodeSelection
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON Selection
+  deriving (ToJSON) via PrimerJSON Selection
 
 viewSelection :: App.Selection -> Selection
 viewSelection App.Selection{..} = Selection{def = selectedDef, node = viewNodeSelection <$> selectedNode}

primer/src/Primer/Action/Actions.hs

@@ -6,7 +6,7 @@ module Primer.Action.Actions (
 
 import Foreword
 
-import Data.Aeson (FromJSON (..), ToJSON (..), Value)
+import Data.Aeson (ToJSON (..), Value)
 import Primer.Core (PrimCon)
 import Primer.Core.Meta (ID, TmVarRef, ValConName)
 import Primer.JSON (CustomJSON (..), PrimerJSON)
@@ -102,9 +102,9 @@ data Action
   | -- | Rename a case binding
     RenameCaseBinding Text
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON Action
+  deriving (ToJSON) via PrimerJSON Action
 
 -- | Core movements
 data Movement = Child1 | Child2 | Parent | Branch ValConName
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON Movement
+  deriving (ToJSON) via PrimerJSON Movement

primer/src/Primer/Action/ProgAction.hs

@@ -10,7 +10,7 @@ module Primer.Action.ProgAction (ProgAction (..)) where
 
 import Foreword
 
-import Data.Aeson (FromJSON (..), ToJSON (..))
+import Data.Aeson (ToJSON (..))
 import Primer.Action.Actions (Action)
 import Primer.Core.Meta (GVarName, ID, ModuleName, TyConName, TyVarName, ValConName)
 import Primer.Core.Type (Type')
@@ -64,4 +64,4 @@ data ProgAction
   | -- | Renames an editable module (will return an error if asked to rename an imported module)
     RenameModule ModuleName (NonEmpty Text)
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON ProgAction
+  deriving (ToJSON) via PrimerJSON ProgAction

primer/src/Primer/App.hs

@@ -230,7 +230,7 @@ data Prog = Prog
   , progLog :: Log -- The log of all actions
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON Prog
+  deriving (ToJSON) via PrimerJSON Prog
 
 -- | The default 'Prog'. It has no imports, no definitions, no current
 -- 'Selection', and an empty 'Log'. Smart holes are enabled.
@@ -379,7 +379,7 @@ allDefs = fmap snd . progAllDefs
 --  Items are stored in reverse order so it's quick to add new ones.
 newtype Log = Log {unlog :: [[ProgAction]]}
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON Log
+  deriving (ToJSON) via PrimerJSON Log
 
 -- | The default (empty) 'Log'.
 defaultLog :: Log
@@ -393,7 +393,7 @@ data Selection = Selection
   , selectedNode :: Maybe NodeSelection
   }
   deriving (Eq, Show, Generic, Data)
-  deriving (FromJSON, ToJSON) via PrimerJSON Selection
+  deriving (ToJSON) via PrimerJSON Selection
 
 -- | A selected node, in the body or type signature of some definition.
 -- We have the following invariant: @nodeType = SigNode ==> isRight meta@
@@ -402,7 +402,7 @@ data NodeSelection = NodeSelection
   , meta :: Either ExprMeta TypeMeta
   }
   deriving (Eq, Show, Generic, Data)
-  deriving (FromJSON, ToJSON) via PrimerJSON NodeSelection
+  deriving (ToJSON) via PrimerJSON NodeSelection
 
 instance HasID NodeSelection where
   _id =
@@ -415,37 +415,37 @@ data MutationRequest
   = Undo
   | Edit [ProgAction]
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON MutationRequest
+  deriving (ToJSON) via PrimerJSON MutationRequest
 
 data EvalReq = EvalReq
   { evalReqExpr :: Expr
   , evalReqRedex :: ID
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON EvalReq
+  deriving (ToJSON) via PrimerJSON EvalReq
 
 data EvalResp = EvalResp
   { evalRespExpr :: Expr
   , evalRespRedexes :: [ID]
   , evalRespDetail :: EvalDetail
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON EvalResp
+  deriving (ToJSON) via PrimerJSON EvalResp
 
 data EvalFullReq = EvalFullReq
   { evalFullReqExpr :: Expr
   , evalFullCxtDir :: Dir -- is this expression in a syn/chk context, so we can tell if is an embedding.
   , evalFullMaxSteps :: TerminationBound
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON EvalFullReq
+  deriving (ToJSON) via PrimerJSON EvalFullReq
 
 -- If we time out, we still return however far we got
 data EvalFullResp
   = EvalFullRespTimedOut Expr
   | EvalFullRespNormal Expr
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON EvalFullResp
+  deriving (ToJSON) via PrimerJSON EvalFullResp
 
 -- * Request handlers
 
@@ -1049,7 +1049,7 @@ data App = App
   , initialState :: AppState
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON App
+  deriving (ToJSON) via PrimerJSON App
 
 -- Internal app state. Note that this type is not exported, as we want
 -- to guarantee that the counters are kept in sync with the 'Prog',
@@ -1061,7 +1061,7 @@ data AppState = AppState
   , prog :: Prog
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON AppState
+  deriving (ToJSON) via PrimerJSON AppState
 
 -- | Construct an 'App' from an 'ID' and a 'Prog'.
 --

primer/src/Primer/Core.hs

@@ -95,7 +95,7 @@ data TypeCache
   | TCChkedAt (Type' ())
   | TCEmb TypeCacheBoth
   deriving (Eq, Show, Generic, Data)
-  deriving (FromJSON, ToJSON) via PrimerJSON TypeCache
+  deriving (ToJSON) via PrimerJSON TypeCache
   deriving anyclass (NFData)
 
 -- We were checking at the first, but term was synthesisable and synth'd the
@@ -104,7 +104,7 @@ data TypeCache
 -- though, to make it clear what each one is!
 data TypeCacheBoth = TCBoth {tcChkedAt :: Type' (), tcSynthed :: Type' ()}
   deriving (Eq, Show, Generic, Data)
-  deriving (FromJSON, ToJSON) via PrimerJSON TypeCacheBoth
+  deriving (ToJSON) via PrimerJSON TypeCacheBoth
   deriving anyclass (NFData)
 
 -- TODO `_chkedAt` and `_synthed` should be `AffineTraversal`s,
@@ -182,7 +182,7 @@ data Expr' a b
   | Case a (Expr' a b) [CaseBranch' a b] -- See Note [Case]
   | PrimCon a PrimCon
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (Expr' a b)
+  deriving (ToJSON) via PrimerJSON (Expr' a b)
   deriving anyclass (NFData)
 
 -- Note [Synthesisable constructors]
@@ -257,7 +257,7 @@ data CaseBranch' a b
       (Expr' a b)
       -- ^ right hand side
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (CaseBranch' a b)
+  deriving (ToJSON) via PrimerJSON (CaseBranch' a b)
   deriving anyclass (NFData)
 
 -- | Variable bindings
@@ -267,7 +267,7 @@ type Bind = Bind' ExprMeta
 
 data Bind' a = Bind a LVarName
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (Bind' a)
+  deriving (ToJSON) via PrimerJSON (Bind' a)
   deriving anyclass (NFData)
 
 bindName :: Bind' a -> LVarName

primer/src/Primer/Core/Meta.hs

@@ -77,7 +77,7 @@ trivialMeta id = Meta id Nothing Nothing
 
 newtype ModuleName = ModuleName {unModuleName :: NonEmpty Name}
   deriving (Eq, Ord, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via NonEmpty Name
+  deriving (ToJSON) via NonEmpty Name
   deriving anyclass (NFData)
 
 -- | Helper function for simple (non-hierarchical) module names.
@@ -103,7 +103,7 @@ data GlobalName (k :: GlobalNameKind) = GlobalName
   , baseName :: Name
   }
   deriving (Eq, Ord, Generic, Data, Show)
-  deriving (FromJSON, ToJSON) via PrimerJSON (GlobalName k)
+  deriving (ToJSON) via PrimerJSON (GlobalName k)
   deriving anyclass (NFData)
 
 -- | Construct a name from a Text. This is called unsafe because there are no
@@ -129,7 +129,7 @@ data LocalNameKind
 newtype LocalName (k :: LocalNameKind) = LocalName {unLocalName :: Name}
   deriving (Eq, Ord, Show, Data, Generic)
   deriving (IsString) via Name
-  deriving (FromJSON, ToJSON) via Name
+  deriving (ToJSON) via Name
   deriving anyclass (NFData)
 
 unsafeMkLocalName :: Text -> LocalName k
@@ -143,7 +143,7 @@ data TmVarRef
   = GlobalVarRef GVarName
   | LocalVarRef LVarName
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON TmVarRef
+  deriving (ToJSON) via PrimerJSON TmVarRef
   deriving anyclass (NFData)
 
 -- | A class for types which have an ID.

primer/src/Primer/Core/Type.hs

@@ -59,7 +59,7 @@ data Type' a
       (Type' a)
       -- ^ body of the let; binding scopes over this
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (Type' a)
+  deriving (ToJSON) via PrimerJSON (Type' a)
   deriving anyclass (NFData)
 
 -- | A traversal over the metadata of a type

primer/src/Primer/Eval/Ann.hs

@@ -8,7 +8,7 @@ import Primer.Core (
   Expr,
   ID,
  )
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 
 data RemoveAnnDetail = RemoveAnnDetail
   { before :: Expr
@@ -19,4 +19,4 @@ data RemoveAnnDetail = RemoveAnnDetail
   -- ^ the ID of the type annotation
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON RemoveAnnDetail
+  deriving (ToJSON) via PrimerJSON RemoveAnnDetail

primer/src/Primer/Eval/Beta.hs

@@ -9,7 +9,7 @@ import Primer.Core (
   ID,
   LocalName,
  )
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 
 -- | Detailed information about a beta reduction (of a λ or Λ).
 -- If λ:
@@ -33,4 +33,4 @@ data BetaReductionDetail k domain codomain = BetaReductionDetail
   , types :: (domain, codomain)
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (BetaReductionDetail k domain codomain)
+  deriving (ToJSON) via PrimerJSON (BetaReductionDetail k domain codomain)

primer/src/Primer/Eval/Bind.hs

@@ -7,7 +7,7 @@ import Foreword
 import Primer.Core (
   ID,
  )
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 import Primer.Name (Name)
 
 -- | Detailed information about a renaming of a binding.
@@ -39,4 +39,4 @@ data BindRenameDetail t = BindRenameDetail
   -- ^ the right hand side of the binders
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (BindRenameDetail t)
+  deriving (ToJSON) via PrimerJSON (BindRenameDetail t)

primer/src/Primer/Eval/Case.hs

@@ -9,7 +9,7 @@ import Primer.Core (
   ID,
   ValConName,
  )
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 
 data CaseReductionDetail = CaseReductionDetail
   { before :: Expr
@@ -32,4 +32,4 @@ data CaseReductionDetail = CaseReductionDetail
   -- ^ the let expressions binding each argument in the result
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON CaseReductionDetail
+  deriving (ToJSON) via PrimerJSON CaseReductionDetail

primer/src/Primer/Eval/Detail.hs

@@ -23,7 +23,7 @@ import Primer.Eval.Case as Case
 import Primer.Eval.Inline as Inline
 import Primer.Eval.Let as Let
 import Primer.Eval.Prim as Prim
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 
 -- | Detailed information about a reduction step
 data EvalDetail
@@ -52,4 +52,4 @@ data EvalDetail
   | -- | Apply a primitive function
     ApplyPrimFun ApplyPrimFunDetail
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON EvalDetail
+  deriving (ToJSON) via PrimerJSON EvalDetail

primer/src/Primer/Eval/Let.hs

@@ -19,7 +19,7 @@ import Primer.Core (
   getID,
  )
 import Primer.Core.Utils (_freeVars, _freeVarsTy)
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 import Primer.Name (Name)
 
 -- | Detailed information about a removal of a let binding.
@@ -40,7 +40,7 @@ data LetRemovalDetail t = LetRemovalDetail
   -- ^ the right hand side of the let
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON (LetRemovalDetail t)
+  deriving (ToJSON) via PrimerJSON (LetRemovalDetail t)
 
 findFreeOccurrencesExpr :: LocalName k -> Expr -> [ID]
 findFreeOccurrencesExpr x e = e ^.. _freeVars % to idName % filtered ((== unLocalName x) . snd) % _1

primer/src/Primer/Eval/Prim.hs

@@ -16,7 +16,7 @@ import Primer.Core (
  )
 import Primer.Core.Transform (unfoldApp)
 import Primer.Core.Utils (concreteTy, forgetMetadata)
-import Primer.JSON (CustomJSON (CustomJSON), FromJSON, PrimerJSON, ToJSON)
+import Primer.JSON (CustomJSON (CustomJSON), PrimerJSON, ToJSON)
 import Primer.Primitives (PrimDef, primFunDef)
 
 data ApplyPrimFunDetail = ApplyPrimFunDetail
@@ -30,7 +30,7 @@ data ApplyPrimFunDetail = ApplyPrimFunDetail
   -- ^ the IDs of the arguments to the application
   }
   deriving (Eq, Show, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON ApplyPrimFunDetail
+  deriving (ToJSON) via PrimerJSON ApplyPrimFunDetail
 
 -- | If this node is a reducible application of a primitive, return the name of the primitive, the arguments, and
 -- (a computation for building) the result.

primer/src/Primer/Name.hs

@@ -25,7 +25,7 @@ import Primer.JSON
 newtype Name = Name {unName :: Text}
   deriving (Eq, Ord, Generic, Data)
   deriving newtype (Show, IsString)
-  deriving newtype (FromJSON, ToJSON, FromJSONKey, ToJSONKey)
+  deriving newtype (ToJSON, ToJSONKey)
   deriving anyclass (NFData)
 
 -- | Construct a name from a Text. This is called unsafe because there are no

primer/src/Primer/Primitives.hs

@@ -19,7 +19,7 @@ module Primer.Primitives (
 import Foreword
 
 import Control.Monad.Fresh (MonadFresh)
-import Data.Aeson (FromJSON (..), ToJSON (..))
+import Data.Aeson (ToJSON (..))
 import Data.Data (Data)
 import Data.Map qualified as M
 import Numeric.Natural (Natural)
@@ -66,7 +66,7 @@ data PrimFunError
       [Expr' () ()]
       -- ^ Arguments
   deriving (Eq, Show, Data, Generic)
-  deriving (FromJSON, ToJSON) via PrimerJSON PrimFunError
+  deriving (ToJSON) via PrimerJSON PrimFunError
 
 primitiveModuleName :: ModuleName
 primitiveModuleName = mkSimpleModuleName "Primitives"