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

Support empty record declaration #1536

Closed
wants to merge 21 commits into from
Closed

Support empty record declaration #1536

wants to merge 21 commits into from

Commits on Aug 11, 2017

  1. Allow empty variants and records.

    @objmagic
    objmagic committed Aug 11, 2017
    Copy the full SHA
    589973c View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2017

  1. work.

    @objmagic
    objmagic committed Aug 22, 2017
    Copy the full SHA
    2692840 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2017

  1. save.

    @objmagic
    objmagic committed Aug 23, 2017
    Copy the full SHA
    f653584 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2017

  1. Support empty record type.

    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    df0fc73 View commit details
    Browse the repository at this point in the history

  2. Allow empty record in pattern 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    50fca86 View commit details
    Browse the repository at this point in the history

  3. Allow empty record in pattern. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    d753426 View commit details
    Browse the repository at this point in the history

  4. Pretty-print, fix merge error. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    811a18c View commit details
    Browse the repository at this point in the history

  5. Use `Atom(0)' instead. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    4feb465 View commit details
    Browse the repository at this point in the history

  6. Add test cases. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 5, 2017
    Copy the full SHA
    562a70b View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2017

  1. Minor fixes. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 6, 2017
    Copy the full SHA
    e765eb3 View commit details
    Browse the repository at this point in the history

  2. Add test for undeclared record type. 

    Signed-off-by: Runhang Li <marklrh@gmail.com>
    @objmagic
    objmagic committed Nov 6, 2017
    Copy the full SHA
    4dadf1e View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2017

  1. no empty variants

    @objmagic
    objmagic committed Dec 17, 2017
    Copy the full SHA
    e955d1e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'trunk' into empty-record-variants

    @objmagic
    objmagic committed Dec 17, 2017
    Copy the full SHA
    e8817c4 View commit details
    Browse the repository at this point in the history

  3. fix merge error

    @objmagic
    objmagic committed Dec 17, 2017
    Copy the full SHA
    8262ba0 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2017

  1. fix some tests

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    4942d48 View commit details
    Browse the repository at this point in the history

  2. unbox status

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    7d16112 View commit details
    Browse the repository at this point in the history

  3. improve dsource

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    c5ce8de View commit details
    Browse the repository at this point in the history

  4. Write empty in empty rule, remove variants code

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    26b8e83 View commit details
    Browse the repository at this point in the history

  5. Refactor typecore

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    2d0fae5 View commit details
    Browse the repository at this point in the history

  6. add back invariant comment.

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    f8dd923 View commit details
    Browse the repository at this point in the history

  7. Add change entry.

    @objmagic
    objmagic committed Dec 18, 2017
    Copy the full SHA
    07b4a17 View commit details
    Browse the repository at this point in the history