Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use c2rust for the rest of the C code. #1544

Open
XVilka opened this issue Oct 2, 2019 · 3 comments
Open

Use c2rust for the rest of the C code. #1544

XVilka opened this issue Oct 2, 2019 · 3 comments

Comments

@XVilka
Copy link

XVilka commented Oct 2, 2019

C2Rust developed quite a lot since the last mention of it in this repository (Oct 2018), so you might want to recheck it again. Moreover, there is an example of the enormous progress that Tectonic (fork of XeTeX) has made towards "oxidation": tectonic-typesetting/tectonic#459 (comment)

They managed to convert and make it work, even pass some of the test cases: tectonic-typesetting/tectonic#397 (comment)

They also provide a rich set of the tools along with Lua scripting facilities to make the refactoring resulting Rust code easier. There is a section about various small examples were converted from C to Rust. See their manual for more information.

image

@shaleh
Copy link
Collaborator

shaleh commented Oct 2, 2019

Thanks for this.

@Wilfred
Copy link
Collaborator

Wilfred commented Jan 7, 2020

Previous discussion: #863. I believe there are uses of longjmp in C Emacs.

@shaleh
Copy link
Collaborator

shaleh commented Jan 7, 2020

Besides, I would rather work on porting the internals to proper Rust datastructures and style. Mechanical C transforms are not what we really want. It isn't simply transforming C loops to Rust loops to then use Rust iterators.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants