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

Add define-type-alias #1294

Open
wants to merge 21 commits into
base: main
Choose a base branch
from
Open

Add define-type-alias #1294

wants to merge 21 commits into from

Commits on Oct 7, 2024

  1. added basic define-alias toplevel form

    @YarinHeffes
    YarinHeffes committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    758cf3d View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. fixed alias substitution for constructors and struct-fields

    @YarinHeffes
    YarinHeffes committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    a125e4a View commit details
    Browse the repository at this point in the history

  2. added alias tests

    @YarinHeffes
    YarinHeffes committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    074488b View commit details
    Browse the repository at this point in the history

  3. improved alias error messages

    @YarinHeffes
    YarinHeffes committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    688322c View commit details
    Browse the repository at this point in the history

  4. removed with-aliases-from

    @YarinHeffes
    YarinHeffes committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    287f089 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'coalton-lang:main' into type-alias

    @YarinHeffes
    YarinHeffes authored Oct 8, 2024
    Configuration menu
    Copy the full SHA
    77a2443 View commit details
    Browse the repository at this point in the history

  6. alias coalton-release fix

    @YarinHeffes
    YarinHeffes committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    e05bd8a View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. added parametrized type aliases

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    db74f65 View commit details
    Browse the repository at this point in the history

  2. added tests for parametrized type aliases

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ffbef6e View commit details
    Browse the repository at this point in the history

  3. added describe-alias

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    f252499 View commit details
    Browse the repository at this point in the history

  4. added define-alias.txt tests

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    9dda5c2 View commit details
    Browse the repository at this point in the history

  5. add tutorial documentation for type aliases

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    314ff0b View commit details
    Browse the repository at this point in the history

  6. added type alias documentation guide

    @YarinHeffes
    YarinHeffes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    fde68b5 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into type-alias

    @YarinHeffes
    YarinHeffes authored Oct 16, 2024
    Configuration menu
    Copy the full SHA
    c9ba647 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. removed empty line

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    5851da6 View commit details
    Browse the repository at this point in the history

  2. changed :nil to nil

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    ff0e7f7 View commit details
    Browse the repository at this point in the history

  3. added documentation to *pprint-aliases*

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9b3beda View commit details
    Browse the repository at this point in the history

  4. changed define-alias -> define-type-alias

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    57366b7 View commit details
    Browse the repository at this point in the history

  5. Improved error message for unused type alias arguments

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    1aba695 View commit details
    Browse the repository at this point in the history

  6. typo fix

    @YarinHeffes
    YarinHeffes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    e6784b8 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. minor fixes

    @YarinHeffes
    YarinHeffes committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    8619ceb View commit details
    Browse the repository at this point in the history