Skip to content

Reject linearity in kinds in checkValidType (#18780)

Krzysztof Gogolewski requested to merge tweag/ghc:wip/T18780 into master

As suggested in #18780 (closed), I took Ryan's patch #18624 (comment 300673) and trimmed it to linear types only.

Merge request reports