Module Private.LinterSource

Sourcemodule Warning : sig ... end
Sourceval list_warnings : _ Computation.t -> Warning.t list

Produces a list of missed optimization opportunities. It currently checks for the following:

  • Unfolded constants
  • State_machine1 to State_machine0 transformation