diff options
| author | aarne <aarne@chalmers.se> | 2012-12-02 19:40:45 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-12-02 19:40:45 +0000 |
| commit | 03c3c57290b5f4ba6c3b0b876ce6a2ad13d47793 (patch) | |
| tree | aabbfe8bccb74ed5ca368d7723b6f78aadb41b59 /src/runtime | |
| parent | 0ac61fefba22208608073b6409d6ec92086847f4 (diff) | |
produce error message instead of failure of irrefutable pattern Ok ty_C in GrammarToPGF, to help find compilation errors; the ones I've found are because an inherited abstract excludes something that the inherited concrete does not exclude.
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions