From 89cf93f5f398dac6f00d3be37a6b4cc1818be1bb Mon Sep 17 00:00:00 2001 From: mariari Date: Tue, 30 May 2023 17:21:55 +0800 Subject: [PATCH] V0.3.2 Release The total change set for this release is * User Facing Changes - _Lambda Changes_ - Added an error node so that users can express failure + This is translated into a maybe type internally for now, and affects the compilation downwards. * Bug Fixes - =Gapply= (the interpreter) now works correctly for the BITC in the =SWAP= case. - Fix an issue where higher order functions in the Lambda frontend would generate incorrect logic when extracting to the core category ** Internal - The pipeline extractor now properly takes the input stream given to it - The Vamp-IR extractor function now properly accepts null streams * Internal Changes - A maybe function now exists generically throughout the codebase, allowing one to maybe any object type. See Maybe in the Generics section of the documentation. --- CHANGELOG.org | 18 ++++++++++++++++++ geb.asd | 2 +- 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.org b/CHANGELOG.org index 9de302812..6d3a87ec2 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -1,3 +1,21 @@ +* 0.3.2 +** User Facing Changes +- _Lambda Changes_ + - Added an error node so that users can express failure + + This is translated into a maybe type internally for now, and + affects the compilation downwards. +** Bug Fixes +- =Gapply= (the interpreter) now works correctly for the BITC in the + =SWAP= case. +- Fix an issue where higher order functions in the Lambda frontend + would generate incorrect logic when extracting to the core category +*** Internal +- The pipeline extractor now properly takes the input stream given to it +- The Vamp-IR extractor function now properly accepts null streams +** Internal Changes +- A maybe function now exists generically throughout the codebase, + allowing one to maybe any object type. See Maybe in the Generics + section of the documentation. * 0.3.1 ** Bug Fixes - Lambda to geb should now work, we fixed a bug with how case was diff --git a/geb.asd b/geb.asd index d46ab4f00..5f8705847 100644 --- a/geb.asd +++ b/geb.asd @@ -5,7 +5,7 @@ :cl-reexport :mgl-pax :command-line-arguments) - :version "0.3.1" + :version "0.3.2" :description "Gödel, Escher, Bach, a categorical view of computation" :build-pathname "../build/geb.image" :entry-point "geb.entry::entry"