Skip to content

Activity

Showing most recent first

Various fixes for coercions

Pull request merge
mikesperberpushed 1 commit to master • 9c50e59…7aa7d5e • 
on Feb 28, 2024

Various fixes for coercions

Force push
mikesperberforce pushed to coercion-fixes • 6589c21…7d1b52c • 
on Feb 28, 2024

Fix unconditional logging of simplifier statistics

Pull request merge
mikesperberpushed 1 commit to master • 4bc7058…9c50e59 • 
on Feb 27, 2024

Various fixes for coercions

mikesperbercreated coercion-fixes • 6589c21 • 
on Feb 22, 2024

Revert "Various fixes for coercions"

mikesperberpushed 1 commit to master • 8276dea…4bc7058 • 
on Feb 22, 2024

Various fixes for coercions

mikesperberpushed 1 commit to master • 15b2a55…8276dea • 
on Feb 22, 2024

Merge pull request #117 from con-kitty/fix-haddock-deploy

Pull request merge
selloutpushed 2 commits to master • 248db06…15b2a55 • 
on Jan 29, 2024

Merge pull request #116 from con-kitty/add-haddock

Pull request merge
selloutpushed 3 commits to master • 474d300…248db06 • 
on Jan 28, 2024

Propagate normalised types to error messages.

mikesperberpushed 1 commit to master • 69d9c01…474d300 • 
on Jan 12, 2024

Add missing gold-test output files.

mikesperberpushed 1 commit to master • 26c02d7…69d9c01 • 
on Jan 12, 2024

Include full GHC version also in runDer gold tests.

mikesperberpushed 1 commit to master • 3379bc9…26c02d7 • 
on Jan 12, 2024

Include full GHC version in gold-test path.

Pull request merge
mikesperberpushed 1 commit to master • d95c79d…3379bc9 • 
on Dec 21, 2023

Merge pull request #114 from con-kitty/fixing-9.2.1

Pull request merge
selloutpushed 5 commits to master • 83f06ae…d95c79d • 
on Dec 14, 2023

When linting, use an equality check that normalises first.

mikesperberpushed 3 commits to master • 5d670b9…83f06ae • 
on Dec 1, 2023

Fix Haddock indentation error

Pull request merge
mikesperberpushed 11 commits to master • 4fc2b2f…5d670b9 • 
on Sep 20, 2023

Merge pull request #112 from active-group/zap-obsolete-nix-stuff

Pull request merge
selloutpushed 2 commits to master • 128f9af…4fc2b2f • 
on Jul 6, 2023

Recognize alternative representation of (->) in ghc 9.

mikesperberpushed 1 commit to master • 451b112…128f9af • 
on Jun 28, 2023

Merge pull request #111 from con-kitty/updated-flake

Pull request merge
mikesperberpushed 5 commits to master • a0f2aff…451b112 • 
on Mar 21, 2023