PoC: poisoning

[danieldaeschle]

https://www.youtube.com/watch?v=bNJhtKPugSQ&feature=youtu.be&t=2912

parser should return error ast nodes instead of exit or stop parsing. checker should collect errors then.

it works with ast.Stmt and ast.Expr but not with other non sum type ast nodes. We need to think about how to design it to make every case work. Also some functions like import_syms or check generates errors, but doesn't return anything.

Problem Example:
making ast.Module to ast.Stmt would result in many if is checks which doesn't garantuee that the checker will run without problems.

We should also take care of scanner errors.

[joe-conigliaro]

I will have a good look over this and a think.

In any case, we should collect parser errors and checker errors, they are both different stages and we should be able to differentiate between them.

[danieldaeschle]

Since parser errors in the ast, we can set them in checker with a flag that's from the parser. shouldn't be a problem.

[danieldaeschle]

@joe-conigliaro did you have time to think?