Skip to content
GitLab

Fix nondecreasing indentation in `Prelude.kics2`

Merged Fredrik Wieczerkowski requested to merge fwcd/curry-libs:fix-nondecreasing-indentation into master

GHC 9.2.1 has removed implicit support for NondecreasingIndentation, thus breaking some external function implementations of KiCS2's Prelude. This patch fixes it and unblocks kics2!18 (merged).