Skip to content
Commits on Aug 28, 2014
  1. Fix typo in compile option

    After updating Scala version, Scalac started correctly complaining that
    
    [error] 'implicits' is not a valid choice for '-language'
    committed Aug 28, 2014
  2. Update Scala version

    committed Aug 28, 2014
Commits on Jul 29, 2014
  1. Gitignore

    committed Jul 29, 2014
Commits on Mar 1, 2014
  1. Separate interface for calculus component

    This interface is still to refine.
    committed Mar 1, 2014
  2. Fix deprecation warnings

    These are due to changes in the macro API for 2.11.
    committed Mar 1, 2014
  3. Move lambda-calculus implementation into client

    Instead of having it in the project defining the macro, it should only
    be in the project using macros. This reduces tremendously the overhead
    of setting up a separate project for macros - in fact, you simply need
    to import the library from the macros project, mix the macro component
    with the calculus component, and use its macro members.
    
    Next, I will refine the interface that a calculus component must supply.
    committed Mar 1, 2014
  4. Simplify component wiring

    LambdaCalculus can simply be a mixin. This runs into SI-6447 on 2.10.3,
    that's why I needed the previous commit.
    committed Mar 1, 2014
  5. Switch to 2.11.0-RC1

    Needed for next commit.
    committed Mar 1, 2014
  6. build.sbt: add commented out dependency

    For manual testing.
    committed Mar 1, 2014
  7. Allow clients to supply an AST

    To this end, we must move macro methods into a trait. They're dispatched
    statically, but they can produce code which uses dynamic dispatch on the
    receiver.
    committed Mar 1, 2014
  8. Merge branch 'topic/still-with-quasiquotes'

    I've not merged quasiquotes back into Macros.scala,
    but that will require some inventive, so it better be a separate commit.
    (I moved the quasiquote-based code into a comment for now).
    
    Conflicts:
    	NamedHoasUsage.scala
    	build.sbt
    	macros/Macros.scala
    committed Mar 1, 2014
Commits on Feb 16, 2014
  1. Upgrade to scalamacros/paradise 2.0.0-M3

    Also, add new needed extra dependency.
    
    Reason: this fixes scalamacros/paradise#11.
    committed Feb 16, 2014
Commits on Feb 14, 2014
  1. Merge remote branch 'origin/master'

    Conflicts:
    	macros/UntypedLambdaCalc.scala
    
    Warning: I've merged two diverged histories from two different hosts,
    and I've done it much later when I had forgot the details, so I'm not
    sure how good this is.
    (I think it's in fact a merge of orthogonal changes, so no problem).
    committed Feb 14, 2014
Commits on Jan 23, 2014
  1. Add comments

    committed Jan 23, 2014
Commits on Jan 20, 2014
  1. Experiment with quasiquotes

    committed Jan 20, 2014
  2. Add test to NamedHoasUsage

    committed Jan 20, 2014
Commits on Jan 14, 2014
  1. Implement also let

    Do it twice: as a standard derived operation and as a macro. And add a
    test showing the problem with the first version.
    committed Jan 14, 2014
  2. Ensure Apply <: Term

    committed Jan 14, 2014
  3. Extract reusable getArgName

    committed Jan 14, 2014
Commits on Dec 19, 2013
  1. Show why we use decoded

    Names with special chars, like +, are encoded, but we want the decoded
    version (that is, the original) in the AST.
    committed Dec 19, 2013
  2. Distinguish names from strings

    This will allow to disambiguate names using indexes without embedding
    the indexes in the names.
    committed Dec 19, 2013
  3. Minor (fix vim modeline)

    committed Dec 19, 2013
  4. Explain change in branch structure

    Now master uses no quasiquotes, they're on a separate branch.
    committed Dec 19, 2013
  5. Add Cai's example of prettyprinter breakage

    That's not how Cai originally presented the example, but I think that
    prettyprinting should work also for such examples.
    Hence, as Tillmann originally suspected, we need to rename variables.
    In the future, I plan to fix this. Since the goal is to make ASTs
    more readable, I plan not to rename every name, and instead to keep
    names unchanged when it's not a problem. "Problem" is ambiguous on
    purpose there: I think that every shadowing should be removed, but I'm
    not entirely sure.
    committed Dec 19, 2013
Commits on Dec 18, 2013
  1. Kill dead code

    committed Dec 18, 2013
Something went wrong with that request. Please try again.