Skip to content

Release 1.1.10

Compare
Choose a tag to compare
@florianschanda florianschanda released this 12 Sep 06:02
· 124 commits to main since this release

1.1.10

  • [TRLC] Fix missing typechecks for numeric subtypes on value
    assignments. It was possible to assign an integer to a decimal
    component, or the other way around. This now correctly generates an
    error.

  • [TRLC, LRM] You can now also write """foo""" string literals. Just
    like the ''' strings, these can contain newlines.

  • [TRLC, LRM] User defined checks are now not allowed to contain a
    newline. However you can now provide additional information that
    can contain a newline. For example:

    checks Requirement {
      top_level == true or derived_from != null,
        error "linkage incorrect",
        """You must either link this requirement to other requirements
           using the derived_from attribute, or you need to set
           top_level to true."""
    }
    

    Would now produce something like this:

    Requirement Potato {
                ^^^^^^ checks-5/foo.trlc:3: check error: linkage incorrect
                     | You must either link this requirement to other requirements
                     | using the derived_from attribute, or you need to set
                     | top_level to true.
    

    For more details please
    refer to the LRM.