Skip to content

Add HTTP QUERY method#19

Merged
i-am-the-slime merged 6 commits into
mainfrom
add-http-query-method
Jul 11, 2026
Merged

Add HTTP QUERY method#19
i-am-the-slime merged 6 commits into
mainfrom
add-http-query-method

Conversation

@i-am-the-slime

@i-am-the-slime i-am-the-slime commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add the QUERY constructor standardized by RFC 9842
  • render it as QUERY and recognize it case-insensitively in fromString
  • add focused coverage for rendering, parsing, and the existing custom-method fallback
  • replace the removed prepare-0.15 package-set branch with the working immutable psc-0.15.0-20220502 tag
  • restore CI by updating deprecated GitHub Actions, pinning the Dhall-compatible PureScript/Spago toolchain, and removing compiler flags unsupported by PureScript 0.15 from the legacy Pulp check

Verification

  • npx --yes spago@0.20.9 test
  • GitHub Actions build passed, including strict Spago compilation, formatting, and Bower/Pulp compatibility

@i-am-the-slime i-am-the-slime merged commit a7aa523 into main Jul 11, 2026
1 check passed
@i-am-the-slime i-am-the-slime deleted the add-http-query-method branch July 11, 2026 19:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant