diff options
| author | Alasdair Armstrong | 2017-07-10 14:19:06 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-10 14:19:06 +0100 |
| commit | cd1299ccfa1145aea772bc43a3914ab1a8f349e7 (patch) | |
| tree | 13130a7bcff23bd847b32366b448278dd6a89817 /src/pprint | |
| parent | 205e09e36baaf8cf2aa794e84d8e13daf8c4c4b7 (diff) | |
Performance improvements to type checker
Filter the possible casts by only attempting those which reasonably
match the surrounding type environment. This results in about a 5x
performance improvement.
Diffstat (limited to 'src/pprint')
0 files changed, 0 insertions, 0 deletions