-
Simon Peyton Jones authored
I'd forgotten that we can have runtime skolems (TcTyVarDetails = RuntimeUnk), and we definitely don't want to attempt to default them!
b493d397
I'd forgotten that we can have runtime skolems (TcTyVarDetails = RuntimeUnk), and we definitely don't want to attempt to default them!