From 3bbd2d506a5edaf5656b7d43fe04efa503e25f53 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 2 Nov 2021 16:07:05 +0900 Subject: v0.5.1 --- Changelog.md | 38 +++++++++++++++++++++----------------- Makefile | 6 +++--- 2 files changed, 24 insertions(+), 20 deletions(-) diff --git a/Changelog.md b/Changelog.md index 7016c24..0af5337 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,7 +1,13 @@ -# Changelog +# Change log -## v0.5.0 (released 28 October 2021) -### New features: +### v0.5.1 (released 2 November 2021) +#### Bug Fix +- Terms in which the same name occurs twice, such as `A(x,x)`, can be freed safely by the `free` command. + + + +### v0.5.0 (released 28 October 2021) +#### New features: - **Abbreviation notation**: An abbreviation notation `<<` is introduced. The following description: ``` @@ -44,27 +50,25 @@ ``` - -- ## v0.4.2 (released 16 October 2021) - ### Improved +### v0.4.2 (released 16 October 2021) +#### Improved - Line edit was improved to support multi-line paste, according to the following suggestion: https://github.com/antirez/linenoise/issues/43 - History in Line edit becomes available. - ### Bug Fix +#### Bug Fix - Long length lists are printed out as abbreviation of 14-length lists, though these were printed out as 1-length lists after putting long lists. -## v0.4.1 (released 24 September 2021) - -### Improved +### v0.4.1 (released 24 September 2021) +#### Improved - Line edit is improved so that history can be handled by linenoise: https://github.com/antirez/linenoise - The priority of rules are changed so that user defined rules can be taken before built-in rules. -### Bug Fix +#### Bug Fix - Constants were consumed when they are referred to, but these should be kept and it was fixed as so. @@ -74,9 +78,9 @@ -## v0.4.0 (released 17 September 2021) +### v0.4.0 (released 17 September 2021) -### New Feature: +#### New Feature: - Nested guards are supported. As shown in below, nested guards are supported now: @@ -103,9 +107,9 @@ -## v0.3.2 (released 3 August 2021) +### v0.3.2 (released 3 August 2021) -### New Feature: +#### New Feature: - WHNF strategy is supported with -w option. Weak Head Normal Form strategy is available when the Inpla is invoked with -w option. The following is an execution log: @@ -131,9 +135,9 @@ -## v0.3.1 (released 7 May 2021) +### v0.3.1 (released 7 May 2021) -### New Feature: +#### New Feature: - New notation for the built-in Cons agent, h:t. The built-in Cons agent is also written as h:t, besides [h|t]. For instance, a reverse list operation is written as follows: diff --git a/Makefile b/Makefile index 256b94c..10da355 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ INCLUDE = -I ./src SRC_DIR = ./src OBJ_DIR = ./build TARGET = inpla -OBJS = $(OBJ_DIR)/$(TARGET).tab.c $(OBJ_DIR)/ast.o $(OBJ_DIR)/id_table.o $(OBJ_DIR)/linenoise.o +OBJS = $(OBJ_DIR)/inpla.tab.c $(OBJ_DIR)/ast.o $(OBJ_DIR)/id_table.o $(OBJ_DIR)/linenoise.o #MYOPTION = -DHAND_FIB -DHAND_FIB_INT -DHAND_I_CONS -DHAND_IS_CONS -DHAND_Apnd_CONS -DHAND_Part_CONS -DHAND_Split_CONS -DHAND_MergeCC_CONS -DHAND_B_CONS -DHAND_DUP_S -DHAND_ADD_S -DHAND_ACK_S #MYOPTION = -DHAND_Split_CONS -DHAND_MergeCC_CONS @@ -28,10 +28,10 @@ $(OBJ_DIR)/linenoise.o: $(SRC_DIR)/linenoise/linenoise.c $(OBJ_DIR)/%.o: $(SRC_DIR)/%.c $(CC) $(CFLAGS) $(INCLUDE) -o $@ -c $< -$(OBJ_DIR)/$(TARGET).tab.c : $(SRC_DIR)/$(TARGET).y $(OBJ_DIR)/lex.yy.c +$(OBJ_DIR)/inpla.tab.c : $(SRC_DIR)/inpla.y $(OBJ_DIR)/lex.yy.c bison -o $@ $< -$(OBJ_DIR)/lex.yy.c : $(SRC_DIR)/$(TARGET).l +$(OBJ_DIR)/lex.yy.c : $(SRC_DIR)/lex.l flex -o $@ $^ $(OBJ_DIR): -- cgit v1.2.3