Skip to content

Draft: Complete TcRnArityMismatch

Sơn Phạm Thanh requested to merge Complete-TcRnArityMismatch into convert-tc-validity-diagnostics
  • We add a new data type TyConLike to provide better constructor for TcRnArityMismatch
  • Example and test cases have also been added

Merge request reports