aboutsummaryrefslogtreecommitdiff
path: root/Sil/Check.icl
AgeCommit message (Expand)AuthorFilesLines
2021-01-04Make up to dateCamil Staps1-18/+18
2017-08-15Made some more errors positional (#5)Camil Staps1-1/+1
2017-07-30Add positions to StatementsCamil Staps1-16/+14
2017-07-30Reorganise: make Position a field in Syntax typesCamil Staps1-20/+20
2017-07-30Start with positional errors (see #5)Camil Staps1-53/+38
2017-07-28Add globals on A-stackCamil Staps1-0/+9
2017-07-27Resolve #4: mandatory initial values for basic localsCamil Staps1-1/+2
2017-07-21A codeblock ending with a machine statement can be considered sure to returnCamil Staps1-0/+1
2017-07-20Fix: main can have any result, but no argumentsCamil Staps1-2/+2
2017-07-20Check the type of the main function (should be Void)Camil Staps1-6/+21
2017-07-20Type checkingCamil Staps1-0/+1
2017-07-20Add checks for locals with type VoidCamil Staps1-4/+12
2017-07-19Add checks: no main, duplicate function, duplicate localCamil Staps1-19/+60
2017-07-19Fix testing codeCamil Staps1-1/+1
2017-07-19Add NoReturnFromNonVoidErrorCamil Staps1-5/+16
2017-07-19Add AST checksCamil Staps1-0/+49