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

[Felix]

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 <address@hidden>
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