vimeo/psalm

Bug: psalm.xml cannot be loaded if a non-existent directory is specified

Open

#7111 aperta il 9 dic 2021

Vedi su GitHub
 (2 commenti) (2 reazioni) (0 assegnatari)PHP (668 fork)batch import
Help wantedenhancement

Metriche repository

Star
 (5369 star)
Metriche merge PR
 (Merge medio 3g 12h) (5 PR mergiate in 30 g)

Descrizione

I just had this strange error

Problem parsing /var/www/html/psalm.xml: Could not resolve config path to /var/www/html/

thrown from here.

The cause was this snippet in my psalm.xml:

        <RedundantConditionGivenDocblockType>
            <errorLevel type="suppress">
                <directory name="bar/"/>
            </errorLevel>
        </RedundantConditionGivenDocblockType>

I just had moved bar to foo/bar. So it could not resolve bar (realpath in Line 168 returned false). That was hard to find because the error was not very informative. Maybe we could change that so that I can see the real mistake a bit more clearly? 😅

Guida contributor

Direzione di ricerca
Migliora il messaggio di errore in FileFilter.php quando realpath restituisce false, in modo che venga mostrato il nome della directory inesistente.
Tech stack
php
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PHP
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70