agda2lagda 0.2023.3.25 → 0.2023.6.9
raw patch · 7 files changed
+20/−33 lines, 7 filesdep ~optparse-applicative
Dependency ranges changed: optparse-applicative
Files
- CHANGELOG.md +7/−0
- agda2lagda.cabal +6/−26
- src/Options.hs +3/−3
- test/golden/ClosingCommentInString.lagda.md +1/−1
- test/golden/ClosingCommentInString.lagda.tex +1/−1
- test/golden/Foo.lagda.md +1/−1
- test/golden/Foo.lagda.tex +1/−1
CHANGELOG.md view
@@ -1,5 +1,12 @@ # Revision history for agda2lagda +## 0.2023.6.9++_West Pride revision._++* Builds with `optparse-applicative-0.18`.+* Tested with GHC 8.0.2 - 9.6.2.+ ## 0.2023.3.25 * Output `-o` ending in `.md` or `.markdown` now activates `--markdown` format.
agda2lagda.cabal view
@@ -1,7 +1,7 @@ cabal-version: 1.24 name: agda2lagda-version: 0.2023.3.25+version: 0.2023.6.9 synopsis: Translate .agda files into .lagda.tex files. description: Simple command line tool to convert plain Agda@@ -32,9 +32,9 @@ test/golden/*.lagda.tex tested-with:- GHC == 9.6.1- GHC == 9.4.4- GHC == 9.2.7+ GHC == 9.6.2+ GHC == 9.4.5+ GHC == 9.2.8 GHC == 9.0.2 GHC == 8.10.7 GHC == 8.8.4@@ -45,7 +45,7 @@ source-repository head type: git- location: git://github.com/andreasabel/agda2lagda.git+ location: https://github.com/andreasabel/agda2lagda.git executable agda2lagda main-is: Main.hs@@ -60,42 +60,22 @@ -- other-extensions: build-depends: base >=4.9 && < 5- -- , ansi-wl-pprint >= 0.6.7.3 && < 0.7 , directory -- , directory >= 1.2.6.2 && < 1.4 , filepath -- , filepath == 1.4.*- , optparse-applicative- -- , optparse-applicative >= 0.13 && < 0.16+ , optparse-applicative >= 0.13 hs-source-dirs: src default-language: Haskell2010 default-extensions:- -- BangPatterns- -- ConstraintKinds- -- DefaultSignatures- -- DeriveDataTypeable- -- DeriveFoldable DeriveFunctor- -- DeriveTraversable- -- ExistentialQuantification- -- FlexibleContexts- -- FlexibleInstances- -- FunctionalDependencies- -- InstanceSigs LambdaCase- -- MultiParamTypeClasses MultiWayIf- -- NamedFieldPuns- -- OverloadedStrings PatternSynonyms- -- RankNTypes RecordWildCards- -- ScopedTypeVariables- -- StandaloneDeriving TupleSections- -- TypeSynonymInstances ghc-options: -Wall -Wcompat
src/Options.hs view
@@ -13,7 +13,7 @@ import qualified Data.List as List import Options.Applicative-import Options.Applicative.Help.Pretty (vcat, text) -- , (<$$>))+import Options.Applicative.Help.Pretty (vcat, pretty) -- , (<$$>)) import System.Directory (doesDirectoryExist) import System.FilePath@@ -116,7 +116,7 @@ <> hidden <> help "Show just version number." -- Newline at the end:- -- <> helpDoc (Just $ text "Show just version number." <$$> text "")+ -- <> helpDoc (Just $ pretty "Show just version number." <$$> pretty "") programOptions = Options <$> oVerbose@@ -194,7 +194,7 @@ "-" -> Nothing file -> Just file - foot = vcat $ map text $ concat+ foot = vcat $ map pretty $ concat [ [ "Unless explicitly given via -o, the name of the output file is computed by replacing the extension of the input file, according to the following rules:" , "" ] , extensionMap >>= \ (src, (_language, rest)) ->
test/golden/ClosingCommentInString.lagda.md view
@@ -1,4 +1,4 @@-<!-- This file was automatically generated by agda2lagda 0.2023.3.25. -->+<!-- This file was automatically generated by agda2lagda 0.2023.6.9. --> This demonstrates a known issue: The parser is not aware of strings, thus,
test/golden/ClosingCommentInString.lagda.tex view
@@ -1,4 +1,4 @@-%% This file was automatically generated by agda2lagda 0.2023.3.25.+%% This file was automatically generated by agda2lagda 0.2023.6.9. This demonstrates a known issue: The parser is not aware of strings, thus,
test/golden/Foo.lagda.md view
@@ -1,4 +1,4 @@-<!-- This file was automatically generated by agda2lagda 0.2023.3.25. -->+<!-- This file was automatically generated by agda2lagda 0.2023.6.9. --> Sample non-literate Agda program ================================
test/golden/Foo.lagda.tex view
@@ -1,4 +1,4 @@-%% This file was automatically generated by agda2lagda 0.2023.3.25.+%% This file was automatically generated by agda2lagda 0.2023.6.9. \heading{Sample non-literate Agda program}