Rename class 'TypeNat' to 'NatI'.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Thu, 27 Jan 2011 06:16:54 +0000 (22:16 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Thu, 27 Jan 2011 06:16:54 +0000 (22:16 -0800)
NatI is meant to suggest "implicit" natural number parameter,
or "introduction" for Nat.

I am not sure if this is a good idea, but the 'Type' part of the TypeNat
did not seem to convey any useful information.

compiler/prelude/PrelNames.lhs

index 58a785f..b9c595c 100644 (file)
@@ -838,7 +838,7 @@ isStringClassName   = clsQual dATA_STRING (fsLit "IsString") isStringClassKey
 -- Type-level naturals
 typeNatClassName, lessThanEqualClassName,
   addTyFamName, mulTyFamName, expTyFamName :: Name
-typeNatClassName    = clsQual gHC_TYPENATS (fsLit "TypeNat") typeNatClassKey
+typeNatClassName    = clsQual gHC_TYPENATS (fsLit "NatI") typeNatClassKey
 lessThanEqualClassName = clsQual gHC_TYPENATS (fsLit "<=") lessThanEqualClassKey
 addTyFamName        = tcQual gHC_TYPENATS (fsLit "+")   addTyFamNameKey
 mulTyFamName        = tcQual gHC_TYPENATS (fsLit "*")   mulTyFamNameKey