Re: [Chicken-hackers] [PATCH 5] Fix compiler-typecase trail restore

2018-05-14 Thread Evan Hanson
Good find, thanks megane. Here's a signoff. I refactored it a bit to avoid the `begin' and `set!' inside the cond clause. Could someone have a look at this, please, as well as the signoff for megane's other patch from 30/3 (re: typematch-tests.scm)? Thanks, Evan >From 45499d633b15103d658c2fc319

Re: [Chicken-hackers] [PATCH 5] Fix compiler-typecase trail restore

2018-04-27 Thread megane
One more time. megane writes: > Hi! > I wonder what happened. Maybe now? > > felix.winkelm...@bevuta.com writes: > >>> Hi, >>> >>> Here's a small fix. >>> >> >> Hi! Somehow the patch doesn't seemed to be attached. Can you send it >> again? >> >> >> felix diff --git a/scrutinizer.scm b/scruti

Re: [Chicken-hackers] [PATCH 5] Fix compiler-typecase trail restore

2018-04-27 Thread felix . winkelmann
> Hi, > > Here's a small fix. > Hi! Somehow the patch doesn't seemed to be attached. Can you send it again? felix ___ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers

[Chicken-hackers] [PATCH 5] Fix compiler-typecase trail restore

2018-04-26 Thread megane
Hi, Here's a small fix. Consider this example: (compiler-typecase (list 2 'a) ((forall (x) (list x x)) 1) (else #t)) Trying to compile this causes an error in the compiler: Error: (cdr) bad argument type: #f In this typecase the first case fails (cannot match/unify 2 and 'a). The failed m