search

edgedb / edgedb-cli

The EdgeDB CLI
https://www.edgedb.com/docs/cli/index
Apache License 2.0
165 stars 23 forks source link

Process schema files in a deterministic order #1133

Open msullivan opened 11 months ago

msullivan commented 11 months ago

Currently I think we concatenate the schema files in whatever order the OS lists them to us. I think we should sort the list first, so that when we hit server bugs that depend on ordering, it happens deterministically.

msullivan commented 11 months ago

Prompted by https://github.com/edgedb/edgedb/issues/6161, which I couldn't reproduce directly from the provided schema directory because of this nondeterminism