We need a better format for representing test suites. Currently, we have both valid and invalid tests which are handled separately. The latter includes expected output (i.e. error messages). As we move towards an incremental compiler, we will need something more than this. Furthermore, there is no reason why we cannot have a single integrated format which:
Supports multiple edit/compile steps
Supports arbitrary namespaces (e.g. for import statements)
Supports markers for which phases currently work (e.g. verification, checking, etc)
DavePearce
commented
3 years ago
We need a better format for representing test suites. Currently, we have both valid and invalid tests which are handled separately. The latter includes expected output (i.e. error messages). As we move towards an incremental compiler, we will need something more than this. Furthermore, there is no reason why we cannot have a single integrated format which:
importstatements)