Specify and check that the @main
function can't have a return type
#785
Annotations
2 errors
check:
benchmarks/mem/csrmv.bril#L239
@main must have no return type; found int
|
check
Process completed with exit code 2.
|