shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Cleanup

--- a/src/MicroHs/TCMonad.hs

+++ b/src/MicroHs/TCMonad.hs

@@ -233,14 +233,7 @@

   | TCType          -- doing kind checking

   | TCKind          -- doing sort checking

   | TCSort          -- doing tier checking

-  --deriving (Show)

-  deriving (Eq, Ord)

-

-instance Show TCMode where

-  show TCExpr = "TCExpr"

-  show TCType = "TCType"

-  show TCKind = "TCKind"

-  show TCSort = "TCSort"

+  deriving (Show, Eq, Ord)

 instance Enum TCMode where

   succ TCExpr = TCType

-- 

⑨