facebookarchive/prepack
Vedi su GitHubImplement switch statement for abstract values
Open
#1378 aperta il 30 gen 2018
abstractbootcampedenhancementhelp wantedlevel 4 (hard)priority: lowtest needed
Metriche repository
- Star
- (14.268 star)
- Metriche merge PR
- (Nessuna PR mergiata in 30 g)
Descrizione
Let v be an abstract value, then
switch(expr) { case 'a': {...; break;} case 'b': {...; break;} default: {...; break;} }
should not give an error but should have the same outcome as let v = expr; if (v === 'a') {...} else if (v === 'b') {...} else {...};
To tackle this task, first look at how the if statement is implemented for abstract conditions, then implement the switch case accordingly. Start with the simplest scenario, such as the one in the example above, then look at the complications that arise when a case falls through to the next case because there is no break in its code block.
Remember to update the path conditions and bear in mind that fall throughs complicate this.