Skip to content
  • Daniel Rogozin's avatar
    The Char kind (#11342) · 7f3524ef
    Daniel Rogozin authored and Marge Bot's avatar Marge Bot committed
    
    
    Co-authored-by: default avatarRinat Stryungis <rinat.stryungis@serokell.io>
    
    Implement GHC Proposal #387
    
    * Parse char literals 'x' at the type level
    * New built-in type families CmpChar, ConsSymbol, UnconsSymbol
    * New KnownChar class (cf. KnownSymbol and KnownNat)
    * New SomeChar type (cf. SomeSymbol and SomeNat)
    * CharTyLit support in template-haskell
    
    Updated submodules: binary, haddock.
    
    Metric Decrease:
        T5205
        haddock.base
    
    Metric Increase:
        Naperian
        T13035
    7f3524ef