Pull requests

#1 Merged
Repository
larskuhtz larskuhtz
Branch
default
Repository
Shimuuar 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.

Comments (3)