1. Aleksey Khudyakov
  2. type-level-numbers
  3. Pull requests

Pull requests

#1 Merged
Repository
larskuhtz
Branch
default
Repository
Shimuuar
Branch
default

TypeLevel.Number.Nat: fix bad instance for Add0Bit

Author
  1. larskuhtz
Reviewers
Description

Type-level addition results in a compiler error with GHC 7.6.2. This patch fixes the type family instance for Add0Bit such that GHC can resolve the addition constraint.

  • Learn about pull requests

Comments (3)