-
Notifications
You must be signed in to change notification settings - Fork 471
Closed
Description
let rec isfree id = function
Pident id' -> Ident.same id id'
| Pdot(p, s, pos) -> isfree id p
| Papply(p1, p2) -> isfree id p1 || isfree id p2
function isfree(id, _param) {
while(true) {
var param = _param;
switch (param.tag | 0) {
case 0 :
return Caml_obj.caml_equal(id, param[0]);
case 1 :
_param = param[0];
continue ;
case 2 :
if (isfree(id, param[0])) {
return /* true */1;
} else {
_param = param[1];
continue ;
}
}
};
Metadata
Metadata
Assignees
Labels
No labels