Run both the checker and the inferencer
- Warn when either typer fails, or when the assigned types are not the same, and ask the user to report a bug
- the
--typer=checker
flag means only the current typer is used - the
--typer=inferencer
flag means only the prototype typer is used - the
--typer=both
flag means both typers are used and their results are compared (default)
Edited by Suzanne Soy