[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite
From: |
felix . winkelmann |
Subject: |
Re: [Chicken-hackers] [PATCH 4/5] Add scrutinizer test suite |
Date: |
Thu, 30 Jun 2016 12:17:16 +0200 |
:
> +(test (not (<= cplxnum integer)))
> +(test (= (or fixnum bignum) integer))
> +
> +;;; deprecated
> +
> +(= deprecated deprecated)
> +(! deprecated *)
> +(! (deprecated x) *)
> +(! (deprecated x) deprecated)
> +
> +;;; immediate types
> +
> +(= eof immediate)
> +(< eof immediate)
> +(< null immediate)
> +(< fixnum immediate)
> +(< char immediate)
> +(< boolean immediate)
> +(< true immediate)
> +(< false immediate)
> +(= (or eof null fixnum char boolean) immediate)
> +(! undefined immediate)
> +(! number immediate)
> +(! pair immediate)
> +(! list immediate)
> +
I didn't compile or run this, but is it possible that "(test ..." is missing in
the
tests above?
felix
- [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 <=
- [Chicken-hackers] [PATCH] Nicer port direction error messages, Evan Hanson, 2016/06/30