Add DSL architecture and validation test suite #10

New issue

Closed

opened 2026-06-06 14:02:49 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented

2026-06-06 14:02:49 +02:00

Owner

Parent: #1

Goal

Add focused tests that lock down compile-time structure, builder output, validation behavior, and serialized IR.

Tasks

Unit-test domain smart constructors and builders.
Unit-test domain and cross-domain validators.
Add golden JSON tests for README examples.
Add compile-fail tests for structurally invalid DSL usage.
Test deterministic error and serialization order.

Acceptance criteria

Valid README examples pass end-to-end from DSL to JSON.
Representative invalid structures fail compilation.
Representative semantic conflicts return expected accumulated errors.
Test commands are wired into Cabal and nix flake check.

Parent: #1 ## Goal Add focused tests that lock down compile-time structure, builder output, validation behavior, and serialized IR. ## Tasks - Unit-test domain smart constructors and builders. - Unit-test domain and cross-domain validators. - Add golden JSON tests for README examples. - Add compile-fail tests for structurally invalid DSL usage. - Test deterministic error and serialization order. ## Acceptance criteria - Valid README examples pass end-to-end from DSL to JSON. - Representative invalid structures fail compilation. - Representative semantic conflicts return expected accumulated errors. - Test commands are wired into Cabal and `nix flake check`.

yorunikakeru referenced this issue

2026-06-06 14:03:14 +02:00

Implement FrogOS Haskell eDSL compiler to validated IR #1

yorunikakeru referenced this issue from a commit

2026-06-09 22:39:32 +02:00

test: add construction rejection and validation determinism tests

yorunikakeru referenced this issue from a pull request that will close it,

2026-06-09 22:40:33 +02:00

test/issue-10-tests #19

yorunikakeru closed this issue

2026-06-09 22:40:38 +02:00