type-checker-tests

Add integration tests for the PureScript type checker with snapshot validation.

92|11|Updated Jul 23, 2023

Search Tags:#automation #testing #snapshots #integration-tests #PureScript #type-checker

One-click install

npx skills add https://github.com/purefunctor/purescript-analyzer --skill type-checker-tests

Or copy as Structured Prompt for Agent▼

Please help me install this Agent Skill.
Skill: type-checker-tests
Source: https://github.com/purefunctor/purescript-analyzer/tree/main/.claude/skills/type-checker-tests
Command: npx skills add https://github.com/purefunctor/purescript-analyzer --skill type-checker-tests

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Add integration tests for the PureScript type checker: inference and checking functions, ensuring regressions are caught early.

Core Features & Use Cases

Test infrastructure: Supports creating test fixtures under tests-integration/fixtures/checking/.
Automated snapshots: Runs just tc and generates/validates snapshots with insta.
Guided workflow: Provides step-by-step commands to create tests, run them, and review results.

Quick Start

Create a new fixture under tests-integration/fixtures/checking/{NNN_description}, write a Main.purs with a pair of tests, then run just tc NNN.