From bdf17218b78e625f1fac706c3ce4aba84c2aa85a Mon Sep 17 00:00:00 2001 From: sorki Date: Sun, 17 Dec 2023 14:02:38 +0100 Subject: [PATCH 1/3] ivory: add changelog --- ivory/CHANGELOG.md | 60 ++++++++++++++++++++++++++++++++++++++++++++++ ivory/ivory.cabal | 1 + 2 files changed, 61 insertions(+) create mode 100644 ivory/CHANGELOG.md diff --git a/ivory/CHANGELOG.md b/ivory/CHANGELOG.md new file mode 100644 index 00000000..8ffe0b56 --- /dev/null +++ b/ivory/CHANGELOG.md @@ -0,0 +1,60 @@ +TODO: next should be `0.2.0.0`, tag should be `ivory-0.2.0.0` + +# Version [next](https://github.com/distrap/ivory/compare/0.1.0.4...main) (2024-MM-DD) + +Changelog started + +## Breaking changes + +### `IvoryRef` class removed [#12](https://github.com/distrap/ivory/pull/12) + +For migrating +- Remove `IvoryRef r` and `IvoryExpr` contstraints, add `KnownCostancy c` one +- Replace `r s` type with `Pointer 'Valid c s` + +For example: + +```diff +-arrayCopyFromOffset :: ( ANat n, ANat m, IvoryRef r +- , IvoryExpr (r s2 ('Array m ('Stored t))) +- , IvoryExpr (r s2 ('Stored t)) ++arrayCopyFromOffset :: ( ANat n, ANat m, KnownConstancy c + , IvoryStore t + ) + => Ref s1 ('Array n ('Stored t)) +- -> r s2 ('Array m ('Stored t)) ++ -> Pointer 'Valid c s2 ('Array m ('Stored t)) +``` + +## Additions + +### Memory area attribute + +Allows to generate `__attribute__` to memory area definitions. +For example: + +```haskell +setAreaAttributes [ Section ".mySection" ] +``` + +Will generate +```c +extern bool test __attribute__(section(".mySection")); +``` + +### `SafeCast IDouble IFloat` + +Instance added, which allows to downcast +from `IDouble` to `IFloat` safely, with +just a loss of precision. + +### Allow for unticked `:->` type operator [#12](https://github.com/distrap/ivory/pull/12) + +Backwards compatible, all occurences of `':->` can be simply replaced with `:->`. + +--- + +`ivory` uses [PVP Versioning][1]. + +[1]: https://pvp.haskell.org + diff --git a/ivory/ivory.cabal b/ivory/ivory.cabal index e204a48a..e05c1ace 100644 --- a/ivory/ivory.cabal +++ b/ivory/ivory.cabal @@ -10,6 +10,7 @@ homepage: http://ivorylang.org build-type: Simple license: BSD-3-Clause license-file: LICENSE +extra-doc-files: CHANGELOG.md source-repository this type: git location: https://github.com/distrap/ivory From 8d6f6a98ff8eb1247b9516d3325b6fffdcd31b6d Mon Sep 17 00:00:00 2001 From: sorki Date: Sun, 17 Dec 2023 14:04:01 +0100 Subject: [PATCH 2/3] ivory-backend-c: remove TODO.md --- ivory-backend-c/TODO.md | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 ivory-backend-c/TODO.md diff --git a/ivory-backend-c/TODO.md b/ivory-backend-c/TODO.md deleted file mode 100644 index e8a35f3f..00000000 --- a/ivory-backend-c/TODO.md +++ /dev/null @@ -1,5 +0,0 @@ -TODOs -================ - * Add reqs/provides to stabalize. - * Change back loop representations---put idx var inside for block. - * Try Jesse plugin? From 092f6c4ca3bf2a5332c408ee2e200c328cd4c928 Mon Sep 17 00:00:00 2001 From: sorki Date: Sun, 17 Dec 2023 14:08:59 +0100 Subject: [PATCH 3/3] ivory-backend-c: add CHANGELOG.md --- ivory-backend-c/CHANGELOG.md | 19 +++++++++++++++++++ ivory-backend-c/ivory-backend-c.cabal | 1 + 2 files changed, 20 insertions(+) create mode 100644 ivory-backend-c/CHANGELOG.md diff --git a/ivory-backend-c/CHANGELOG.md b/ivory-backend-c/CHANGELOG.md new file mode 100644 index 00000000..191c9c25 --- /dev/null +++ b/ivory-backend-c/CHANGELOG.md @@ -0,0 +1,19 @@ +TODO: next should be `0.2.0.0`, tag should be `ivory-backend-c-0.2.0.0` + +# Version [next](https://github.com/distrap/ivory/compare/0.1.0.4...main) (2024-MM-DD) + +## Fixed wrong order of arugments for `logBase` + +This incorrectly generated `logBase base x = log base / log x` +instead of `logBase base x = log x / log base` + +## Now emits initializer for structs with empty initilizer [#10](https://github.com/distrap/ivory/pull/10/commits/c9c2584b3be75b965780d11ca16121d0274b4083) + +Shaves off a GCC warning by emitting `={0};` for structs with empty initilizer. + +--- + +`ivory-backend-c` uses [PVP Versioning][1]. + +[1]: https://pvp.haskell.org + diff --git a/ivory-backend-c/ivory-backend-c.cabal b/ivory-backend-c/ivory-backend-c.cabal index e8a52e61..d64fce49 100644 --- a/ivory-backend-c/ivory-backend-c.cabal +++ b/ivory-backend-c/ivory-backend-c.cabal @@ -13,6 +13,7 @@ data-files: runtime/ivory.h, runtime/ivory_asserts.h license: BSD-3-Clause license-file: LICENSE +extra-doc-files: CHANGELOG.md source-repository this type: git location: https://github.com/distrap/ivory