Allow macros in types#873

Merged

pnkfelix merged 18 commits intomasterfrom

unknown repository

Jul 23, 2015

Commits on Feb 17, 2015

Allow macros in types
Darin Morrison
committed

Commits on Feb 18, 2015

Link RFC for parameterizing types with constants
Darin Morrison
committed
Add tests to hlist/tuple conversion example
Darin Morrison
committed

Commits on Feb 19, 2015

Rewording, comments, etc.
Darin Morrison
committed

Commits on Feb 20, 2015

Cleanup invoke_for_seq_upto macro
Darin Morrison
committed
Add example plugin to expand integers to type nats
Darin Morrison
committed
Remove unnecessary attributes from examples
Darin Morrison
committed
Clean up nat plugin example; add term-level macro
Darin Morrison
committed

Commits on Feb 21, 2015

More clean up; mention hygiene
Darin Morrison
committed
Rewording; clarification; cleanup
Darin Morrison
committed

Commits on Feb 26, 2015

Reword/clarify motivation
Darin Morrison
committed
Update links
Darin Morrison
committed

Commits on Feb 28, 2015

Include additional details in code examples
Darin Morrison
committed
Modify `Expr!` to not need extra parentheses
Darin Morrison
committed

Commits on Mar 2, 2015

Renaming; fix examples to use MacEager
Darin Morrison
committed
Modify macro example to match patterns
Darin Morrison
committed

Commits on Mar 10, 2015

Remove HList/tuple conversion example
Darin Morrison
committed

Commits on Mar 11, 2015

Remove additional examples
Darin Morrison
committed