Re: [Chicken-hackers] [PATCH 2/2] * scrutinizer.scm (refine-types): Add special case for (or pair null) and list-of

2018-10-04 Thread felix . winkelmann
> On Tue, Sep 18, 2018 at 01:01:55PM +0300, megane wrote: > > Hi, > > > > Here's a patch for #1533. The fix itself is pretty simple. > > > > The first patch makes scrutinizer tests give more info when a test > > fails, which makes it faster to figure out these refinement issues. > > Looks good

Re: [Chicken-hackers] [PATCH 2/2] * scrutinizer.scm (refine-types): Add special case for (or pair null) and list-of

2018-09-23 Thread Peter Bex
On Tue, Sep 18, 2018 at 01:01:55PM +0300, megane wrote: > Hi, > > Here's a patch for #1533. The fix itself is pretty simple. > > The first patch makes scrutinizer tests give more info when a test > fails, which makes it faster to figure out these refinement issues. Looks good to me, thanks!

[Chicken-hackers] [PATCH 2/2] * scrutinizer.scm (refine-types): Add special case for (or pair null) and list-of

2018-09-18 Thread megane
Hi, Here's a patch for #1533. The fix itself is pretty simple. The first patch makes scrutinizer tests give more info when a test fails, which makes it faster to figure out these refinement issues. >From 7eca29fcaef8a8465b900c1400118982e58eaa7b Mon Sep 17 00:00:00 2001 From: megane Date: Tue,