nitnelave / hopper Goto Github PK

Note: if/else is an expression.

Needs:

• Parser
• Pretty-printer
• Type checker (boolean condition)
• Code generation (see IR phi nodes)

The rules should be relatively similar to the C++ ones (ideally, simpler), with no implicit construction.

The allowed implicit conversions are:

• pointer to child -> pointer to base
• small int -> bit int
• small float -> big float
• int -> float

And that's it for now.

Add a visitor to make sure that "val" variables are not mutated in the context of the function/program.

Already registered, need a .travis.yml

This includes lexing them, making an AST node, pretty-printing them, making a builtin type, and (possibly) generating IR.

Needs:

• Parser
• Pretty printing
• Type checking (return type, arguments)
• code generation

Right now we can't decide which function is going to be the main entry point, we should:

• decide a name of the entry point (main is the most common one I think),
• assign in the IRBuilder the right entry point,
• raise an alert if the entry point is not present ?

This will allow printing, among other things.

Needs:

• Parsing (extern "C"?)
• Type checker (only primitives or pointer to, for now)
• Code generation (should be simple)

We would like to add support for expressions of the like:

val a = if (cond) value else other_value;

This is a major enhancement, and will come later in the development process.

Needs:

• Lexing
• Parsing
• Name resolution
• Macro expansion (recursive)

https://codecov.io/gh/nitnelave/hopper

Needs:

• Lexing
• Parsing (AST node)
• Builtin type
• Pretty printer
• Code generation

Pointers are non-null, and can only (for now) be obtain by taking a reference.

Needs:

• Parser (referencing, dereferencing)
• Type checker
• Code generation

Needs:

• parsing
• type checker
• code generation (see IR Static Single Assignment)

Needs:

• Parser
• Pretty-printer
• Type checker (boolean condition)
• Code generation (see IR phi nodes)