NF core

[Per Östlund]

This ticket is tracking the progress on the core of the new frontend. The current status is:

Instantiation

Instantiation of long and short class definitions are implemented. Still missing are class extends, enumerations, overloaded functions and partial derivative functions. The handling of equations, algorithms and expressions also needs to be expanded, so far it's mostly just a proof of concept.

Extends

Support for extends is implemented. More error checking is needed though, e.g. for duplicate elements and illegal class types.

Lookup

Basic lookup is implemented, both for class names and crefs. Very little error checking is done beyond "name could not be found" though. Some more lookup functions will likely be needed for e.g. inner/outer.

Modifiers

Only modifiers on components and extends clauses are handled so far, support for class modifiers still needs to be implemented.

Redeclare

Only very basic redeclare of components is implemented, more work is needed for redeclare of classes, merging of modifiers, constraining type, etc.

Inner/Outer

No support for Inner/Outer is implemented at all so far, but the new instance tree structure should make this fairly straightforward.

Functions

No support for functions so far. Instantiation and typing of functions needs to be implemented, and we need some way of storing them during the instantiation (reuse function table from "old new frontend"?).

Records

No support for records so far, except that the instantiation will instantiate the records as normal classes. Support for record constructors needs to be implemented, and other record things.

Builtin

So far only support for the basic types and time is implemented. Support for all the builtin functions and other builtin things (e.g. StateSelect, ExternalObject, etc.) needs to be implemented. As much as possible should be implemented via ModelicaBuiltin.

Typing

Quite a lot of typing is already implemented, but it needs to be expanded to handle all kinds of expressions and so on.

Type Checking

Some parts of the type checking module from the "old new frontend" is being used to type check binary expressions at the moment. Everything in NFTypeCheck that's not used is commented out since some of it doesn't compile any more. We need to investigate if more of the old code can be reused, and implement missing/nonreusable parts.

Flattening

Expansion of array bindings is currently broken and need to be fixed. Subscripting needs to be improved, and the module in general needs to be expanded to keep up with the phases before it.