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

[Christian Kellermann]

* 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 () *)
    #f

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

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.