testsuite/tests/th/T11342b.hs · bbfb051c6e52f08cbdcd6e8a37245b714c385fa3 · Reinier Maas / GHC

Blame

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

4 years ago

7f3524ef

The Char kind (#11342 ) · 7f3524ef

Daniel Rogozin authored 4 years ago and

Marge Bot committed 4 years ago


Co-authored-by: Rinat 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

History

The Char kind (#11342 )

Daniel Rogozin authored 4 years ago and

Marge Bot committed 4 years ago


Co-authored-by: Rinat 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

Code owners

Assign users and groups as approvers for specific file changes. Learn more.