Skip to content

Remove old DecompilerPrinter #14806

New issue
New issue
Closed
#15445
Closed
Remove old DecompilerPrinter#14806
#15445
Labels
SpreeSuitable for a future Spreeexp:noviceitype:enhancement
@nicolasstucki

Description

@nicolasstucki
nicolasstucki
opened on Mar 29, 2022

The old implementation for the decompiler dotty.tools.dotc.printing.DecompilerPrinter is not used by the decompiler anymore. It is only used by the ReplPrinter. We should remove DecompilerPrinter by merging it with ReplPrinter.

Metadata

Metadata

Assignees

No one assigned

    Labels

    SpreeSuitable for a future Spreeexp:noviceitype:enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions