Skip to content

Fix nondecreasing indentation in `Prelude.kics2`

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).

Merge request reports