Skip to content
  • Matthew Pickering's avatar
    Add -flate-specialise which runs a later specialisation pass · afad5561
    Matthew Pickering authored and Ben Gamari's avatar Ben Gamari committed
    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
    afad5561