• Matthew Pickering's avatar
    Add -flate-specialise which runs a later specialisation pass · afad5561
    Matthew Pickering authored
    Runs another specialisation pass towards the end of the optimisation
    pipeline. This can catch specialisation opportunities which arose from
    the previous specialisation pass or other inlining.
    You might want to use this if you are you have a type class method
    which returns a constrained type. For example, a type class where one
    of the methods implements a traversal.
    It is not enabled by default or any optimisation level. Only by
    manually enabling the flag `-flate-specialise`.
    Reviewers: bgamari
    Reviewed By: bgamari
    Subscribers: rwbarton, thomie, carter
    Differential Revision: https://phabricator.haskell.org/D4457
using-optimisation.rst 40 KB