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

A step towards dependent types #362

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

A step towards dependent types #362

wants to merge 15 commits into from

Commits on May 22, 2020

  1. initial commit

    @adam-antonik
    adam-antonik committed May 22, 2020
    Configuration menu
    Copy the full SHA
    5fd1311 View commit details
    Browse the repository at this point in the history

  2. put type in boot

    @adam-antonik
    adam-antonik committed May 22, 2020
    Configuration menu
    Copy the full SHA
    a02906d View commit details
    Browse the repository at this point in the history

  3. remove the not needed

    @adam-antonik
    adam-antonik committed May 22, 2020
    Configuration menu
    Copy the full SHA
    9aded37 View commit details
    Browse the repository at this point in the history

  4. (maybe) Fix build

    @adam-antonik
    adam-antonik committed May 22, 2020
    Configuration menu
    Copy the full SHA
    37c9642 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2020

  1. Only lower top level TLong and TString, others go into Type. Allow Ty… 

    …pe to contain TVars, maybe returning them is useful
    @adam-antonik
    adam-antonik committed May 23, 2020
    Configuration menu
    Copy the full SHA
    72bbab4 View commit details
    Browse the repository at this point in the history

  2. Don't forget now to handle top tvar correctly

    @adam-antonik
    adam-antonik committed May 23, 2020
    Configuration menu
    Copy the full SHA
    ed42c49 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2020

  1. Merge branch 'master' into dependent

    @kthielen
    kthielen authored May 24, 2020
    Configuration menu
    Copy the full SHA
    174d69c View commit details
    Browse the repository at this point in the history

  2. fix field def construction ambiguity (in some compilers)

    @kthielen
    kthielen committed May 24, 2020
    Configuration menu
    Copy the full SHA
    32d2a05 View commit details
    Browse the repository at this point in the history

  3. construct ref counted pointers explicitly

    @kthielen
    kthielen committed May 24, 2020
    Configuration menu
    Copy the full SHA
    01fcf6a View commit details
    Browse the repository at this point in the history

Commits on May 25, 2020

  1. avoid storing a global variable to lift the "Type" type

    @kthielen
    kthielen committed May 25, 2020
    Configuration menu
    Copy the full SHA
    b91b5b0 View commit details
    Browse the repository at this point in the history

  2. add an sprintf test to demo and validate lower and apply functions ad… 

    …ded in this PR
    @kthielen
    kthielen committed May 25, 2020
    Configuration menu
    Copy the full SHA
    1aeb143 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. std::tuple != tuple. Use tuple

    @adam-antonik
    adam-antonik committed May 27, 2020
    Configuration menu
    Copy the full SHA
    28e53af View commit details
    Browse the repository at this point in the history

  2. merge

    @adam-antonik
    adam-antonik committed May 27, 2020
    Configuration menu
    Copy the full SHA
    81db7c8 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2020

  1. Merge branch 'master' into dependent

    @kthielen
    kthielen authored Jun 30, 2020
    Configuration menu
    Copy the full SHA
    e725b1a View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2020

  1. Merge branch 'master' into dependent

    @kthielen
    kthielen authored Jul 22, 2020
    Configuration menu
    Copy the full SHA
    6b7ab03 View commit details
    Browse the repository at this point in the history