Tim Ryan

After assessing the code needed for Corrode, this actually would only benefit Lexer.hs and Parser.hs, which probably would be simple to whitelist. So I'm not going to work on this...

Only used once, but it basically means an empty int set. (const returns a function which only returns the bound argument, i.e. `()`).

`const True` and `const False` are used elsewhere also.

Fixed this, hackily.

Another example: ``` toRustType (IsPtr mut to) = let Rust.TypeName to' = toRustType to in Rust.TypeName (rustMut mut ++ to') where rustMut Rust.Mutable = "*mut " rustMut Rust.Immutable = "*const...

Haha, yeah. I think Spans should be refactored into type + arguments or expr + argument vectors, and operator parsing and precedence should be imposed by LALRPOP (see its tutorials...

Also true for `when`

I didn't fix this fully in my last commit—where clauses are still not generated yet.

Sorry for not responding to this earlier, but now I think is the right time since we have most of the Haskell AST represented and the start of most Rust...

Pattern guards are a good choice here, I think the pattern is just `[]` and `non_empty_vec` throughout the code! Slice patterns would work, though only at the top-level. Pattern matching...