From 6fd088e3395a871176e023a9ff4dc321a197f06b Mon Sep 17 00:00:00 2001 From: David Nadlinger Date: Sun, 21 Mar 2021 01:46:33 +0000 Subject: [PATCH] test/lit: Fix invalid type inference test This broke after b8cd163978161acca16ea29bdb8b49e0b2d0bc6d, but is invalid code to start with; this would have previously crashed the code generator had the code actually been compiled. (Allowing implicit conversion to bool would be a separate debate.) --- artiq/test/lit/inferencer/unify.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/artiq/test/lit/inferencer/unify.py b/artiq/test/lit/inferencer/unify.py index 8dcb1e423..dcff73487 100644 --- a/artiq/test/lit/inferencer/unify.py +++ b/artiq/test/lit/inferencer/unify.py @@ -33,8 +33,8 @@ j = [] j += [1.0] # CHECK-L: j:list(elt=float) -1 if a else 2 -# CHECK-L: 1:numpy.int? if a:numpy.int? else 2:numpy.int?:numpy.int? +1 if c else 2 +# CHECK-L: 1:numpy.int? if c:bool else 2:numpy.int?:numpy.int? True and False # CHECK-L: True:bool and False:bool:bool