From 7d896157151b9c4790d4a6579302f3439180f3b7 Mon Sep 17 00:00:00 2001 From: Pietro Cerutti Date: Mon, 4 Aug 2014 12:04:58 +0000 Subject: [PATCH] - Update to 05_20140803 Changes: * The handling of ctrl-c has been changed to work better under windows. * The runtime of the function intPowOvfChk in int_rtl.c has been reduced to 57% (measured with gcc and valgrind). * The generation of code in the compiler for the action INT_POW has been improved. When the base is a negative power of two the exponentiation is done with a shift instead of a call of intPow (respectively intPowOvfChk). * The overflow checking for INT_POW in the compiler has been improved. When base or exponent is known the overflow checking is done with inline code and intPow is called instead of intPowOvfChk. * Documentation comments have been added to bitsetof.s7i * Tests for ** have been added to chkint.sd7 and chkovf.st7 * The tests for * and *:= in chkovf.st7 have been reorganized. * An interrupt_flag has been introduced in the interpreter. This flag is used for exception handling and for signal handling. Exceptions set interrupt_flag and fail_flag (with the macro set_fail_flag). Signals set only the interrupt_flag (file sigutl.c). The interrupt_flag is handled in exec_action (file exec.c). * The functions signal_name, handle_signals, handle_segv_signal, handle_term_signal and activate_signal_handlers in sigutl.c have been improved. * The functions continue_question, write_curr_position and show_signal in runerr.c have been improved. * The functions handle_int_signal, readChar, doGetcFromTerminal, doGetsFromTerminal, doLineRead, doLineReadFromTerminal, doWordRead, doWordReadFromTerminal, filGetcChkCtrlC, filGetsChkCtrlC, filHasNextChkCtrlC, filLineReadChkCtrlC and filWordReadChkCtrlC have been added to fil_rtl.c. This functions support reading from a terminal with a check for ctrl*c. This functions are used by the interpreter (file intlib.c). * Tracing has been added to functions in int_rtl.c. * Configuration defines for CTRL_C_SENDS_EOF, SIGNAL_HANDLER_CAN_DO_IO and INT64TYPE_NO_SUFFIX_BUT_CAST have been added to makefiles. --- lang/seed7/Makefile | 2 +- lang/seed7/distinfo | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index d6b0670a9953..1ac9d1af064f 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140720 +DISTVERSION= 05_20140803 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 7ff9cac43833..17581619c041 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140720.tgz) = 97a37c09a30dce50c65ba93f5cb66e71c091e7943e91ca7e34adfc3b94c58596 -SIZE (seed7_05_20140720.tgz) = 2208235 +SHA256 (seed7_05_20140803.tgz) = 6b6d3d0a4a88583e2eaa6a18fe355cd985251b55dc852b13a5ca4686e92fcd2b +SIZE (seed7_05_20140803.tgz) = 2216212