From 8a0551605d27532e985b21c1b18f039d7c327472 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Mon, 4 Nov 2024 16:44:28 +0100 Subject: [PATCH] changelog for 0.1.0.3 (#16) --- CHANGELOG.md | 5 ++++- agda2scala.cabal | 2 +- examples/adts.scala | 17 ----------------- 3 files changed, 5 insertions(+), 19 deletions(-) delete mode 100644 examples/adts.scala diff --git a/CHANGELOG.md b/CHANGELOG.md index b68560b..0988a22 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -13,4 +13,7 @@ * Remove excessive new lines in output Scala file * CI: compile output Scala code using SBT * Refactor: split Scala expressions, printing Scala expressions, compile internal Agda representation to Scala expressions -Ńľľ \ No newline at end of file + +## 0.1.0.3 +* add flag `--scala-dialect=Scala3` and support output for Scala3 +* test generated Scala 2 and Scala 3 code in CI build diff --git a/agda2scala.cabal b/agda2scala.cabal index 0eb2652..6b36601 100644 --- a/agda2scala.cabal +++ b/agda2scala.cabal @@ -6,7 +6,7 @@ name: agda2scala -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change -version: 0.1.0.2 +version: 0.1.0.3 description: Allows to export Scala source files from formal specification in Agda license: MIT license-file: LICENSE diff --git a/examples/adts.scala b/examples/adts.scala deleted file mode 100644 index ab5cd9c..0000000 --- a/examples/adts.scala +++ /dev/null @@ -1,17 +0,0 @@ -object adts { - -sealed trait Rgb -case object Red extends Rgb -case object Green extends Rgb -case object Blue extends Rgb - -sealed trait Bool -case object True extends Bool -case object False extends Bool - -final case class RgbPair(snd: Bool, fst: Rgb) - -def idRgb(theArg: Rgb): Rgb = theArg - -def constRgbPair(rgbArg: Rgb, rgbPairArg: RgbPair): RgbPair = rgbPairArg -}