Closed Bug 546452 Opened 16 years ago Closed 15 years ago

IL-checking pass

Categories

(Servo Graveyard :: Rust, defect)

Product:
Servo Graveyard
Platform:
x86
macOS
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED DUPLICATE of bug 545696

People

(Reporter: dherman, Assigned: dherman)

Details

A separate pass for type-checking the IL should help shake out more compiler bugs. I've got some crazy fun ideas about how to make it sound, based on TAL. But for now, an unsound type-bug-finder would probably be more useful than what we've currently got.
Status: NEW → RESOLVED
Closed: 15 years ago
Resolution: --- → DUPLICATE
Group: servo
You need to log in before you can comment on or make changes to this bug.