Searched refs:expect_pred (Results 1 – 2 of 2) sorted by relevance
/dports/lang/racket/racket-8.3/src/bc/src/ |
H A D | optimize.c | 3953 const char *who, Scheme_Object *expect_pred, in check_known_variant() argument 3986 pred = expect_pred; in check_known_variant() 3991 if (predicate_implies(pred, expect_pred)) { in check_known_variant() 4013 const char *who, Scheme_Object *expect_pred, in check_known() argument 4017 …void)check_known_variant(info, app, rator, rand, who, expect_pred, unsafe, unsafe_mode, expect_pre… in check_known() 4050 if (pred1 && predicate_implies(pred1, expect_pred)) { in check_known_both_try() 4052 if (pred2 && predicate_implies(pred2, expect_pred)) { in check_known_both_try() 4076 const char *who, Scheme_Object *expect_pred, in check_known_both() argument 4079 …own_both_variant(info, app, rator, rand1, rand2, who, expect_pred, unsafe, unsafe_mode, expect_pre… in check_known_both() 4084 const char *who, Scheme_Object *expect_pred, in check_known_all() argument [all …]
|
/dports/lang/racket-minimal/racket-8.3/src/bc/src/ |
H A D | optimize.c | 3953 const char *who, Scheme_Object *expect_pred, in check_known_variant() argument 3986 pred = expect_pred; in check_known_variant() 3991 if (predicate_implies(pred, expect_pred)) { in check_known_variant() 4013 const char *who, Scheme_Object *expect_pred, in check_known() argument 4017 …void)check_known_variant(info, app, rator, rand, who, expect_pred, unsafe, unsafe_mode, expect_pre… in check_known() 4050 if (pred1 && predicate_implies(pred1, expect_pred)) { in check_known_both_try() 4052 if (pred2 && predicate_implies(pred2, expect_pred)) { in check_known_both_try() 4076 const char *who, Scheme_Object *expect_pred, in check_known_both() argument 4079 …own_both_variant(info, app, rator, rand1, rand2, who, expect_pred, unsafe, unsafe_mode, expect_pre… in check_known_both() 4084 const char *who, Scheme_Object *expect_pred, in check_known_all() argument [all …]
|