[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite
From: |
Evan Hanson |
Subject: |
Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite |
Date: |
Thu, 30 Jun 2016 22:32:15 +1200 |
On 2016-06-30 12:17, address@hidden wrote:
> I didn't compile or run this, but is it possible that "(test ..." is
> missing in the tests above?
Ah, you're correct of course. Those will have nooped because it's
compiled "-analyze-only". And in fact they were spurious since the
"immediate" type is just an alias and that file doesn't resolve those
when comparing types (yet).
Here's a version with those removed.
Thanks for noticing that,
Evan
- [Chicken-hackers] [PATCH 0/5][5] Generalize port directionality and add basic refinement types, Evan Hanson, 2016/06/30
- [Chicken-hackers] [PATCH 2/5] Add input-port-open? and output-port-open? procedures, Evan Hanson, 2016/06/30
- [Chicken-hackers] [PATCH 5/5] Add new `make-bidirectional-port` procedure to ports unit, Evan Hanson, 2016/06/30
- [Chicken-hackers] [PATCH 3/5] Add basic refinement types, Evan Hanson, 2016/06/30
- [Chicken-hackers] [PATCH 1/5] Generalize port directionality, Evan Hanson, 2016/06/30
- [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite, Evan Hanson, 2016/06/30
- Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite, felix . winkelmann, 2016/06/30
- Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite,
Evan Hanson <=
- [Chicken-hackers] [PATCH] Nicer port direction error messages, Evan Hanson, 2016/06/30