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

[WIP] Better quotations #349

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

[WIP] Better quotations #349

wants to merge 11 commits into from

Commits on Apr 16, 2017

  1. Implement quotation macro from scratch 

    - Extend custom `MetaParser` to allow syntax-changes in the quasiquote
- Add helper class for detecting dotted arguments e.g. `[..$xs]`
- Add support for splicing multiple `LambdaTerms` into lists

Todo:
- Other possible ways to splice terms into other terms
- Unlifting and unsplicing `LambdaTerms`
    @keddelzz
    keddelzz committed Apr 16, 2017
    Configuration menu
    Copy the full SHA
    dd266c9 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2017

  1. Reimplement unquoting and implement unsplicing (#345)

    @keddelzz
    keddelzz committed Apr 17, 2017
    Configuration menu
    Copy the full SHA
    29f291d View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2017

  1. Add test for new marker (dotted holes) (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    61dbcb1 View commit details
    Browse the repository at this point in the history

  2. Add tests for splicing/unsplicing terms in/from lists (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    f519f69 View commit details
    Browse the repository at this point in the history

  3. Fix creating expression in pattern position (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    6018ad2 View commit details
    Browse the repository at this point in the history

  4. Fix splicing of sequences (other than lists) not working (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    192b9ed View commit details
    Browse the repository at this point in the history

  5. Add tests for unsplicing and autoconversion during unlifing (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    2c4934b View commit details
    Browse the repository at this point in the history

  6. Make 'sequence'-function generic (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    5280f96 View commit details
    Browse the repository at this point in the history

  7. Make 'UnapplyEach' work with every TraversableOnce (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    0743525 View commit details
    Browse the repository at this point in the history

  8. Unsplicing with autoconversion to annotated types (#345)

    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    472fb9f View commit details
    Browse the repository at this point in the history

  9. Don't slay the compiler (#345) 

    I created too huge patterns to be matched against. Those crashed the
compiler.
This change optimizes the pattern (and the runtime const) of huge
constants (numbers and characters) and other terms, whose representation
is very large (int-lists and char-lists/strings).
    @keddelzz
    keddelzz committed Apr 18, 2017
    Configuration menu
    Copy the full SHA
    ebc3942 View commit details
    Browse the repository at this point in the history