New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Undefined class GEOSGeometry, despite CallMap entries #10286

Open

BenMorel opened this issue Oct 16, 2023 · 1 comment

Contributor

BenMorel commented Oct 16, 2023

A while ago, I added GEOS stubs to Psalm, in the form of CallMap.php additions.

Yet, Psalm still does not recognize thoses classes today: https://psalm.dev/r/7938c02a77

Do classes require an empty stub in addition to CallMap entries?

The text was updated successfully, but these errors were encountered:

psalm-github-bot bot commented Oct 16, 2023

I found these snippets:

https://psalm.dev/r/7938c02a77

<?php

new GEOSGeometry();
new GEOSWKTWriter();

Psalm output (using commit 9b00ac0):

ERROR: UndefinedClass - 3:5 - Class, interface or enum named GEOSGeometry does not exist

ERROR: UndefinedClass - 4:5 - Class, interface or enum named GEOSWKTWriter does not exist

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment