[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] validate types in compiler-typecase

From: Christian Kellermann
Subject: Re: [Chicken-hackers] [PATCH] validate types in compiler-typecase
Date: Wed, 15 Aug 2012 22:18:21 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

* felix winkelmann <address@hidden> [120815 21:40]:
> Type-specifiers given in "##core#typecase"/"compiler-typecase"
> forms must be validated, as the validation resolved type-aliases
> created with "define-type".
> Reported by, guess who? megane. Should fix #897.

This fails the scrutiny test for me:

======================================== scrutiny tests ...
../chicken typematch-tests.scm -output-file a.c -verbose -include-path .. 
-specialize -no-warnings

Error: at toplevel:
  (typematch-tests.scm:173) no clause applies in `compiler-typecase' for 
expression of type `(procedure (*) *)':
    (procedure () *)

Error: shell command terminated with non-zero exit status 256: ../chicken 
typematch-tests.scm -output-file a.c -verbose -include-path .. -specialize 

Maybe I have messed up my boot-chicken. But I am too tired atm, could
someone else test this? I will get back to it tomorrow...

Be right back -- Godot.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]