try

[hwlloc]

stu-code.pgp.txt

[github-actions]

This is the test report of your code

inference without let poly
┌────────────────────────┬──────────────────────┬──────────────────┐
│ name                   │ tests passed / total │ score get / full │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 1              │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 1              │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 1               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 2              │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) add 3              │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) mul 2              │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 2               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 3               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) lt 4               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) apply_diff_ty      │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) self_apply         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) y_comb_self_apply  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_add        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_mul        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) wrapped_lt         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) unapplicable       │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_br_ty           │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (-) if_cond_and_br_ty  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) add                │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) mul                │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) lt                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) inc1               │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) bool_id            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_add        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_mul        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) wrapped_lt         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_high_order      │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) if_cond_high_order │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) long_app           │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) id                 │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) k                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) s                  │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church3            │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_succ        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_add         │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ (+) church_pair        │ 1 / 1                │ 2 / 2            │
├────────────────────────┼──────────────────────┼──────────────────┤
│ total                  │ 37 / 37              │ 74 / 74          │
└────────────────────────┴──────────────────────┴──────────────────┘
inference
┌───────────────┬──────────────────────┬──────────────────┐
│ name          │ tests passed / total │ score get / full │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) lam_poly  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) if_poly   │ 1 / 1                │ 2 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) sii       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (-) cmp       │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) dup_let   │ 1 / 1                │ 2 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) let_poly  │ 1 / 1                │ 2 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) apply     │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) s(k(si))k │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) ski(kis)  │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) skik      │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) long_time │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ (+) nested    │ 0 / 1                │ 0 / 2            │
├───────────────┼──────────────────────┼──────────────────┤
│ total         │ 3 / 13               │ 6 / 26           │
└───────────────┴──────────────────────┴──────────────────┘
total score : 80 / 100

[hwlloc]

您好，您的邮件我已收到，谢谢