Permit type variables - #9

Merged

endgame merged 14 commits into

qfpl:masterfrom

bellroy:permit-type-variables

Mar 31, 2026

Commits on Mar 30, 2026

test: broken scenario
lrworth
committed
bc05530
fix: test
lrworth
committed
6868419
feat: permit nested toplevel foralls
lrworth
committed
4041a5f
Update changelog, bump version
lrworth
committed
8a9e9cf
remove redundant limitation
lrworth
committed
c353d8b
fix: require template-haskell providing all the constructors we match
lrworth
committed
ee0be6a

Commits on Mar 31, 2026

Revert "remove redundant limitation"
lrworth
committed
20958f9
fix: .md files incorrectly listed in extra-source-files
lrworth
committed
03ba1e5
fix: tested-with included incompatible GHC versions
lrworth
committed
ee37c03
doc: explain forall workaround
lrworth
committed
7f3de99
Address PR feedback
lrworth
committed
2e1ef9a
doc: use Maybe instead of V1
lrworth
committed
34fb484
doc: explain forall workaround in haddock
lrworth
committed
9b41553
Address PR feedback
lrworth
committed
90a118b