aihc-parser 1.0.0.4 → 1.0.0.5
raw patch · 3 files changed
+9/−122 lines, 3 filesdep −aihc-parserPVP ok
version bump matches the API change (PVP)
Dependencies removed: aihc-parser
API changes (from Hackage documentation)
Files
- CHANGELOG.md +8/−0
- aihc-parser.cabal +1/−58
- fuzz/Aihc/Parser/Fuzz.hs +0/−64
CHANGELOG.md view
@@ -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
aihc-parser.cabal view
@@ -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,
− fuzz/Aihc/Parser/Fuzz.hs
@@ -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)