Skip to content

Formatting introduces trailing whitespace #2440

@nojb

Description

@nojb

Formatting

module Make_contract_fields (Gd : Grid_display.GRID_DISPLAY) (_ : CONTRACT_ROW_DATA with type t = Gd.row_data and type row_id = Gd.row_id) : sig end

with the options

margin=100
profile=conventional
field-space=tight-decl
indicate-multiline-delimiters=closing-on-separate-line

introduces a trailing space after sig.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions