Open jaccokrijnen opened 11 months ago
----------------------------
-- Show instances for debugging conversion glue
--
-- deriving stock instance Show E.Unit
-- deriving stock instance Show E.Bool
-- deriving stock instance Show E.Nat
-- deriving stock instance (Show a, Show b) => Show (E.Prod a b)
-- deriving stock instance Show a => Show (E.List a)
-- deriving stock instance Show E.Sumbool
-- deriving stock instance Show E.Positive
-- deriving stock instance Show E.Z
-- deriving stock instance Show E.Ascii0
-- deriving stock instance Show E.Recursivity
-- deriving stock instance Show E.Strictness
-- deriving stock instance Show E.DefaultUni
-- instance Show (E.Some0 a) where
-- show x = "Some _"
-- -- instance Show (E.Some0 a) where
-- -- show (E.Some ty x) = case ty of {
-- -- E.DefaultUniInteger -> show @E.Z (E.unsafeCoerce x);
-- -- E.DefaultUniChar -> show @E.Ascii0 (E.unsafeCoerce x);
-- -- E.DefaultUniUnit -> show @E.Unit (E.unsafeCoerce x);
-- -- E.DefaultUniBool -> show @E.Bool (E.unsafeCoerce x);
-- -- _ -> show @E.String(E.unsafeCoerce x)}
-- deriving stock instance Show (E.Some0 ())
-- deriving stock instance Show E.DefaultFun
-- deriving stock instance Show E.Kind
-- deriving stock instance Show E.Binder_info
-- deriving stock instance Show E.N
--
-- deriving stock instance Show EType
-- deriving stock instance Show EVarDecl
-- deriving stock instance Show ETyVarDecl
-- deriving stock instance Show EConstr
-- deriving stock instance Show EDatatype
-- deriving stock instance Show ETerm
-- deriving stock instance Show EBinding
-- deriving stock instance Show EString