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. cheers, felix
>From d3fbdc2aac120cf6261863ea07a6f1843411300e Mon Sep 17 00:00:00 2001 From: felix <[email protected]> Date: Wed, 15 Aug 2012 21:34:01 +0200 Subject: [PATCH] Validate type given to ##core#typecase. Type-specifiers given in "##core#typecase"/"compiler-typecase" forms must be validated, as the validation resolved type-aliases created with "define-type". --- compiler.scm | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler.scm b/compiler.scm index 68061e0..9762e3c 100644 --- a/compiler.scm +++ b/compiler.scm @@ -547,7 +547,7 @@ ,(or ln (cadr x)) ,(walk (caddr x) e se #f #f h ln) ,@(map (lambda (cl) - (list (##sys#strip-syntax (car cl)) + (list (validate-type (##sys#strip-syntax (car cl)) #f) (walk (cadr cl) e se dest ldest h ln))) (cdddr x)))) -- 1.7.0.4
_______________________________________________ Chicken-hackers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-hackers
