Home
last modified time | relevance | path

Searched refs:expect_pred (Results 1 – 2 of 2) sorted by relevance

/dports/lang/racket/racket-8.3/src/bc/src/
H A Doptimize.c3953 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 Doptimize.c3953 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 …]