Skip to content
GitLab
Explore
Sign in
Register
Draft: Complete missing parts of 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
Sep 29, 2021
Overview
0
Commits
4
Pipelines
6
Changes
1
Expand
Brand new example as well as test cases have been add for TcRnArityMismatch.
Edited
Sep 29, 2021
by
Sơn Phạm Thanh
Merge request reports