paulstansifer / unseemly / 43

Builds Branch Commit Type Ran Committer Via Coverage
43 master IT WORKS IT WORKS IT WORKS IT WORKS Make the drivers in dotdotdot splices actually live in unquoted, so that renaming renames them at the right time. Now the end-to-end test of a typed macro with binding works! It works! Closes bug #1. push paulstansifer travis-ci-com pending completion   set done
42 master Incorrect macro invocations are type errors! push paulstansifer travis-ci-com pending completion   set done
41 master Reference issue number in `MISTAKES.md` push paulstansifer travis-ci-com pending completion   set done
40 master Handle dotdotdoted arguments to macro expansion. push paulstansifer travis-ci-com pending completion   set done
39 master Implement tuple patterns. Closes #16. Turns out that I wanted tuple patterns for macro testing, too. push paulstansifer travis-ci-com pending completion   set done
38 master Allow unquotation to omit the NT when annotation is unnecessary. It makes the syntax rules more complex, sadly. Now, the forms are: ``` '[NT <[Type]< | ...]' '[NT | ...]' ,[NT <[Type]< | ...], ,[...], ``` But there's no way around hav... push paulstansifer travis-ci-com pending completion   set done
37 master Add tuple construction, improve `u!` a bit more. Partially addresses #16 (still need to destructure tuples.) push paulstansifer travis-ci-com pending completion   set done
34 master Macro expansion works now! Decided to put macro implementations in `Form.eval`, instead of the `Ast` itself, because it made more sense. (Note that having a separate field from `eval` would be neater, but I couldn't bear to add yet another field.... push paulstansifer travis-ci-com pending completion   set done
33 master Actually use the shortcut in `Value` instead of unrolling `Ast`s reification. I had never noticed that `AbstractSyntax` (a) was not required, because of `Ast` was already `Reifiable`, and (b) was not actually being used for its intended purpose. ... push paulstansifer travis-ci-com pending completion   set done
32 master Have `extend_syntax` take a BNF extension directly, not a function on `SynEnv`s. For typechecking reasons, `extend_syntax` needs to be able to reach into each `Syntax` (i.e. a RHS of the BNF) and get the type environment it produces. So this mean... push paulstansifer travis-ci-com pending completion   set done
31 master Mention MBE and Scala in the README. push paulstansifer travis-ci-com pending completion   set done
30 master Add a convenience form for defining grammars by BNF. Revise syntax syntax. push paulstansifer travis-ci-com pending completion   set done
29 master Syntax extension now works! Removed a extra attempted typecheck step that doesn't work, and write a test for syntax extension! push paulstansifer travis-ci-com pending completion   set done
28 master Make type reification ignore the concrete arguments to generic types. push paulstansifer travis-ci-com pending completion   set done
27 master Rename `abstract_parametric_type` to `primitive_type` for correctness. (and concision!) push paulstansifer travis-ci-com pending completion   set done