12 |
"fixfix", "fcontract", |
"fixfix", "fcontract", |
13 |
"loopify", "fixfix", (* "split", *) "fcontract", |
"loopify", "fixfix", (* "split", *) "fcontract", |
14 |
"specialize", "fcontract", |
"specialize", "fcontract", |
15 |
"wrap", "fcontract", |
"wrap", "fcontract", (*"switchoff"*), "fcontract", |
16 |
(* "names2deb", "typelift", "deb2names", *) |
(* "names2deb", "typelift", "deb2names", *) |
17 |
"reify", "loopify", "fixfix", "fcontract", |
"reify", "loopify", "fixfix", "fcontract", |
18 |
"fixfix", "fcontract+eta"] |
"fixfix", "fcontract+eta"] |