Joomy Korkut comments

Repositories
Issues
Comments

Results 13 comments of


                                            Joomy Korkut

Induction principles extract to ill-typed C++ code

It works without the `static_assert`, so yes, that's the easiest fix. `auto` doesn't work, however: `error: 'auto' not allowed in function prototype` But yes, the higher-order function issue goes further...

Induction principles extract to ill-typed C++ code

> For example I don't see a way to make let-polymorphism work in C++. This may require casting to `void *`, similar to how [extraction to OCaml has to use...

Induction principles extract to ill-typed C++ code

Yeah no worries! About the fork: We are planning to do a lot of other changes like custom mappings (like `Extract Constant`) instead of hard-coded ones, as well as concurrency...