water111

### Current issues that need solving: - the dependencies for GOAL files in `game.gp` are "correct" in that they result in correct builds, but they add a lot of false...

For better error messages on inconsistent/multiple definitions. It would also be good if `deftype` errors could point to the exact line with the error instead of the line with the...

OpenGOAL Debugger - Local Variables

1

At each instruction, the OpenGOAL debugger should know which variable is in each register and stack slot, its name, and its type.

Something like `(the-as uint ((-> arg func) foo bar))` is allowed if `func` returns `none`. It will be a garbage value, even if `func` is really a pointer to a...

[decompiler] Do more checks on stack structures

1

should check that we have enough space, no overlapping, etc.

There are some cases where a `goto` looks like it could be a `return`. It's not clear what these were in the original code, but there is some really weird...

[decompiler] Failed to recognize case, possibly because of `zero?`

3

In (method 10 external-art-control)

It seems like there are two cases that fail to detect `case`: First is when the move is eliminated so there is no `let`: ``` (defun psm-page-height ((arg0 gs-psm)) (cond...

[decompiler] Better Type Analysis

2

This issue is to collect ideas for improving the type analysis pass. IMO it's the worst part of the decompiler and errors here cause the decompilation to completely fail rather...

It would also be a good opportunity to clean up some code involving the expression stack stuff.