Skip to content
GitLab
Explore
Sign in
Register
TcRnMessage: Complete TcRnArityMismatch
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sơn Phạm Thanh
requested to merge
complete-TcRnArityMismatch
into
convert-tc-validity-diagnostics
Oct 03, 2021
Overview
17
Commits
4
Pipelines
8
Changes
4
Expand
New data type
TyConLike
acts as a better constructor for
TcRnArityMismatch
.
Example and test cases have been added.
Edited
Oct 08, 2021
by
Sơn Phạm Thanh
Merge request reports