diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-17 18:32:14 +0100 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-17 18:32:14 +0100 |
| commit | 26d2236c89017d5f9f31b90ec02600744aa5ad0f (patch) | |
| tree | 8757276c902f35e0dc58e23ffaec2c7e782614a1 /test/core/frontend | |
| parent | 2da3efbf053e12861c9184c3f8bd014fae245773 (diff) | |
Do not bother with to many type checks if we indicate that "all types are allowed". Fixes part of the issues with bug #77
Diffstat (limited to 'test/core/frontend')
0 files changed, 0 insertions, 0 deletions