shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Simplify.

--- a/lib/Data/TypeLits.hs

+++ b/lib/Data/TypeLits.hs

@@ -4,8 +4,10 @@

   KnownNat(..),

   KnownSymbol(..),

   ) where

+import Prelude()

 import Primitives

-import Prelude

+import Data.Char_Type

+import Data.Integer

 class KnownNat (n :: Nat) where

   natVal :: forall (proxy :: Nat -> Type) . proxy n -> Integer