TypeLevel.Number.Nat: fix bad instance for Add0Bit

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