Skip to content

Don't store tmpDir in Settings

Sylvain Henry requested to merge hsyl20/ghc:hsyl20/tmpdir into master
There was no point in doing this as indicated by the TODO.

Very simple TODO fix -- namely moving tmpDir field from FileSettings to DynFlags -- so I don't think it deserves a ticket.

Merge request reports