Skip to content

WIP: Remove invalid state from Haskell 98 data structures

You can have a forall with no (existential) variables, but not variables without a forall!

Relates to #16762 (closed)

CC @RyanGlScott

Edited by John Ericson

Merge request reports