Fix bugs in the Nockma prettyprinter and parser#2632

Merged

janmasrovira merged 9 commits intomainfrom fix-nockma-prettyprinter

Feb 9, 2024

+1,824-52

Commits on Feb 9, 2024

fix Term unfolding in Nockma pretty printer

janmasrovira
authored and
paulcadman
committed
Add the ghc flag -Wno-missed-specialisations to package.yaml

janmasrovira
authored and
paulcadman
committed
use NockmaEq instead of Eq

janmasrovira
authored and
paulcadman
committed
ormolu

janmasrovira
authored and
paulcadman
committed
remove Irrelevant

janmasrovira
authored and
paulcadman
committed
use nockmaEq

janmasrovira
authored and
paulcadman
committed
add Eq instance

janmasrovira
authored and
paulcadman
committed
ignore location

janmasrovira
authored and
paulcadman
committed
properly annotate paths in the parser

janmasrovira
authored and
paulcadman
committed