On Thu, Sep 4, 2014 at 4:10 PM, Jonathan S. Shapiro <[email protected]> wrote: > I'm not sure, because I can't work out where BoolTest is coming from. Also, > I don't see anything here that conveys the idea that I do NOT need to check > for BoolLit or other expression forms when examining the if-true or if-false > legs. > > Not knowing Racket, I can't say if these mean that we need to clean up the > example or if Racket doesn't say what we're after. > > Is the (? BoolLit?) construct a dynamic type test or a static type test? >
Dynamic. By definition, an Expr is either a Block or a BoolLit, so the former can't be ruled out statically. But since you asked that question at all, you must have something in mind that I haven't grasped. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
