/** * Language extension for dynamic type security * * @author Jacob Andersen */ { Exp.null : "#null" ; Exp.isnull : "null?" "(" Exp ")" ; Exp.isint : "integer?" "(" Exp ")" ; Exp.isbool : "boolean?" "(" Exp ")" ; Exp.ispair : "pair?" "(" Exp ")" ; Exp.isproc : "procedure?" "(" Exp ")" ; }