nanopass 0.0.3.0 → 0.0.3.1

raw patch · 6 files changed

+26/−18 lines, 6 filesdep ~basedep ~containersdep ~megaparsecPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, containers, megaparsec, template-haskell, text

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−1
• nanopass.cabal +14/−11
• src/Language/Nanopass.hs +1/−1
• src/Language/Nanopass/LangDef.hs +1/−1
• src/Language/Nanopass/QQ.hs +2/−2
• src/Language/Nanopass/Xlate.hs +2/−2

@@ -1,6 +1,11 @@ # Revision history for nanopass -## 0.0.3.0 -- YYYY-mm-dd+## 0.0.3.1 -- 2025-11-12++* updated dependency version bounds; now compiles on ghc 9.2 through 9.12+* I am likely to drop support on ghc versions <9.6++## 0.0.3.0 -- 2024-01-08  * Stop generating records for each production.   (This would create partial fields which were a rich source of bugs for clients.)

@@ -1,6 +1,6 @@ cabal-version: 3.0 name: nanopass-version: 0.0.3.0+version: 0.0.3.1 synopsis: Create compilers using small passes and many intermediate representations. description:   Uses Template Haskell to facilitate using a vast number of intermediate representations.@@ -9,8 +9,8 @@      See README.md for more details. category: Language-homepage: https://github.com/edemko/nanopass-bug-reports: https://github.com/edemko/nanopass/issues+homepage: https://github.com/marseillebd/nanopass+bug-reports: https://github.com/marseillebd/nanopass/issues author: Marseille Bounchard maintainer: marseillebd@proton.me copyright: 2022 Marseille Bounchard@@ -21,9 +21,15 @@  source-repository head   type: git-  location: https://github.com/edemko/nanopass+  location: https://github.com/marseillebd/nanopass +common deps+  build-depends:+    , base >=4.11.1 && <4.22+    , template-haskell >=2.18 && <2.24+ library+  import: deps   hs-source-dirs: src   exposed-modules:     Language.Nanopass@@ -38,28 +44,25 @@     Language.Nanopass.QQ     Language.Nanopass.Xlate   build-depends:-    , base >=4.11.1 && <4.19-    , containers >=0.6 && <0.7-    , megaparsec >=9.2 && <9.3+    , containers >=0.6 && <0.9+    , megaparsec >=9.2 && <9.8     , mtl >=2.2 && <2.4     , sexpr-parser >=0.2.2.0 && <0.3-    , template-haskell >=2.18 && <2.21-    , text >=2.0 && <2.1+    , text >=2.0 && <2.2     , pretty-simple >=3.0 && <4.2     , transformers >=0.5.6 && <0.7   default-language: Haskell2010   ghc-options: -Wall -Wpartial-fields -Wunticked-promoted-constructors  executable dumb-nanopass-example+  import: deps   hs-source-dirs: app   main-is: Main.hs   other-modules:     Lang   build-depends:-    , base >=4.11.1 && <4.19     , nanopass     , pretty-simple >=4 && <4.2-    , template-haskell >=2.18 && <2.21     , transformers >=0.5.6 && <0.7   default-language: Haskell2010   ghc-options:

@@ -2,7 +2,7 @@ -- Languages can be created from scratch or by derivation using 'deflang'. -- The tedious parts of a compiler pass (or at least, most passes) can be generated with 'defpass'. ----- More details and examples are given in the [readme](https://github.com/edemko/nanopass/blob/master/README.md).+-- More details and examples are given in the [readme](https://github.com/marseillebd/nanopass/blob/master/README.md). module Language.Nanopass   ( deflang   , defpass

@@ -76,7 +76,7 @@   -- define a type with one nullary ctor for every grammatical type   langInfo <- defineLangHeader l   -- define every nonterminal type-  params <- gets langTyvars <&> \tvs -> tvs <&> \tv -> TH.PlainTV tv ()+  params <- gets langTyvars <&> \tvs -> TH.plainTV <$> tvs   nontermTypeDecs <- forM (Map.elems l.langInfo.nonterms) $ \nonterm -> do     M.lift $ TH.addModFinalizer $ TH.putDoc (TH.DeclDoc nonterm.nontermName.th) $       "This type is a non-terminal of the t'" ++ fromUpName l.langName.name ++ "' language."

@@ -29,7 +29,7 @@ -- The syntax is based on s-expressions. -- -- TODO document the syntax here, or for now you can look in "Nanopass.Internal.Parser"--- More details and examples are given in the [readme](https://github.com/edemko/nanopass/blob/master/README.md).+-- More details and examples are given in the [readme](https://github.com/marseillebd/nanopass/blob/master/README.md). deflang :: QuasiQuoter deflang = QuasiQuoter (bad "expression") (bad "pattern") (bad "type") go   where@@ -84,7 +84,7 @@ -- None of the functions defined by this quasiquoter need to be expoted for Nanopass to function. -- I expect you will not export any of these definitions directly, but instead wrap them into a complete pass, and only export that pass. ----- More details and examples are given in the [readme](https://github.com/edemko/nanopass/blob/master/README.md).+-- More details and examples are given in the [readme](https://github.com/marseillebd/nanopass/blob/master/README.md). -- -- TODO document the syntax here, but for now, see 'parsePass' for a grammar. defpass :: QuasiQuoter

@@ -236,7 +236,7 @@     []   where   xlateName = TH.mkName "Xlate"-  tvs = flip TH.PlainTV () <$> xlateParams x ++ [xlateFParam x]+  tvs = TH.plainTV <$> xlateParams x ++ [xlateFParam x]  declareTypeI :: XlateDef -> Q Dec declareTypeI x = do@@ -276,7 +276,7 @@     []   where   xlateName = TH.mkName "XlateI"-  tvs = flip TH.PlainTV () <$> xlateParams x+  tvs = TH.plainTV <$> xlateParams x  declareXlateLifter :: XlateDef -> Q [Dec] declareXlateLifter x = do