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

Constraint solving for function overloading #213

Merged
merged 46 commits into from
Oct 4, 2024
Merged

Constraint solving for function overloading #213

merged 46 commits into from
Oct 4, 2024

Commits on Jan 3, 2024

  1. WIP: constraints solving for function overloading

    @auht
    auht committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8e2e0c0 View commit details
    Browse the repository at this point in the history

  2. fix type variables being filtered out

    @auht
    auht committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    3ad402f View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2024

  1. fix lcg and add constraints filtering by lowerbound

    @auht
    auht committed Jan 14, 2024
    Configuration menu
    Copy the full SHA
    d40c9b7 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. fix test: single function in overload

    @auht
    auht committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    4aa30ac View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Update tests & remove obsolete function

    @LPTK
    LPTK committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fcc772f View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Extend Constrained with field to hold constraints

    @auht
    auht committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    badd1ef View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. update tests

    @auht
    auht committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    63eb500 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. wip: constraints on ST and add polarity

    @auht
    auht committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    3ed1981 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. fix prov

    @auht
    auht committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    9615646 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. modify type simplifier

    @auht
    auht committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    fe6ed2f View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. WIP Changes from meeting

    @LPTK
    LPTK committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    74ba3f0 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. use LinkedHashMap preserve insertion order

    @auht
    auht committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    f41cc1b View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. fix duplicate occurence

    @auht
    auht committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    c8c35df View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. modify lcg

    @auht
    auht committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    a4760d0 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2024

  1. print pol

    @auht
    auht committed Mar 24, 2024
    Configuration menu
    Copy the full SHA
    9f84c57 View commit details
    Browse the repository at this point in the history

  2. add lcg record

    @auht
    auht committed Mar 24, 2024
    Configuration menu
    Copy the full SHA
    e759d29 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Changes from meeting

    @LPTK
    LPTK committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    6f7f30c View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. fix tsc tuple size mismatch

    @auht
    auht committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    420bd56 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. modify lcg and update tests

    @auht
    auht committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e14560f View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. fix bounds before tsc

    @auht
    auht committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    13d8c8f View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. modify freshenAbove and disable distributivity

    @auht
    auht committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    ed52d0b View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. fix tuple and record subtyping

    @auht
    auht committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    e254f86 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. fix type variables with multiple indices

    @auht
    auht committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    0e27171 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. fix type variable with multiple indices and add test cases

    @auht
    auht committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0e110ad View commit details
    Browse the repository at this point in the history

  2. fix ambiguity test

    @auht
    auht committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0819149 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2024

  1. fix polarity and modify type simplifier

    @auht
    auht committed Jul 28, 2024
    Configuration menu
    Copy the full SHA
    b8f3a3a View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. minor changes

    @auht
    auht committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    c46b74f View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Merge remote-tracking branch 'upstream/mlscript' into overloading-con… 

    …straints
    @auht
    auht committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    20e73a9 View commit details
    Browse the repository at this point in the history

  2. fix compilation error

    @auht
    auht committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    cf244aa View commit details
    Browse the repository at this point in the history

  3. tests explanation

    @auht
    auht committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    db8379e View commit details
    Browse the repository at this point in the history

  4. run tests

    @auht
    auht committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    d2b8f2b View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. fix freshenAbove

    @auht
    auht committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    fc32f52 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Changes from meeting

    @LPTK
    LPTK committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    09b5082 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. fix provtype

    @auht
    auht committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    e1b7fba View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. use iterator

    @auht
    auht committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    9cf43a4 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. add flag

    @auht
    auht committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    50afcc4 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. fix not a function error

    @auht
    auht committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    a540d00 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Merge branch 'mlscript' into overloading-constraints

    @LPTK
    LPTK authored Sep 19, 2024
    Configuration menu
    Copy the full SHA
    14e626f View commit details
    Browse the repository at this point in the history

  2. Update shared/src/test/diff/fcp/Overloads.mls 

    Co-authored-by: Lionel Parreaux <[email protected]>
    @auht @LPTK
    auht and LPTK authored Sep 19, 2024
    Configuration menu
    Copy the full SHA
    7103216 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. add ambiguity check to toplevel forall

    @auht
    auht committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    eff743c View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Update HeungTung.mls

    @auht
    auht authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    bbd8f9b View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. minor changes

    @auht
    auht committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    4f21762 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. guard with flag

    @auht
    auht committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    e740159 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'mlscript' into overloading-constraints

    @auht
    auht authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    f00661e View commit details
    Browse the repository at this point in the history

  3. Update Overloads.mls

    @auht
    auht authored Oct 4, 2024
    Configuration menu
    Copy the full SHA
    81caf7b View commit details
    Browse the repository at this point in the history

  4. run tests

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