Improvements to SpecConstr
|Reported by:||simonpj||Owned by:|
|Type of failure:||Runtime performance bug||Test Case:||N/A|
|Related Tickets:||Differential Rev(s):|
There are a series of possible improvemnts to SpecConstr, described in
the source code.
- Specialising for constant parameters
- Specialising for lambda parameters
- Two ideas to do with strictness that look more tricky
Some of them look quite straightforward.