ddc-source-tetra-0.4.3.1: DDC/Source/Tetra/Prim/OpError.hs

{-# LANGUAGE TypeFamilies #-}
module DDC.Source.Tetra.Prim.OpError
        ( typeOpError)
where
import DDC.Source.Tetra.Prim.TyConPrim
import DDC.Source.Tetra.Prim.Base
import DDC.Source.Tetra.Prim.TyCon
import DDC.Source.Tetra.Exp.Compounds


-- | Take the type of a primitive error function.
typeOpError l err
 = case err of
        OpErrorDefault    
         -> makeTForall l KData $ \t -> TTextLit ~> TNat ~> t