Skip to content

PPX: remove -no-debug option #528

@aantron

Description

@aantron

The -no-debug option disables PPX backtrace support (which is currently broken anyway).

In opam, -no-debug is used only by sqlexpr.

I've never heard of any complaints that backtrace support is too slow. On the contrary, everyone wants backtrace support to be restored and improved in Lwt.

I propose we make -no-debug do nothing, simplify the PPX code, and remove the option entirely in some far future version of Lwt.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions