Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Functions and actions as interfaces #228

Closed
wants to merge 41 commits into from
Closed

Functions and actions as interfaces #228

wants to merge 41 commits into from

Commits on Sep 22, 2023

  1. Functions and actions as interfaces

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    db7851b View commit details
    Browse the repository at this point in the history

  2. Added test case

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    20f34f7 View commit details
    Browse the repository at this point in the history

  3. ImplementsInterface contains a qualified name

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    35fc526 View commit details
    Browse the repository at this point in the history

  4. Core.QualifiedName does not exist

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    469945f View commit details
    Browse the repository at this point in the history

  5. rephrased

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    5ed5187 View commit details
    Browse the repository at this point in the history

  6. No trailing spaces

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0d42e84 View commit details
    Browse the repository at this point in the history

  7. Implements

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    70f1532 View commit details
    Browse the repository at this point in the history

  8. Allow annotation of implementation references

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    285d2a3 View commit details
    Browse the repository at this point in the history

  9. Same qualifier

    @HeikoTheissen
    HeikoTheissen committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    175e47f View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. name -> qualified name

    @HeikoTheissen
    HeikoTheissen committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    6ea912c View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Don't demand qualifiers

    @HeikoTheissen
    HeikoTheissen committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    5e8deb2 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Equivalent signature

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b920fb8 View commit details
    Browse the repository at this point in the history

  2. Added example

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    c892227 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/Core.IsInterface' into 

    Core.IsInterface-equivalence
    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    91267ff View commit details
    Browse the repository at this point in the history

  4. Definition of equivalence

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    6dafaeb View commit details
    Browse the repository at this point in the history

  5. Merge branch 'Core.IsInterface' into Core.IsInterface-equivalence

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    69096aa View commit details
    Browse the repository at this point in the history

  6. Markdown formatting of examples

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    6a1f9a0 View commit details
    Browse the repository at this point in the history

  7. typo

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    83c139f View commit details
    Browse the repository at this point in the history

  8. Consider overloads

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    34d2148 View commit details
    Browse the repository at this point in the history

  9. typo

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    f2f188a View commit details
    Browse the repository at this point in the history

  10. Pass tests

    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b08ecc3 View commit details
    Browse the repository at this point in the history

  11. Merge remote-tracking branch 'origin/Core.IsInterface' into 

    Core.IsInterface-equivalence
    @HeikoTheissen
    HeikoTheissen committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    f201ff2 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Interface -> Signature

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    a0a04ad View commit details
    Browse the repository at this point in the history

  2. -optional parameter

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    10f7e50 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'Core.IsInterface-equivalence' into Core.IsInterface

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    bcfac70 View commit details
    Browse the repository at this point in the history

  4. No parameter renaming in example

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    1aa7131 View commit details
    Browse the repository at this point in the history

  5. Additional return type property

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    0d7020b View commit details
    Browse the repository at this point in the history

  6. Derived types with undescribed properties

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e2e2dab View commit details
    Browse the repository at this point in the history

  7. Merge branch 'fix/derived-type-w-o-description' into Core.IsInterface

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    8fc6c04 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/main' into Core.IsInterface

    @HeikoTheissen
    HeikoTheissen committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    3ae65c6 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Signatures italicized

    @HeikoTheissen
    HeikoTheissen committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    1c4f4a1 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. updated example

    @HeikoTheissen
    HeikoTheissen committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    fcd2425 View commit details
    Browse the repository at this point in the history

  2. non-nullable binding parameter

    @HeikoTheissen
    HeikoTheissen committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    c20ffee View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Changed example

    @HeikoTheissen
    HeikoTheissen committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    00203d7 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. Merge remote-tracking branch 'origin/main' into Core.IsInterface

    @HeikoTheissen
    HeikoTheissen committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    0af13e6 View commit details
    Browse the repository at this point in the history

  2. rephrased

    @HeikoTheissen
    HeikoTheissen committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    c20a875 View commit details
    Browse the repository at this point in the history

  3. @ralfhandl's suggestion

    @HeikoTheissen
    HeikoTheissen committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    914f640 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Implementations can consist of several overloads

    @HeikoTheissen
    HeikoTheissen committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    87bae7b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into Core.IsInterface

    @ralfhandl
    ralfhandl authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    87dd77d View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. Avoid leading <br>

    @HeikoTheissen
    HeikoTheissen committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    34b1eaf View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Feedback from TC 2024-01-10

    @HeikoTheissen
    HeikoTheissen committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    50a7a1c View commit details
    Browse the repository at this point in the history