| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Generators.Spec
Description
UPLC property tests (pretty-printing/parsing and binary encoding/decoding).
Synopsis
- test_parsing :: SrcSpan of a parsed
Termshould not including trailing whitespaces.
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Generators.Spec
Description
UPLC property tests (pretty-printing/parsing and binary encoding/decoding).
Term should not including trailing whitespaces.Test that parser errors for list element type mismatches point to the correct location. This uses the exact example from the issue report.
propTypeNameTypoErrorLocation :: TestTree #
Test that parser errors for typos in type names point to the correct location. This tests the case where "boot" is used instead of "bool".
propMissingClosingParen :: Text -> TestTree #
Helper function to test parser error messages using golden files. Verifies exact error message output against a golden file, ensuring error quality doesn't regress.