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

Implement unused (renamed to ghost terms) #3342

Merged
merged 27 commits into from
Feb 21, 2018
Merged

Implement unused (renamed to ghost terms) #3342

merged 27 commits into from
Feb 21, 2018

Commits on Feb 15, 2018

  1. Implement unused values

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    4b81aae View commit details
    Browse the repository at this point in the history

  2. Transform unused arguments to dummy values in typer

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    ea4c483 View commit details
    Browse the repository at this point in the history

  3. Re-enable unused vals and defs

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    cf52f93 View commit details
    Browse the repository at this point in the history

  4. Move NoInit checks to Mixin

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    85f9a70 View commit details
    Browse the repository at this point in the history

  5. Add modifier to NonEmptyFunction and replace ImplicitFunction

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    5e774d7 View commit details
    Browse the repository at this point in the history

  6. Document UnusedFunctionN and UnusedImplicitFunctionN

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    68ea63c View commit details
    Browse the repository at this point in the history

  7. Reformat code of UnusedFunctions in NameOpts

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    7474ba3 View commit details
    Browse the repository at this point in the history

  8. Remove unnecessary early removal of unused prameters

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    e755dd8 View commit details
    Browse the repository at this point in the history

  9. Move error for unused case accessors

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    2177da5 View commit details
    Browse the repository at this point in the history

  10. Improve error message

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    724bf9c View commit details
    Browse the repository at this point in the history

  11. Remove unnecessary removal of unused accessors

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    f1aa9fc View commit details
    Browse the repository at this point in the history

  12. Remove Nothing restriction on unused parameters

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    ae8f80e View commit details
    Browse the repository at this point in the history

  13. Change error message

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    81ec565 View commit details
    Browse the repository at this point in the history

  14. Remove special case for unused closure

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    dd661dd View commit details
    Browse the repository at this point in the history

  15. Keep stable unused arguments

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    6a40b84 View commit details
    Browse the repository at this point in the history

  16. Add documentation

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    aa53182 View commit details
    Browse the repository at this point in the history

  17. Complete doc of FunArgMods

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    aba82ba View commit details
    Browse the repository at this point in the history

  18. Use set for funArgMods

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    7c4662d View commit details
    Browse the repository at this point in the history

  19. Add missing syntax for FunArgMods

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    ce2d805 View commit details
    Browse the repository at this point in the history

  20. Improve variable names

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    544c8d5 View commit details
    Browse the repository at this point in the history

  21. Improve comment

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    f10f2d0 View commit details
    Browse the repository at this point in the history

  22. Fix synthetic methods of value class with unused params

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    ddf5b2c View commit details
    Browse the repository at this point in the history

  23. Make Unused flag a term flag only

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    7f81bc3 View commit details
    Browse the repository at this point in the history

  24. Add rules

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    c877473 View commit details
    Browse the repository at this point in the history

  25. Fix documentation

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    ed50958 View commit details
    Browse the repository at this point in the history

  26. Move methods from UnusedUtil to Applications

    @nicolasstucki
    nicolasstucki committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    c040798 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2018

  1. Update unused parameter doc

    @nicolasstucki
    nicolasstucki committed Feb 21, 2018
    Configuration menu
    Copy the full SHA
    68afbcd View commit details
    Browse the repository at this point in the history