Search results

Introduce <code>Mod a b &lt; b</code> constraint

Status: Open.

#56 In clash-lang/ghc-typelits-knownnat;

· sourabhxyz opened on May 22, 2025

Constraint gets lost by enabling the plugin

Status: Open.

#54 In clash-lang/ghc-typelits-knownnat;

· kleinreact opened on Nov 15, 2024

The plugin sometimes doesn't look through type aliases

Status: Open.

#53 In clash-lang/ghc-typelits-knownnat;

· leonschoorl opened on Jul 15, 2024

Intermediate type variable stops derivation of <code>KnownNat</code> constraint

Status: Open.

#42 In clash-lang/ghc-typelits-knownnat;

· rowanG077 opened on Aug 18, 2022

Could not deduce (Typeable (n + 1)) with GHC-8.4.3

Status: Open.

#21 In clash-lang/ghc-typelits-knownnat;

· chshersh opened on Jun 29, 2018

Type equality constraints aren't used by solver

Status: Open.

#13 In clash-lang/ghc-typelits-knownnat;

· gergoerdi opened on Mar 9, 2017

KnownNatN instances are unsafe (in some cases).

wontfix

Status: Open.

#12 In clash-lang/ghc-typelits-knownnat;

· nshepperd opened on Feb 5, 2017