Robert J. Simmons

GET HTTP queries are not idempotent

1

- EdgeDB Version: 6.2 - EdgeDB CLI Version: 7.0.3 - OS Version: OSX Steps to Reproduce: 1. Create a local database with this schema ``` using extension edgeql_http; module default...

Missing footnote references should lead to reasonable, Verso-document-level error messages ```lean4 /-- error: failed to synthesize Doc.Elab.HasNote "missingfootnote" `Tests.Basic.«the canonical document object name» Doc.Genre.none Hint: Additional diagnostic information may be...

Misleading error message for for-insert statement

1

- Gel Version: 6.8+9fb0925 - Gel CLI Version: 7.7.0+40140c4 - OS Version: OSX 15.5 Steps to Reproduce: 1. Put the following in queries/bar.edgeql ``` for movie in array_unpack($data) insert Foo...

- Gel Version: 6.9+69ad2a3 - Gel CLI Version: 7.7.0+40140c4 - OS Version: OSX 15.5 Steps to Reproduce: ``` gel_flashcards_2:main> with x := (insert Issue { name := 'Busted' }) update...

This may be related to @7894, but if so it's a much more minimal example that doesn't need a schema - Gel Version: 6.9+69ad2a3 - Gel CLI Version: 7.7.0+40140c4 -...

- Gel Version: 6.9+69ad2a3 - Gel CLI Version: 7.7.0+40140c4 - OS Version: OSX 15.0 Steps to Reproduce: 1. In an arbitrary initialized TypeScript Gel project, write the following in queries/bug.edgeql:...

feat: suggestions for some size/count/length confusions

3

This PR adds `suggest_for` annotations directing uses of `Array.length` permanently to `Array.size`, and uses of `String.size` permanently to `String.length`.

feat: allow numeric literals to be coerced to option type

3

This PR allows adds new instances for the `OfNat` and `OfScientific` typeclass that allow numeric literals to be treated as having `Option` type. This change fixes an _apparent_ asymmetry between...