... | ... | @@ -2,7 +2,7 @@ |
|
|
|
|
|
`SpecConstr` is a GHC optimisation that specialises functions for particular values of their arguments.
|
|
|
|
|
|
- [ Here is the paper about \`SpecConstr\`](https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions-2/)
|
|
|
- [ Here is the paper about SpecConstr](https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions-2/)
|
|
|
|
|
|
## Tickets
|
|
|
|
... | ... | |