aboutsummaryrefslogtreecommitdiff
path: root/Sil/Check.dcl
AgeCommit message (Expand)AuthorFilesLines
2017-07-20Check the type of the main function (should be Void)Camil Staps1-2/+4
2017-07-20Add checks for locals with type VoidCamil Staps1-0/+1
2017-07-19Add checks: no main, duplicate function, duplicate localCamil Staps1-1/+4
2017-07-19Add AST checksCamil Staps1-0/+15