All issues

Search results

GHC 9.14: Test failures due to changed output

Status: Open.

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

· Vekhir opened on Jun 30, 2026

GHC panic on ill-kinded expressions

Status: Open.

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

· martijnbastiaan opened on Apr 23, 2026

Static build

Status: Open.

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

· yaitskov opened on Mar 11, 2026

Plugin can turn a tractable proof into an unsatisfiable wanted

Status: Open.

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

· pieter-bos opened on Oct 22, 2025

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

Nat (in)equality transitivity or congruence regression in GHC 9.8.1-alpha1: Cannot satisfy: OS.Rank sh2 <= 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 <= 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 <= 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