parser-c

parser-c copied to clipboard

First step: trav_monad and dependencies In contrast to the parser monad, I decided to de-monadize the TravMonad and instead make it a traditional mutable struct with Result "throwing" methods. A...

birkenfeld

Remove "Generated output with Corollary" from each file

2

Files are now modified by hand, so this is no longer true!

tcr

Get parser-c working on stable Rust

3

Some examples of why this is not yet the case are use of the `box` syntax and procedural macros (see #6).

tcr

EDIT: It actually calls out to gcc -E in preprocess.hs

tcr

Clean up String handling

2

Since Haskell doesn't use string slices, there's a lot of places with unnecessary `.to_string()` use, and functions with `String` instead of `&str` in the signature.

birkenfeld

rustfmt?

1

Corollary fails in formatting its output properly, but I didn't want to do any reformatting too early (in case I'd just need to regenerate it again). Since no files are...

tcr

src/analysis isn't actually imported

1

`src/analysis` has a trivial Haskell to Rust conversion but isn't actually included yet, because Corrode doesn't need it to work. There's some questions to figure out about monads (we can...

tcr

Looking for help maintaining parser-c!

3

See the blog post on the [Rust User's forum](https://users.rust-lang.org/t/help-wanted-parser-c-and-parser-haskell-corollary-and-rust-corrode/11729) for more information.

tcr