Simon Fraser

Inconsistency with 'meta' annotations

1

I was hoping I would be able to use this library to work with 'meta' (aggregated) annotations in a similar to Spring (https://docs.spring.io/spring/docs/4.0.0.RELEASE/spring-framework-reference/htmlsingle/#beans-meta-annotations). At first I was hopeful as getTypesAnnotatedWith()...

Define statements are parsed as let statements

5

### Description In the StatementReader define statements are parsed as let statements (see https://github.com/overturetool/overture/blob/development/core/parser/src/main/java/org/overture/parser/syntax/StatementReader.java#L946). This means that after parsing it is impossible to disambiguate a let statement from a define...