Search results

Feature request: product inequality

Status: Open.

#84 In clash-lang/ghc-typelits-natnormalise;

· gergoerdi opened on Oct 12, 2024

Soundness violation around subtraction

bug

Status: Open.

#76 In clash-lang/ghc-typelits-natnormalise;

· mniip opened on Sep 25, 2023

<code>Nat</code> (in)equality transitivity or congruence regression in GHC 9.8.1-alpha1: Cannot satisfy: OS.Rank sh2 &lt;= 1 + OS.Rank sh1

Status: Open.

#75 In clash-lang/ghc-typelits-natnormalise;

· Mikolaj opened on Aug 1, 2023

The plugin seem not able to use associativity of addition

Status: Open.

#73 In clash-lang/ghc-typelits-natnormalise;

· Mikolaj opened on Feb 20, 2023

Regression when solving inequalities

Status: Open.

#68 In clash-lang/ghc-typelits-natnormalise;

· rowanG077 opened on Aug 22, 2022

Using intermediate type variables prevents deducing (1 &lt;= 2^n)

Status: Open.

#65 In clash-lang/ghc-typelits-natnormalise;

· lmbollen opened on Aug 18, 2022

Could not deduce: (n0 + 1) ~ m from the context: 1 &lt;= m

Status: Open.

#59 In clash-lang/ghc-typelits-natnormalise;

· adamwalker opened on Oct 1, 2021

Soundness issue with inequalities and subtraction.

Status: Open.

#58 In clash-lang/ghc-typelits-natnormalise;

· soundlogic2236 opened on Aug 20, 2021

Could not deduce n~0 from the context n&lt;=0

Status: Open.

#33 In clash-lang/ghc-typelits-natnormalise;

· int-index opened on Jan 29, 2020