Re: [ANN] CHICKEN 5.2.0 release candidate available

2020-01-14 Thread Peter Bex
On Wed, Jan 15, 2020 at 08:32:05AM +0100, Sven Hartrumpf wrote:
> Hi.
> 
> The RC1 generates uncompilable C code for my Scheme code.
> This code worked for all previous Chicken versions (tested
> today: 5.1.0).
> If I use csc -O3 (-O2 is ok), I get 19 gcc errors, e.g.
> 
> nallch.c:1395027: error: void value not ignored as it ought to be
>  av2[3]=C_rest_arg_out_of_bounds_error(C_fix(0),C_fix(0),C_fix(0));

Hi Sven,

Thanks for reporting.  I'll try to whip up a minimal test case.  Fixing
shouldn't be too hard (though it is a bit annoying; ideally this should
be both noreturn and void).

Cheers,
Peter


signature.asc
Description: PGP signature


Re: [ANN] CHICKEN 5.2.0 release candidate available

2020-01-14 Thread Sven Hartrumpf
Hi.

The RC1 generates uncompilable C code for my Scheme code.
This code worked for all previous Chicken versions (tested
today: 5.1.0).
If I use csc -O3 (-O2 is ok), I get 19 gcc errors, e.g.

nallch.c:1395027: error: void value not ignored as it ought to be
 av2[3]=C_rest_arg_out_of_bounds_error(C_fix(0),C_fix(0),C_fix(0));

If I increase the optimization level to csc -O5, the error changes
because this function call is inlined in the argument position of another
function call, e g.

'gcc-8' 'nallch.c' -o 'nallch.o' -c  -fno-strict-aliasing -fwrapv 
-DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -O1 -march=nehalem 
-I/usr/local/chicken-5.2.0-64/include/chicken
nallch.c: In function f_574889
nallch.c:924744: error: invalid use of void expression
 
f_606388(t2,lf[908],C_rest_arg_out_of_bounds_error(C_fix(0),C_fix(0),C_fix(0)));}

As other C problems in past weeks, it is related to the
optimization of rest args. I like this optimization, but it seems to be more
and more tricky ...

Does anyone have a simple test case for such errors with rest args
when compiling with -O3 or higher?

Ciao
Sven



Re: [ANN] CHICKEN 5.2.0 release candidate available

2020-01-14 Thread Vasilij Schneidermann
Hello,

Operating system: Windows 10 mingw-msys under mingw32
Hardware platform: x86
C Compiler: MinGW.org GCC-8.2.0-5
Installation works?: yes
Tests work?: no
Installation of eggs works?: yes

I've tried the `chicken-install pastiche` check, it fails as expected on 
sql-de-lite.

`make check` log:

C:\Users\schnev\Downloads\chicken-5.2.0rc1>make PLATFORM=mingw-msys 
PREFIX=C:/chicken/ check
cd tests; sh runtests.sh
 repository search path ...
(C:/chicken//lib/chicken/11)
(PASS) (repository-path) contains something by default
 TOTALS:
  1 tests completed in 0.029 seconds
  1 (100.00%) tests passed
  0 (0.00%) tests failed
"C:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/../chicken 
"sample-module.scm" -output-file "sample-module.c" -dynamic -feature 
chicken-compile-shared -verbose -include-path 
C:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/.. -consult-types-file 
../types.db -ignore-repository -emit-import-library sample-module"
generating import library `sample-module.import.scm' for module 
`sample-module' ...
""gcc" "sample-module.c" -o "sample-module.obj" -c  -fno-strict-aliasing 
-fwrapv -DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -Os -DPIC -DC_SHARED 
-IC:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/.. 
-IC:/chicken//include/chicken"
rm sample-module.c
""gcc" "sample-module.obj" -o "sample-module.so" -Wl,--enable-auto-import 
-shared -LC:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/.. 
-LC:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/.. -lchicken -lm -lws2_32"
rm sample-module.obj
(PASS) find-file on #f
(PASS) find-file on string
(PASS) find-file on list
(FAIL) (repository-path) is populated by CHICKEN_REPOSITORY_PATH: expected 
("C:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/.." 
"C:/Users/schnev/Downloads/chicken-5.2.0rc1/tests/test-repository") but got 
("C:\\Users\\schnev\\Downloads\\chicken-5.2.0rc1\\" 
"C:\\Users\\schnev\\Downloads\\chicken-5.2.0rc1\\tests\\test-repository")
(PASS) setting (repository-path) and loading a library
(PASS) Putting garbage in (repository-path)
 TOTALS:
  6 tests completed in 0.051 seconds
  5 (83.33%) tests passed
  1 (16.66%) tests failed
make: *** [check] Error 1

Vasilij


signature.asc
Description: PGP signature


[TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

2020-01-14 Thread Peter Achten

-
    Call for participation
    21st Symposium on Trends in Functional Programming
  tfp2020.org
-

The list of accepted papers is available at 
http://www.cse.chalmers.se/~rjmh/tfp/


The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional 
programming,
taking a broad view of current and future trends in the area. It aspires 
to be

a lively environment for presenting the latest research results, and other
contributions.

* TFP is moving to new winter dates, to provide an FP forum in between the
  annual ICFP events.

* TFP offers a supportive reviewing process designed to help less 
experienced

  authors succeed, with two rounds of review, both before and after the
  symposium itself. Authors have an opportunity to address reviewers' 
concerns

  before final decisions on publication in the proceedings.

* TFP offers two "best paper" awards, the John McCarthy award for best 
paper,

  and the David Turner award for best student paper.

* This year we are particularly excited to co-locate with Lambda Days in
  beautiful Krakow. Lambda Days is a vibrant developer conference with 
hundreds
  of attendees and a lively programme of talks on functional 
programming in
  practice. TFP will be held in the same venue, and participants will 
be able

  to session-hop between the two events.


Important Dates
---

Submission deadline for pre-symposium review:   15th November,    2019  
-- passed --
Submission deadline for draft papers:   10th January, 2020  
-- passed --

Registration (regular): 2nd February,    2020
Registration (late):    13th February,    2020
Symposium dates:    13-14th February, 2020

Visit tfp2020.org for more information.