• Joachim Breitner's avatar
    New lint check: Check idArity invariants (#10181) · 567db32b
    Joachim Breitner authored
    The arity of an id should not be larger than what the type allows, and
    it should also not contradict the strictness signature. This adds a lint
    check for that.
    This broke test T8743, uncovering a bug in the SOURCE import machinery,
    which is now filed as #10182.
CoreLint.hs 70.5 KB