Type Checker Tests

Type Checker Integration Tests

Use this skill when adding new type checker functions or expanding behavior.

Language: Test fixtures use PureScript syntax, not Haskell.

Quick Reference

Use just tc --help for all options.

Creating a Test

1. Create fixture directory

mkdir tests-integration/fixtures/checking/{NNN_descriptive_name}

Tests are auto-discovered by build.rs - no manual registration needed.

2. Write Main.purs

Standard pattern - pair typed (checking) and untyped (inference) variants:

module Main where

-- Checking mode: explicit signature constrains type checker
test :: Array Int -> Int
test [x] = x

-- Inference mode: type checker infers unconstrained
test' [x] = x

Guidelines:

• Test ONE specific behavior per fixture
• Name tests descriptively: test, test', test2, test2', etc.
• Include edge cases relevant to the behavior being tested

3. Generate and review snapshot

just tc NNN

This outputs:

• CREATED path (green) with numbered lines showing full content
• UPDATED path (yellow) with chunked diff (2 lines context, line numbers)

Multi-File Tests

For testing imports, re-exports, or cross-module behavior, add multiple .purs files to the same fixture directory. The type checker loads all .purs files in the folder.

Example structure:

tests-integration/fixtures/checking/NNN_import_test/
├── Main.purs    # The test file (snapshot generated for Main)
├── Lib.purs     # Supporting module
└── Main.snap    # Generated snapshot

Lib.purs:

module Lib where

life :: Int
life = 42

data Maybe a = Just a | Nothing

Main.purs:

module Main where

import Lib (life, Maybe(..))

test :: Maybe Int
test = Just life

Key points:

• Module name must match filename (Lib.purs -> module Lib where)
• Only Main.purs generates a snapshot (the test runs against Main)
• Use standard PureScript import syntax

Reviewing Snapshots

Snapshots have this structure:

Terms
functionName :: InferredOrCheckedType
...

Types
TypeName :: Kind
...

Errors
ErrorKind { details } at [location]

Acceptance Criteria

Before accepting, verify:

1. Types are correct - Check that inferred types match expectations

   • test :: Array Int -> Int - explicit signature preserved
   • test' :: forall t. Array t -> t - polymorphism inferred correctly

2. No unexpected ??? - This indicates inference failure

   • test :: ??? - STOP: the term failed to type check
   • CannotUnify { ??? -> ???, Int } - OK in error tests, shows unresolved unification variables

3. Errors appear where expected - For tests validating error behavior

   • Confirm error kind matches expectations (e.g., NoInstanceFound, CannotUnify)
   • Verify error location points to the correct declaration

4. Polymorphism is appropriate

   • Check type variable names (t6, a, etc.) are scoped correctly
   • Verify constraints propagate as expected

Common Issues

Accept and Verify

# Accept only after thorough review
cargo insta accept

# Verify all checking tests pass
just tc

Debugging

When investigating a potential compiler bug:

# Focus on single test to reduce noise
just tc NNN

You should run just tc to check for regressions.