diff --git a/CHANGELOG.md b/CHANGELOG.md --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,14 @@ ## [Unreleased] +## [1.0.0.5] - 2026-07-27 + +### Fixed + +- Removed the developer-only `fuzz` sublibrary and flag. Property generators + and fuzz tests now exist only as internals of the test suite, so Hackage + exposes only the parser library and its runtime dependencies. + ## [1.0.0.4] - 2026-07-26 ### Added diff --git a/aihc-parser.cabal b/aihc-parser.cabal --- a/aihc-parser.cabal +++ b/aihc-parser.cabal @@ -1,6 +1,6 @@ cabal-version: 3.8 name: aihc-parser -version: 1.0.0.4 +version: 1.0.0.5 build-type: Simple license: Unlicense license-file: LICENSE @@ -32,11 +32,6 @@ type: git location: https://github.com/ai-haskell-compiler/aihc-parser.git -flag fuzz - description: Build the developer-only QuickCheck property registry - default: False - manual: True - library exposed-modules: Aihc.Parser @@ -76,58 +71,6 @@ containers >=0.5 && <0.9, deepseq >=1.4 && <1.6, megaparsec >=9.0 && <10, - prettyprinter >=1.7 && <1.8, - text >=2.1.2 && <2.2, - - ghc-options: -Wall - default-language: GHC2021 - -library fuzz - if !flag(fuzz) - buildable: False - visibility: public - hs-source-dirs: - fuzz - test - common - - exposed-modules: - Aihc.Parser.Fuzz - Test.Properties.Arb.Decl - Test.Properties.Arb.Expr - Test.Properties.Arb.Identifiers - Test.Properties.Arb.Module - Test.Properties.Arb.Pattern - Test.Properties.Arb.Type - Test.Properties.Arb.Utils - - other-modules: - CppSupport - GhcOracle - ParserValidation - Test.Properties.Coverage - Test.Properties.DeclRoundTrip - Test.Properties.ExprRoundTrip - Test.Properties.MinimalParentheses - Test.Properties.ModuleRoundTrip - Test.Properties.NoExceptions - Test.Properties.ParensIdempotency - Test.Properties.PatternRoundTrip - Test.Properties.ShorthandSubset - Test.Properties.TypeRoundTrip - - build-depends: - Diff >=1.0 && <1.1, - QuickCheck >=2.14 && <2.19, - aihc-cpp >=1.0 && <1.1, - aihc-hackage >=0.1 && <0.2, - aihc-parser, - base >=4.19 && <5, - bytestring >=0.10.8 && <0.13, - containers >=0.5 && <0.9, - deepseq >=1.4 && <1.6, - filepath >=1.3.0.1 && <1.6, - ghc-lib-parser >=9.14.1 && <9.15, prettyprinter >=1.7 && <1.8, text >=2.1.2 && <2.2, diff --git a/fuzz/Aihc/Parser/Fuzz.hs b/fuzz/Aihc/Parser/Fuzz.hs deleted file mode 100644 --- a/fuzz/Aihc/Parser/Fuzz.hs +++ /dev/null @@ -1,64 +0,0 @@ --- | Continuously runnable QuickCheck properties owned by @aihc-parser@. -module Aihc.Parser.Fuzz - ( parserFuzzProperties, - ) -where - -import Test.Properties.DeclRoundTrip (prop_declPrettyRoundTrip) -import Test.Properties.ExprRoundTrip (prop_exprPrettyRoundTrip) -import Test.Properties.MinimalParentheses (prop_minimalParenthesesExpr, prop_minimalParenthesesPattern, prop_minimalParenthesesSignatureType, prop_minimalParenthesesType) -import Test.Properties.ModuleRoundTrip (prop_modulePrettyRoundTrip, prop_moduleValidator) -import Test.Properties.NoExceptions - ( prop_declParserArbitraryTokensNoExceptions, - prop_exprParserArbitraryTokensNoExceptions, - prop_genLexTokenKindConstructorCoverage, - prop_importDeclParserArbitraryTokensNoExceptions, - prop_lexerArbitraryTextNoExceptions, - prop_moduleHeaderParserArbitraryTokensNoExceptions, - prop_moduleParserArbitraryTokensNoExceptions, - prop_patternParserArbitraryTokensNoExceptions, - prop_preprocessorArbitraryTextNoExceptions, - prop_typeParserArbitraryTokensNoExceptions, - ) -import Test.Properties.ParensIdempotency (prop_declParensIdempotent, prop_exprParensIdempotent, prop_moduleParensIdempotent, prop_patternParensIdempotent, prop_typeParensIdempotent) -import Test.Properties.PatternRoundTrip (prop_patternPrettyRoundTrip) -import Test.Properties.ShorthandSubset (prop_shorthandDeclSubsetOfShow, prop_shorthandExprSubsetOfShow, prop_shorthandLexTokenSubsetOfShow, prop_shorthandModuleSubsetOfShow, prop_shorthandTypeSubsetOfShow) -import Test.Properties.TypeRoundTrip (prop_typePrettyRoundTrip) -import Test.QuickCheck (Property, Testable, property) - -parserFuzzProperties :: [(String, Property)] -parserFuzzProperties = - [ named "expr paren insertion is minimal" prop_minimalParenthesesExpr, - named "pattern paren insertion is minimal" prop_minimalParenthesesPattern, - named "signature type paren insertion is minimal" prop_minimalParenthesesSignatureType, - named "type paren insertion is minimal" prop_minimalParenthesesType, - named "generated expr AST pretty-printer round-trip" prop_exprPrettyRoundTrip, - named "generated decl AST pretty-printer round-trip" prop_declPrettyRoundTrip, - named "generated module AST pretty-printer round-trip" prop_modulePrettyRoundTrip, - named "generated module AST validator" prop_moduleValidator, - named "generated pattern AST pretty-printer round-trip" prop_patternPrettyRoundTrip, - named "generated type AST pretty-printer round-trip" prop_typePrettyRoundTrip, - named "module paren insertion is idempotent" prop_moduleParensIdempotent, - named "decl paren insertion is idempotent" prop_declParensIdempotent, - named "expr paren insertion is idempotent" prop_exprParensIdempotent, - named "pattern paren insertion is idempotent" prop_patternParensIdempotent, - named "type paren insertion is idempotent" prop_typeParensIdempotent, - named "module shorthand is a subset of Show" prop_shorthandModuleSubsetOfShow, - named "decl shorthand is a subset of Show" prop_shorthandDeclSubsetOfShow, - named "expr shorthand is a subset of Show" prop_shorthandExprSubsetOfShow, - named "type shorthand is a subset of Show" prop_shorthandTypeSubsetOfShow, - named "lex token shorthand is a subset of Show" prop_shorthandLexTokenSubsetOfShow, - named "lex token kind generator covers constructors" prop_genLexTokenKindConstructorCoverage, - named "no exceptions.preprocessor accepts arbitrary text" prop_preprocessorArbitraryTextNoExceptions, - named "no exceptions.lexer accepts arbitrary text" prop_lexerArbitraryTextNoExceptions, - named "no exceptions.module parser accepts arbitrary tokens" prop_moduleParserArbitraryTokensNoExceptions, - named "no exceptions.expr parser accepts arbitrary tokens" prop_exprParserArbitraryTokensNoExceptions, - named "no exceptions.type parser accepts arbitrary tokens" prop_typeParserArbitraryTokensNoExceptions, - named "no exceptions.pattern parser accepts arbitrary tokens" prop_patternParserArbitraryTokensNoExceptions, - named "no exceptions.decl parser accepts arbitrary tokens" prop_declParserArbitraryTokensNoExceptions, - named "no exceptions.import decl parser accepts arbitrary tokens" prop_importDeclParserArbitraryTokensNoExceptions, - named "no exceptions.module header parser accepts arbitrary tokens" prop_moduleHeaderParserArbitraryTokensNoExceptions - ] - where - named :: (Testable prop) => String -> prop -> (String, Property) - named name value = (name, property value)