Skip to content

Filter out impossible cases for standalone deriving GADTs #16341

Brandon Chinn requested to merge wip/T16341 into master

Fix #16341 (closed)

Passed through dc_rep_tc_args to gen_*_fn stock deriving functions. Then filter data constructors using dataConCannotMatch.

Edited by Ryan Scott

Merge request reports