reese / rox Goto Github PK

dirs is unmaintained, use dirs-next instead

The dirs crate is not maintained any more;
use dirs-next instead.

See advisory page for additional details.

term is looking for a new maintainer

The author of the term crate does not have time to maintain it and is looking
for a new maintainer.

Some maintained alternatives you can potentially switch to instead, depending
on your needs:

• crossterm
• termcolor
• yansi

See advisory page for additional details.

Describe the feature
Currently, we incorrectly branch in LLVM IR when returning early (e.g. in an if/else statement).

Example case

fn main() -> Int do
  let a = true;
  if a do
    return 0;
  end
  return 1;
end

Describe the feature
If a function returns Void, the compiler should insert a return; statement if there isn't already one.

Example case
🤷

fn foo() do
end

fn main() do
  foo();
end

Additional context

Right now, reporting errors inside the compiler is really difficult, since I haven't taken the time to properly add spans inside of the parser and the file name isn't tracked inside of the type-checking stage.

There are a few things that would help here:

• Investigate thiserror as a more ergonomic way of reporting Error enums.
• Track error spans for parser errors and handle error cases inside of the LALRPop file. Alternatively, consider a hand-rolled lexer/parser for more effective error messages if that becomes a huge hassle.
• Maintain file name state during the whole compilation pipeline to pass to the codespan reporter.