thesis icon indicating copy to clipboard operation
thesis copied to clipboard
verified publisher icon goldfirere

The freshness premise of Ty_LamIrrel is missing from CoreLint

Open goldfirere opened this issue 9 years ago • 0 comments

In doing the type safety proof, I discovered an extra condition which needs to be added to GHC's CoreLint to make sure that there is no skolem escape in foralls. Behold the power of math!

goldfirere avatar May 22 '16 03:05 goldfirere