diff options
| -rw-r--r-- | Sil/Check.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Sil/Check.icl b/Sil/Check.icl index 9b24f50..dc9f6a7 100644 --- a/Sil/Check.icl +++ b/Sil/Check.icl @@ -23,7 +23,7 @@ where toString NoMainFunction = "Error: no main function." toString (MainFunctionInvalidType t) - = "Error: function 'main' should have type Void but has type " <+ t <+ "." + = "Error: function 'main' should not have arguments has type " <+ t <+ "." toString (DuplicateFunctionName n) = "Error: multiply defined: '" <+ n <+ "'." toString (DuplicateLocalName f arg) @@ -81,7 +81,7 @@ where _ -> False checkMainFunctionType :: Function -> [CheckError] - checkMainFunctionType f=:{f_name="main",f_type=TVoid,f_args=[]} = [] + checkMainFunctionType f=:{f_name="main",f_args=[]} = [] checkMainFunctionType f=:{f_name="main"} = [MainFunctionInvalidType $ fromOk $ fromJust $ type zero f] checkMainFunctionType _ = [] |