/ Hex Artifact Content
Login

Artifact 81dd1897be8ef4b5b73d0006e6076abe40610de3:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  .#**************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 54 68 65 20 66 6f 63 75 73 0a  rary. The focus.
01b0: 23 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69  # of this file i
01c0: 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 69 6e  s testing the in
01d0: 74 65 72 61 63 74 69 6f 6e 20 6f 66 20 6d 61 6e  teraction of man
01e0: 69 66 65 73 74 20 74 79 70 65 73 2c 20 74 79 70  ifest types, typ
01f0: 65 20 61 66 66 69 6e 69 74 79 0a 23 20 61 6e 64  e affinity.# and
0200: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 65 78 70 72   comparison expr
0210: 65 73 73 69 6f 6e 73 2e 0a 23 0a 23 20 24 49 64  essions..#.# $Id
0220: 3a 20 74 79 70 65 73 32 2e 74 65 73 74 2c 76 20  : types2.test,v 
0230: 31 2e 35 20 32 30 30 35 2f 30 31 2f 32 31 20 30  1.5 2005/01/21 0
0240: 33 3a 31 32 3a 31 36 20 64 61 6e 69 65 6c 6b 31  3:12:16 danielk1
0250: 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20 74  977 Exp $..set t
0260: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0270: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0280: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0290: 74 65 72 2e 74 63 6c 0a 0a 23 20 54 65 73 74 73  ter.tcl..# Tests
02a0: 20 69 6e 20 74 68 69 73 20 66 69 6c 65 20 61 72   in this file ar
02b0: 65 20 6f 72 67 61 6e 69 7a 65 64 20 72 6f 75 67  e organized roug
02c0: 68 6c 79 20 61 73 20 66 6f 6c 6c 6f 77 73 3a 0a  hly as follows:.
02d0: 23 0a 23 20 74 79 70 65 73 32 2d 31 2e 2a 3a 20  #.# types2-1.*: 
02e0: 54 68 65 20 27 3d 27 20 6f 70 65 72 61 74 6f 72  The '=' operator
02f0: 20 69 6e 20 74 68 65 20 61 62 73 65 6e 63 65 20   in the absence 
0300: 6f 66 20 61 6e 20 69 6e 64 65 78 2e 0a 23 20 74  of an index..# t
0310: 79 70 65 73 32 2d 32 2e 2a 3a 20 54 68 65 20 27  ypes2-2.*: The '
0320: 3d 27 20 6f 70 65 72 61 74 6f 72 20 69 6d 70 6c  =' operator impl
0330: 65 6d 65 6e 74 65 64 20 75 73 69 6e 67 20 61 6e  emented using an
0340: 20 69 6e 64 65 78 2e 0a 23 20 74 79 70 65 73 32   index..# types2
0350: 2d 33 2e 2a 3a 20 54 68 65 20 27 3c 27 20 6f 70  -3.*: The '<' op
0360: 65 72 61 74 6f 72 20 69 6d 70 6c 65 6d 65 6e 74  erator implement
0370: 65 64 20 75 73 69 6e 67 20 61 6e 20 69 6e 64 65  ed using an inde
0380: 78 2e 0a 23 20 74 79 70 65 73 32 2d 34 2e 2a 3a  x..# types2-4.*:
0390: 20 54 68 65 20 27 3e 27 20 6f 70 65 72 61 74 6f   The '>' operato
03a0: 72 20 69 6e 20 74 68 65 20 61 62 73 65 6e 63 65  r in the absence
03b0: 20 6f 66 20 61 6e 20 69 6e 64 65 78 2e 0a 23 20   of an index..# 
03c0: 74 79 70 65 73 32 2d 35 2e 2a 3a 20 54 68 65 20  types2-5.*: The 
03d0: 27 49 4e 28 78 2c 20 79 2e 2e 2e 29 27 20 6f 70  'IN(x, y...)' op
03e0: 65 72 61 74 6f 72 20 69 6e 20 74 68 65 20 61 62  erator in the ab
03f0: 73 65 6e 63 65 20 6f 66 20 61 6e 20 69 6e 64 65  sence of an inde
0400: 78 2e 0a 23 20 74 79 70 65 73 32 2d 36 2e 2a 3a  x..# types2-6.*:
0410: 20 54 68 65 20 27 49 4e 28 78 2c 20 79 2e 2e 2e   The 'IN(x, y...
0420: 29 27 20 6f 70 65 72 61 74 6f 72 20 77 69 74 68  )' operator with
0430: 20 61 6e 20 69 6e 64 65 78 2e 0a 23 20 74 79 70   an index..# typ
0440: 65 73 32 2d 37 2e 2a 3a 20 54 68 65 20 27 49 4e  es2-7.*: The 'IN
0450: 28 53 45 4c 45 43 54 2e 2e 2e 29 27 20 6f 70 65  (SELECT...)' ope
0460: 72 61 74 6f 72 20 69 6e 20 74 68 65 20 61 62 73  rator in the abs
0470: 65 6e 63 65 20 6f 66 20 61 6e 20 69 6e 64 65 78  ence of an index
0480: 2e 0a 23 20 74 79 70 65 73 32 2d 38 2e 2a 3a 20  ..# types2-8.*: 
0490: 54 68 65 20 27 49 4e 28 53 45 4c 45 43 54 2e 2e  The 'IN(SELECT..
04a0: 2e 29 27 20 6f 70 65 72 61 74 6f 72 20 77 69 74  .)' operator wit
04b0: 68 20 61 6e 20 69 6e 64 65 78 2e 0a 23 0a 23 20  h an index..#.# 
04c0: 41 6c 6c 20 74 65 73 74 73 20 74 65 73 74 20 74  All tests test t
04d0: 68 65 20 6f 70 65 72 61 74 6f 72 73 20 75 73 69  he operators usi
04e0: 6e 67 20 6c 69 74 65 72 61 6c 73 20 61 6e 64 20  ng literals and 
04f0: 63 6f 6c 75 6d 6e 73 2c 20 62 75 74 20 6e 6f 0a  columns, but no.
0500: 23 20 6f 74 68 65 72 20 74 79 70 65 73 20 6f 66  # other types of
0510: 20 65 78 70 72 65 73 73 69 6f 6e 73 2e 20 41 6c   expressions. Al
0520: 6c 20 65 78 70 72 65 73 73 69 6f 6e 73 20 65 78  l expressions ex
0530: 63 65 70 74 20 63 6f 6c 75 6d 6e 73 20 61 72 65  cept columns are
0540: 0a 23 20 68 61 6e 64 6c 65 64 20 73 69 6d 69 6c  .# handled simil
0550: 61 72 6c 79 20 69 6e 20 74 68 65 20 69 6d 70 6c  arly in the impl
0560: 65 6d 65 6e 74 61 74 69 6f 6e 2e 0a 0a 65 78 65  ementation...exe
0570: 63 73 71 6c 20 7b 0a 20 20 43 52 45 41 54 45 20  csql {.  CREATE 
0580: 54 41 42 4c 45 20 74 31 28 0a 20 20 20 20 69 31  TABLE t1(.    i1
0590: 20 49 4e 54 45 47 45 52 2c 0a 20 20 20 20 69 32   INTEGER,.    i2
05a0: 20 49 4e 54 45 47 45 52 2c 0a 20 20 20 20 6e 31   INTEGER,.    n1
05b0: 20 4e 55 4d 45 52 49 43 2c 0a 20 20 20 20 6e 32   NUMERIC,.    n2
05c0: 20 4e 55 4d 45 52 49 43 2c 0a 20 20 20 20 74 31   NUMERIC,.    t1
05d0: 20 54 45 58 54 2c 0a 20 20 20 20 74 32 20 54 45   TEXT,.    t2 TE
05e0: 58 54 2c 0a 20 20 20 20 6f 31 20 42 4c 4f 42 2c  XT,.    o1 BLOB,
05f0: 0a 20 20 20 20 6f 32 20 42 4c 4f 42 0a 20 20 29  .    o2 BLOB.  )
0600: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
0610: 74 31 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 4e  t1 VALUES(NULL,N
0620: 55 4c 4c 2c 4e 55 4c 4c 2c 4e 55 4c 4c 2c 4e 55  ULL,NULL,NULL,NU
0630: 4c 4c 2c 4e 55 4c 4c 2c 4e 55 4c 4c 2c 4e 55 4c  LL,NULL,NULL,NUL
0640: 4c 29 3b 0a 7d 0a 0a 70 72 6f 63 20 74 65 73 74  L);.}..proc test
0650: 5f 62 6f 6f 6c 20 7b 74 65 73 74 6e 61 6d 65 20  _bool {testname 
0660: 76 61 72 73 20 65 78 70 72 20 72 65 73 7d 20 7b  vars expr res} {
0670: 0a 20 20 69 66 20 7b 20 24 76 61 72 73 20 21 3d  .  if { $vars !=
0680: 20 22 22 20 7d 20 7b 0a 20 20 20 20 65 78 65 63   "" } {.    exec
0690: 73 71 6c 20 22 55 50 44 41 54 45 20 74 31 20 53  sql "UPDATE t1 S
06a0: 45 54 20 24 76 61 72 73 22 0a 20 20 7d 0a 0a 20  ET $vars".  }.. 
06b0: 20 66 6f 72 65 61 63 68 20 7b 74 20 65 20 72 7d   foreach {t e r}
06c0: 20 5b 6c 69 73 74 20 24 74 65 73 74 6e 61 6d 65   [list $testname
06d0: 20 24 65 78 70 72 20 24 72 65 73 5d 20 7b 7d 0a   $expr $res] {}.
06e0: 0a 20 20 64 6f 5f 74 65 73 74 20 24 74 2e 31 20  .  do_test $t.1 
06f0: 22 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54  "execsql {SELECT
0700: 20 24 65 20 46 52 4f 4d 20 74 31 7d 22 20 24 72   $e FROM t1}" $r
0710: 0a 20 20 64 6f 5f 74 65 73 74 20 24 74 2e 32 20  .  do_test $t.2 
0720: 22 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54  "execsql {SELECT
0730: 20 31 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   1 FROM t1 WHERE
0740: 20 24 65 78 70 72 7d 22 20 5b 65 78 70 72 20 24   $expr}" [expr $
0750: 72 3f 22 31 22 3a 22 22 5d 0a 20 20 64 6f 5f 74  r?"1":""].  do_t
0760: 65 73 74 20 24 74 2e 33 20 22 65 78 65 63 73 71  est $t.3 "execsq
0770: 6c 20 7b 53 45 4c 45 43 54 20 31 20 46 52 4f 4d  l {SELECT 1 FROM
0780: 20 74 31 20 57 48 45 52 45 20 4e 4f 54 20 28 24   t1 WHERE NOT ($
0790: 65 29 7d 22 20 5b 65 78 70 72 20 24 72 3f 22 22  e)}" [expr $r?""
07a0: 3a 22 31 22 5d 0a 7d 0a 0a 23 20 43 6f 6d 70 61  :"1"].}..# Compa
07b0: 72 65 20 6c 69 74 65 72 61 6c 73 20 61 67 61 69  re literals agai
07c0: 6e 73 74 20 6c 69 74 65 72 61 6c 73 2e 20 54 68  nst literals. Th
07d0: 69 73 20 73 68 6f 75 6c 64 20 61 6c 77 61 79 73  is should always
07e0: 20 75 73 65 20 61 20 6e 75 6d 65 72 69 63 0a 23   use a numeric.#
07f0: 20 63 6f 6d 70 61 72 69 73 6f 6e 2e 0a 23 0a 23   comparison..#.#
0800: 20 43 68 61 6e 67 65 64 20 62 79 20 74 69 63 6b   Changed by tick
0810: 65 74 20 23 38 30 35 3a 20 20 55 73 65 20 6e 6f  et #805:  Use no
0820: 20 61 66 66 69 6e 69 74 79 20 66 6f 72 20 6c 69   affinity for li
0830: 74 65 72 61 6c 20 63 6f 6d 70 61 72 69 73 6f 6e  teral comparison
0840: 73 2e 0a 23 0a 74 65 73 74 5f 62 6f 6f 6c 20 74  s..#.test_bool t
0850: 79 70 65 73 32 2d 31 2e 31 20 22 22 20 7b 35 30  ypes2-1.1 "" {50
0860: 30 20 3d 20 35 30 30 2e 30 7d 20 31 0a 74 65 73  0 = 500.0} 1.tes
0870: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e  t_bool types2-1.
0880: 32 20 22 22 20 7b 27 35 30 30 27 20 3d 20 35 30  2 "" {'500' = 50
0890: 30 2e 30 7d 20 30 0a 74 65 73 74 5f 62 6f 6f 6c  0.0} 0.test_bool
08a0: 20 74 79 70 65 73 32 2d 31 2e 33 20 22 22 20 7b   types2-1.3 "" {
08b0: 35 30 30 20 3d 20 27 35 30 30 2e 30 27 7d 20 30  500 = '500.0'} 0
08c0: 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73  .test_bool types
08d0: 32 2d 31 2e 34 20 22 22 20 7b 27 35 30 30 27 20  2-1.4 "" {'500' 
08e0: 3d 20 27 35 30 30 2e 30 27 7d 20 30 0a 0a 23 20  = '500.0'} 0..# 
08f0: 43 6f 6d 70 61 72 65 20 6c 69 74 65 72 61 6c 73  Compare literals
0900: 20 61 67 61 69 6e 73 74 20 61 20 63 6f 6c 75 6d   against a colum
0910: 6e 20 77 69 74 68 20 54 45 58 54 20 61 66 66 69  n with TEXT affi
0920: 6e 69 74 79 0a 74 65 73 74 5f 62 6f 6f 6c 20 74  nity.test_bool t
0930: 79 70 65 73 32 2d 31 2e 35 20 7b 74 31 3d 35 30  ypes2-1.5 {t1=50
0940: 30 7d 20 7b 35 30 30 20 3d 20 74 31 7d 20 31 0a  0} {500 = t1} 1.
0950: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
0960: 2d 31 2e 36 20 7b 74 31 3d 35 30 30 7d 20 7b 27  -1.6 {t1=500} {'
0970: 35 30 30 27 20 3d 20 74 31 7d 20 31 0a 74 65 73  500' = t1} 1.tes
0980: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e  t_bool types2-1.
0990: 37 20 7b 74 31 3d 35 30 30 7d 20 7b 35 30 30 2e  7 {t1=500} {500.
09a0: 30 20 3d 20 74 31 7d 20 30 0a 74 65 73 74 5f 62  0 = t1} 0.test_b
09b0: 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e 38 20 7b  ool types2-1.8 {
09c0: 74 31 3d 35 30 30 7d 20 7b 27 35 30 30 2e 30 27  t1=500} {'500.0'
09d0: 20 3d 20 74 31 7d 20 30 0a 74 65 73 74 5f 62 6f   = t1} 0.test_bo
09e0: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 39 20 7b 74  ol types2-1.9 {t
09f0: 31 3d 27 35 30 30 27 7d 20 7b 35 30 30 20 3d 20  1='500'} {500 = 
0a00: 74 31 7d 20 31 0a 74 65 73 74 5f 62 6f 6f 6c 20  t1} 1.test_bool 
0a10: 74 79 70 65 73 32 2d 31 2e 31 30 20 7b 74 31 3d  types2-1.10 {t1=
0a20: 27 35 30 30 27 7d 20 7b 27 35 30 30 27 20 3d 20  '500'} {'500' = 
0a30: 74 31 7d 20 31 0a 74 65 73 74 5f 62 6f 6f 6c 20  t1} 1.test_bool 
0a40: 74 79 70 65 73 32 2d 31 2e 31 31 20 7b 74 31 3d  types2-1.11 {t1=
0a50: 27 35 30 30 27 7d 20 7b 35 30 30 2e 30 20 3d 20  '500'} {500.0 = 
0a60: 74 31 7d 20 30 0a 74 65 73 74 5f 62 6f 6f 6c 20  t1} 0.test_bool 
0a70: 74 79 70 65 73 32 2d 31 2e 31 32 20 7b 74 31 3d  types2-1.12 {t1=
0a80: 27 35 30 30 27 7d 20 7b 27 35 30 30 2e 30 27 20  '500'} {'500.0' 
0a90: 3d 20 74 31 7d 20 30 0a 0a 23 20 43 6f 6d 70 61  = t1} 0..# Compa
0aa0: 72 65 20 6c 69 74 65 72 61 6c 73 20 61 67 61 69  re literals agai
0ab0: 6e 73 74 20 61 20 63 6f 6c 75 6d 6e 20 77 69 74  nst a column wit
0ac0: 68 20 4e 55 4d 45 52 49 43 20 61 66 66 69 6e 69  h NUMERIC affini
0ad0: 74 79 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70  ty.test_bool typ
0ae0: 65 73 32 2d 31 2e 31 33 20 7b 6e 31 3d 35 30 30  es2-1.13 {n1=500
0af0: 7d 20 7b 35 30 30 20 3d 20 6e 31 7d 20 31 0a 74  } {500 = n1} 1.t
0b00: 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d  est_bool types2-
0b10: 31 2e 31 34 20 7b 6e 31 3d 35 30 30 7d 20 7b 27  1.14 {n1=500} {'
0b20: 35 30 30 27 20 3d 20 6e 31 7d 20 31 0a 74 65 73  500' = n1} 1.tes
0b30: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e  t_bool types2-1.
0b40: 31 35 20 7b 6e 31 3d 35 30 30 7d 20 7b 35 30 30  15 {n1=500} {500
0b50: 2e 30 20 3d 20 6e 31 7d 20 31 0a 74 65 73 74 5f  .0 = n1} 1.test_
0b60: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e 31 36  bool types2-1.16
0b70: 20 7b 6e 31 3d 35 30 30 7d 20 7b 27 35 30 30 2e   {n1=500} {'500.
0b80: 30 27 20 3d 20 6e 31 7d 20 31 0a 74 65 73 74 5f  0' = n1} 1.test_
0b90: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e 31 37  bool types2-1.17
0ba0: 20 7b 6e 31 3d 27 35 30 30 27 7d 20 7b 35 30 30   {n1='500'} {500
0bb0: 20 3d 20 6e 31 7d 20 31 0a 74 65 73 74 5f 62 6f   = n1} 1.test_bo
0bc0: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 31 38 20 7b  ol types2-1.18 {
0bd0: 6e 31 3d 27 35 30 30 27 7d 20 7b 27 35 30 30 27  n1='500'} {'500'
0be0: 20 3d 20 6e 31 7d 20 31 0a 74 65 73 74 5f 62 6f   = n1} 1.test_bo
0bf0: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 31 39 20 7b  ol types2-1.19 {
0c00: 6e 31 3d 27 35 30 30 27 7d 20 7b 35 30 30 2e 30  n1='500'} {500.0
0c10: 20 3d 20 6e 31 7d 20 31 0a 74 65 73 74 5f 62 6f   = n1} 1.test_bo
0c20: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 30 20 7b  ol types2-1.20 {
0c30: 6e 31 3d 27 35 30 30 27 7d 20 7b 27 35 30 30 2e  n1='500'} {'500.
0c40: 30 27 20 3d 20 6e 31 7d 20 31 0a 0a 23 20 43 6f  0' = n1} 1..# Co
0c50: 6d 70 61 72 65 20 6c 69 74 65 72 61 6c 73 20 61  mpare literals a
0c60: 67 61 69 6e 73 74 20 61 20 63 6f 6c 75 6d 6e 20  gainst a column 
0c70: 77 69 74 68 20 61 66 66 69 6e 69 74 79 20 4e 4f  with affinity NO
0c80: 4e 45 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70  NE.test_bool typ
0c90: 65 73 32 2d 31 2e 32 31 20 7b 6f 31 3d 35 30 30  es2-1.21 {o1=500
0ca0: 7d 20 7b 35 30 30 20 3d 20 6f 31 7d 20 31 0a 74  } {500 = o1} 1.t
0cb0: 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d  est_bool types2-
0cc0: 31 2e 32 32 20 7b 6f 31 3d 35 30 30 7d 20 7b 27  1.22 {o1=500} {'
0cd0: 35 30 30 27 20 3d 20 6f 31 7d 20 30 0a 74 65 73  500' = o1} 0.tes
0ce0: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e  t_bool types2-1.
0cf0: 32 33 20 7b 6f 31 3d 35 30 30 7d 20 7b 35 30 30  23 {o1=500} {500
0d00: 2e 30 20 3d 20 6f 31 7d 20 31 0a 74 65 73 74 5f  .0 = o1} 1.test_
0d10: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 34  bool types2-1.24
0d20: 20 7b 6f 31 3d 35 30 30 7d 20 7b 27 35 30 30 2e   {o1=500} {'500.
0d30: 30 27 20 3d 20 6f 31 7d 20 30 0a 74 65 73 74 5f  0' = o1} 0.test_
0d40: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 35  bool types2-1.25
0d50: 20 7b 6f 31 3d 27 35 30 30 27 7d 20 7b 35 30 30   {o1='500'} {500
0d60: 20 3d 20 6f 31 7d 20 30 0a 74 65 73 74 5f 62 6f   = o1} 0.test_bo
0d70: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 36 20 7b  ol types2-1.26 {
0d80: 6f 31 3d 27 35 30 30 27 7d 20 7b 27 35 30 30 27  o1='500'} {'500'
0d90: 20 3d 20 6f 31 7d 20 31 0a 74 65 73 74 5f 62 6f   = o1} 1.test_bo
0da0: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 37 20 7b  ol types2-1.27 {
0db0: 6f 31 3d 27 35 30 30 27 7d 20 7b 35 30 30 2e 30  o1='500'} {500.0
0dc0: 20 3d 20 6f 31 7d 20 30 0a 74 65 73 74 5f 62 6f   = o1} 0.test_bo
0dd0: 6f 6c 20 74 79 70 65 73 32 2d 31 2e 32 38 20 7b  ol types2-1.28 {
0de0: 6f 31 3d 27 35 30 30 27 7d 20 7b 27 35 30 30 2e  o1='500'} {'500.
0df0: 30 27 20 3d 20 6f 31 7d 20 30 0a 0a 73 65 74 20  0' = o1} 0..set 
0e00: 76 61 6c 73 20 5b 6c 69 73 74 20 31 30 20 31 30  vals [list 10 10
0e10: 2e 30 20 27 31 30 27 20 27 31 30 2e 30 27 20 32  .0 '10' '10.0' 2
0e20: 30 20 32 30 2e 30 20 27 32 30 27 20 27 32 30 2e  0 20.0 '20' '20.
0e30: 30 27 20 33 30 20 33 30 2e 30 20 27 33 30 27 20  0' 30 30.0 '30' 
0e40: 27 33 30 2e 30 27 5d 0a 23 20 20 20 20 20 20 20  '30.0'].#       
0e50: 20 20 20 20 20 20 20 31 20 20 32 20 20 20 20 33         1  2    3
0e60: 20 20 20 20 34 20 20 20 20 20 20 35 20 20 36 20      4      5  6 
0e70: 20 20 20 37 20 20 20 20 38 20 20 20 20 20 20 39     7    8      9
0e80: 20 20 31 30 20 20 20 31 31 20 20 20 31 32 0a 0a    10   11   12..
0e90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 43 52 45 41  execsql {.  CREA
0ea0: 54 45 20 54 41 42 4c 45 20 74 32 28 69 20 49 4e  TE TABLE t2(i IN
0eb0: 54 45 47 45 52 2c 20 6e 20 4e 55 4d 45 52 49 43  TEGER, n NUMERIC
0ec0: 2c 20 74 20 54 45 58 54 2c 20 6f 20 58 42 4c 4f  , t TEXT, o XBLO
0ed0: 42 59 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e  BY);.  CREATE IN
0ee0: 44 45 58 20 74 32 69 31 20 4f 4e 20 74 32 28 69  DEX t2i1 ON t2(i
0ef0: 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45  );.  CREATE INDE
0f00: 58 20 74 32 69 32 20 4f 4e 20 74 32 28 6e 29 3b  X t2i2 ON t2(n);
0f10: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
0f20: 74 32 69 33 20 4f 4e 20 74 32 28 74 29 3b 0a 20  t2i3 ON t2(t);. 
0f30: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 32   CREATE INDEX t2
0f40: 69 34 20 4f 4e 20 74 32 28 6f 29 3b 0a 7d 0a 66  i4 ON t2(o);.}.f
0f50: 6f 72 65 61 63 68 20 76 20 24 76 61 6c 73 20 7b  oreach v $vals {
0f60: 0a 20 20 65 78 65 63 73 71 6c 20 22 49 4e 53 45  .  execsql "INSE
0f70: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
0f80: 53 28 24 76 2c 20 24 76 2c 20 24 76 2c 20 24 76  S($v, $v, $v, $v
0f90: 29 3b 22 0a 7d 0a 0a 70 72 6f 63 20 74 65 73 74  );".}..proc test
0fa0: 5f 62 6f 6f 6c 73 65 74 20 7b 74 65 73 74 6e 61  _boolset {testna
0fb0: 6d 65 20 77 68 65 72 65 20 73 65 74 7d 20 7b 0a  me where set} {.
0fc0: 20 20 73 65 74 20 3a 3a 74 62 5f 73 71 6c 20 22    set ::tb_sql "
0fd0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0fe0: 4d 20 74 32 20 57 48 45 52 45 20 24 77 68 65 72  M t2 WHERE $wher
0ff0: 65 22 0a 20 20 64 6f 5f 74 65 73 74 20 24 74 65  e".  do_test $te
1000: 73 74 6e 61 6d 65 20 7b 0a 20 20 20 20 6c 73 6f  stname {.    lso
1010: 72 74 20 2d 69 6e 74 65 67 65 72 20 5b 65 78 65  rt -integer [exe
1020: 63 73 71 6c 20 24 3a 3a 74 62 5f 73 71 6c 5d 0a  csql $::tb_sql].
1030: 20 20 7d 20 24 73 65 74 0a 7d 0a 0a 74 65 73 74    } $set.}..test
1040: 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d  _boolset types2-
1050: 32 2e 31 20 7b 69 20 3d 20 31 30 7d 20 7b 31 20  2.1 {i = 10} {1 
1060: 32 20 33 20 34 7d 0a 74 65 73 74 5f 62 6f 6f 6c  2 3 4}.test_bool
1070: 73 65 74 20 74 79 70 65 73 32 2d 32 2e 32 20 7b  set types2-2.2 {
1080: 69 20 3d 20 31 30 2e 30 7d 20 7b 31 20 32 20 33  i = 10.0} {1 2 3
1090: 20 34 7d 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74   4}.test_boolset
10a0: 20 74 79 70 65 73 32 2d 32 2e 33 20 7b 69 20 3d   types2-2.3 {i =
10b0: 20 27 31 30 27 7d 20 7b 31 20 32 20 33 20 34 7d   '10'} {1 2 3 4}
10c0: 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79  .test_boolset ty
10d0: 70 65 73 32 2d 32 2e 34 20 7b 69 20 3d 20 27 31  pes2-2.4 {i = '1
10e0: 30 2e 30 27 7d 20 7b 31 20 32 20 33 20 34 7d 0a  0.0'} {1 2 3 4}.
10f0: 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79  .test_boolset ty
1100: 70 65 73 32 2d 32 2e 35 20 7b 6e 20 3d 20 32 30  pes2-2.5 {n = 20
1110: 7d 20 7b 35 20 36 20 37 20 38 7d 0a 74 65 73 74  } {5 6 7 8}.test
1120: 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d  _boolset types2-
1130: 32 2e 36 20 7b 6e 20 3d 20 32 30 2e 30 7d 20 7b  2.6 {n = 20.0} {
1140: 35 20 36 20 37 20 38 7d 0a 74 65 73 74 5f 62 6f  5 6 7 8}.test_bo
1150: 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 32 2e 37  olset types2-2.7
1160: 20 7b 6e 20 3d 20 27 32 30 27 7d 20 7b 35 20 36   {n = '20'} {5 6
1170: 20 37 20 38 7d 0a 74 65 73 74 5f 62 6f 6f 6c 73   7 8}.test_bools
1180: 65 74 20 74 79 70 65 73 32 2d 32 2e 38 20 7b 6e  et types2-2.8 {n
1190: 20 3d 20 27 32 30 2e 30 27 7d 20 7b 35 20 36 20   = '20.0'} {5 6 
11a0: 37 20 38 7d 0a 0a 74 65 73 74 5f 62 6f 6f 6c 73  7 8}..test_bools
11b0: 65 74 20 74 79 70 65 73 32 2d 32 2e 39 20 7b 74  et types2-2.9 {t
11c0: 20 3d 20 32 30 7d 20 7b 35 20 37 7d 0a 74 65 73   = 20} {5 7}.tes
11d0: 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32  t_boolset types2
11e0: 2d 32 2e 31 30 20 7b 74 20 3d 20 32 30 2e 30 7d  -2.10 {t = 20.0}
11f0: 20 7b 36 20 38 7d 0a 74 65 73 74 5f 62 6f 6f 6c   {6 8}.test_bool
1200: 73 65 74 20 74 79 70 65 73 32 2d 32 2e 31 31 20  set types2-2.11 
1210: 7b 74 20 3d 20 27 32 30 27 7d 20 7b 35 20 37 7d  {t = '20'} {5 7}
1220: 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79  .test_boolset ty
1230: 70 65 73 32 2d 32 2e 31 32 20 7b 74 20 3d 20 27  pes2-2.12 {t = '
1240: 32 30 2e 30 27 7d 20 7b 36 20 38 7d 0a 0a 74 65  20.0'} {6 8}..te
1250: 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73  st_boolset types
1260: 32 2d 32 2e 31 30 20 7b 6f 20 3d 20 33 30 7d 20  2-2.10 {o = 30} 
1270: 7b 39 20 31 30 7d 0a 74 65 73 74 5f 62 6f 6f 6c  {9 10}.test_bool
1280: 73 65 74 20 74 79 70 65 73 32 2d 32 2e 31 31 20  set types2-2.11 
1290: 7b 6f 20 3d 20 33 30 2e 30 7d 20 7b 39 20 31 30  {o = 30.0} {9 10
12a0: 7d 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74  }.test_boolset t
12b0: 79 70 65 73 32 2d 32 2e 31 32 20 7b 6f 20 3d 20  ypes2-2.12 {o = 
12c0: 27 33 30 27 7d 20 31 31 0a 74 65 73 74 5f 62 6f  '30'} 11.test_bo
12d0: 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 32 2e 31  olset types2-2.1
12e0: 33 20 7b 6f 20 3d 20 27 33 30 2e 30 27 7d 20 31  3 {o = '30.0'} 1
12f0: 32 0a 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20  2..test_boolset 
1300: 74 79 70 65 73 32 2d 33 2e 31 20 7b 69 20 3c 20  types2-3.1 {i < 
1310: 32 30 7d 20 7b 31 20 32 20 33 20 34 7d 0a 74 65  20} {1 2 3 4}.te
1320: 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73  st_boolset types
1330: 32 2d 33 2e 32 20 7b 69 20 3c 20 32 30 2e 30 7d  2-3.2 {i < 20.0}
1340: 20 7b 31 20 32 20 33 20 34 7d 0a 74 65 73 74 5f   {1 2 3 4}.test_
1350: 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 33  boolset types2-3
1360: 2e 33 20 7b 69 20 3c 20 27 32 30 27 7d 20 7b 31  .3 {i < '20'} {1
1370: 20 32 20 33 20 34 7d 0a 74 65 73 74 5f 62 6f 6f   2 3 4}.test_boo
1380: 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e 34 20  lset types2-3.4 
1390: 7b 69 20 3c 20 27 32 30 2e 30 27 7d 20 7b 31 20  {i < '20.0'} {1 
13a0: 32 20 33 20 34 7d 0a 0a 74 65 73 74 5f 62 6f 6f  2 3 4}..test_boo
13b0: 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e 31 20  lset types2-3.1 
13c0: 7b 6e 20 3c 20 32 30 7d 20 7b 31 20 32 20 33 20  {n < 20} {1 2 3 
13d0: 34 7d 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20  4}.test_boolset 
13e0: 74 79 70 65 73 32 2d 33 2e 32 20 7b 6e 20 3c 20  types2-3.2 {n < 
13f0: 32 30 2e 30 7d 20 7b 31 20 32 20 33 20 34 7d 0a  20.0} {1 2 3 4}.
1400: 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70  test_boolset typ
1410: 65 73 32 2d 33 2e 33 20 7b 6e 20 3c 20 27 32 30  es2-3.3 {n < '20
1420: 27 7d 20 7b 31 20 32 20 33 20 34 7d 0a 74 65 73  '} {1 2 3 4}.tes
1430: 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32  t_boolset types2
1440: 2d 33 2e 34 20 7b 6e 20 3c 20 27 32 30 2e 30 27  -3.4 {n < '20.0'
1450: 7d 20 7b 31 20 32 20 33 20 34 7d 0a 0a 74 65 73  } {1 2 3 4}..tes
1460: 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32  t_boolset types2
1470: 2d 33 2e 31 20 7b 74 20 3c 20 32 30 7d 20 7b 31  -3.1 {t < 20} {1
1480: 20 32 20 33 20 34 7d 0a 74 65 73 74 5f 62 6f 6f   2 3 4}.test_boo
1490: 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e 32 20  lset types2-3.2 
14a0: 7b 74 20 3c 20 32 30 2e 30 7d 20 7b 31 20 32 20  {t < 20.0} {1 2 
14b0: 33 20 34 20 35 20 37 7d 0a 74 65 73 74 5f 62 6f  3 4 5 7}.test_bo
14c0: 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e 33  olset types2-3.3
14d0: 20 7b 74 20 3c 20 27 32 30 27 7d 20 7b 31 20 32   {t < '20'} {1 2
14e0: 20 33 20 34 7d 0a 74 65 73 74 5f 62 6f 6f 6c 73   3 4}.test_bools
14f0: 65 74 20 74 79 70 65 73 32 2d 33 2e 34 20 7b 74  et types2-3.4 {t
1500: 20 3c 20 27 32 30 2e 30 27 7d 20 7b 31 20 32 20   < '20.0'} {1 2 
1510: 33 20 34 20 35 20 37 7d 0a 0a 74 65 73 74 5f 62  3 4 5 7}..test_b
1520: 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e  oolset types2-3.
1530: 31 20 7b 6f 20 3c 20 32 30 7d 20 7b 31 20 32 7d  1 {o < 20} {1 2}
1540: 0a 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79  .test_boolset ty
1550: 70 65 73 32 2d 33 2e 32 20 7b 6f 20 3c 20 32 30  pes2-3.2 {o < 20
1560: 2e 30 7d 20 7b 31 20 32 7d 0a 74 65 73 74 5f 62  .0} {1 2}.test_b
1570: 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 33 2e  oolset types2-3.
1580: 33 20 7b 6f 20 3c 20 27 32 30 27 7d 20 7b 31 20  3 {o < '20'} {1 
1590: 32 20 33 20 34 20 35 20 36 20 39 20 31 30 7d 0a  2 3 4 5 6 9 10}.
15a0: 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70  test_boolset typ
15b0: 65 73 32 2d 33 2e 33 20 7b 6f 20 3c 20 27 32 30  es2-3.3 {o < '20
15c0: 2e 30 27 7d 20 7b 31 20 32 20 33 20 34 20 35 20  .0'} {1 2 3 4 5 
15d0: 36 20 37 20 39 20 31 30 7d 0a 0a 23 20 43 6f 6d  6 7 9 10}..# Com
15e0: 70 61 72 65 20 6c 69 74 65 72 61 6c 73 20 61 67  pare literals ag
15f0: 61 69 6e 73 74 20 6c 69 74 65 72 61 6c 73 20 28  ainst literals (
1600: 61 6c 77 61 79 73 20 61 20 6e 75 6d 65 72 69 63  always a numeric
1610: 20 63 6f 6d 70 61 72 69 73 6f 6e 29 2e 0a 23 20   comparison)..# 
1620: 43 68 61 6e 67 65 20 28 62 79 20 74 69 63 6b 65  Change (by ticke
1630: 74 20 23 38 30 35 29 3a 20 20 4e 6f 20 61 66 66  t #805):  No aff
1640: 69 6e 69 74 79 20 69 6e 20 63 6f 6d 70 61 72 69  inity in compari
1650: 73 6f 6e 73 0a 74 65 73 74 5f 62 6f 6f 6c 20 74  sons.test_bool t
1660: 79 70 65 73 32 2d 34 2e 31 20 22 22 20 7b 35 30  ypes2-4.1 "" {50
1670: 30 20 3e 20 36 30 2e 30 7d 20 31 0a 74 65 73 74  0 > 60.0} 1.test
1680: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 32  _bool types2-4.2
1690: 20 22 22 20 7b 27 35 30 30 27 20 3e 20 36 30 2e   "" {'500' > 60.
16a0: 30 7d 20 31 0a 74 65 73 74 5f 62 6f 6f 6c 20 74  0} 1.test_bool t
16b0: 79 70 65 73 32 2d 34 2e 33 20 22 22 20 7b 35 30  ypes2-4.3 "" {50
16c0: 30 20 3e 20 27 36 30 2e 30 27 7d 20 30 0a 74 65  0 > '60.0'} 0.te
16d0: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
16e0: 2e 34 20 22 22 20 7b 27 35 30 30 27 20 3e 20 27  .4 "" {'500' > '
16f0: 36 30 2e 30 27 7d 20 30 0a 0a 23 20 43 6f 6d 70  60.0'} 0..# Comp
1700: 61 72 65 20 6c 69 74 65 72 61 6c 73 20 61 67 61  are literals aga
1710: 69 6e 73 74 20 61 20 63 6f 6c 75 6d 6e 20 77 69  inst a column wi
1720: 74 68 20 54 45 58 54 20 61 66 66 69 6e 69 74 79  th TEXT affinity
1730: 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73  .test_bool types
1740: 32 2d 34 2e 35 20 7b 74 31 3d 35 30 30 2e 30 7d  2-4.5 {t1=500.0}
1750: 20 7b 74 31 20 3e 20 35 30 30 7d 20 31 0a 74 65   {t1 > 500} 1.te
1760: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
1770: 2e 36 20 7b 74 31 3d 35 30 30 2e 30 7d 20 7b 74  .6 {t1=500.0} {t
1780: 31 20 3e 20 27 35 30 30 27 20 7d 20 31 0a 74 65  1 > '500' } 1.te
1790: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
17a0: 2e 37 20 7b 74 31 3d 35 30 30 2e 30 7d 20 7b 74  .7 {t1=500.0} {t
17b0: 31 20 3e 20 35 30 30 2e 30 20 7d 20 30 0a 74 65  1 > 500.0 } 0.te
17c0: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
17d0: 2e 38 20 7b 74 31 3d 35 30 30 2e 30 7d 20 7b 74  .8 {t1=500.0} {t
17e0: 31 20 3e 20 27 35 30 30 2e 30 27 20 7d 20 30 0a  1 > '500.0' } 0.
17f0: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
1800: 2d 34 2e 39 20 7b 74 31 3d 27 35 30 30 2e 30 27  -4.9 {t1='500.0'
1810: 7d 20 7b 74 31 20 3e 20 35 30 30 20 7d 20 31 0a  } {t1 > 500 } 1.
1820: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
1830: 2d 34 2e 31 30 20 7b 74 31 3d 27 35 30 30 2e 30  -4.10 {t1='500.0
1840: 27 7d 20 7b 74 31 20 3e 20 27 35 30 30 27 20 7d  '} {t1 > '500' }
1850: 20 31 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70   1.test_bool typ
1860: 65 73 32 2d 34 2e 31 31 20 7b 74 31 3d 27 35 30  es2-4.11 {t1='50
1870: 30 2e 30 27 7d 20 7b 74 31 20 3e 20 35 30 30 2e  0.0'} {t1 > 500.
1880: 30 20 7d 20 30 0a 74 65 73 74 5f 62 6f 6f 6c 20  0 } 0.test_bool 
1890: 74 79 70 65 73 32 2d 34 2e 31 32 20 7b 74 31 3d  types2-4.12 {t1=
18a0: 27 35 30 30 2e 30 27 7d 20 7b 74 31 20 3e 20 27  '500.0'} {t1 > '
18b0: 35 30 30 2e 30 27 20 7d 20 30 0a 0a 23 20 43 6f  500.0' } 0..# Co
18c0: 6d 70 61 72 65 20 6c 69 74 65 72 61 6c 73 20 61  mpare literals a
18d0: 67 61 69 6e 73 74 20 61 20 63 6f 6c 75 6d 6e 20  gainst a column 
18e0: 77 69 74 68 20 4e 55 4d 45 52 49 43 20 61 66 66  with NUMERIC aff
18f0: 69 6e 69 74 79 0a 74 65 73 74 5f 62 6f 6f 6c 20  inity.test_bool 
1900: 74 79 70 65 73 32 2d 34 2e 31 33 20 7b 6e 31 3d  types2-4.13 {n1=
1910: 34 30 30 7d 20 7b 35 30 30 20 3e 20 6e 31 7d 20  400} {500 > n1} 
1920: 31 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65  1.test_bool type
1930: 73 32 2d 34 2e 31 34 20 7b 6e 31 3d 34 30 30 7d  s2-4.14 {n1=400}
1940: 20 7b 27 35 30 30 27 20 3e 20 6e 31 7d 20 31 0a   {'500' > n1} 1.
1950: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
1960: 2d 34 2e 31 35 20 7b 6e 31 3d 34 30 30 7d 20 7b  -4.15 {n1=400} {
1970: 35 30 30 2e 30 20 3e 20 6e 31 7d 20 31 0a 74 65  500.0 > n1} 1.te
1980: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
1990: 2e 31 36 20 7b 6e 31 3d 34 30 30 7d 20 7b 27 35  .16 {n1=400} {'5
19a0: 30 30 2e 30 27 20 3e 20 6e 31 7d 20 31 0a 74 65  00.0' > n1} 1.te
19b0: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
19c0: 2e 31 37 20 7b 6e 31 3d 27 34 30 30 27 7d 20 7b  .17 {n1='400'} {
19d0: 35 30 30 20 3e 20 6e 31 7d 20 31 0a 74 65 73 74  500 > n1} 1.test
19e0: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 31  _bool types2-4.1
19f0: 38 20 7b 6e 31 3d 27 34 30 30 27 7d 20 7b 27 35  8 {n1='400'} {'5
1a00: 30 30 27 20 3e 20 6e 31 7d 20 31 0a 74 65 73 74  00' > n1} 1.test
1a10: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 31  _bool types2-4.1
1a20: 39 20 7b 6e 31 3d 27 34 30 30 27 7d 20 7b 35 30  9 {n1='400'} {50
1a30: 30 2e 30 20 3e 20 6e 31 7d 20 31 0a 74 65 73 74  0.0 > n1} 1.test
1a40: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 32  _bool types2-4.2
1a50: 30 20 7b 6e 31 3d 27 34 30 30 27 7d 20 7b 27 35  0 {n1='400'} {'5
1a60: 30 30 2e 30 27 20 3e 20 6e 31 7d 20 31 0a 0a 23  00.0' > n1} 1..#
1a70: 20 43 6f 6d 70 61 72 65 20 6c 69 74 65 72 61 6c   Compare literal
1a80: 73 20 61 67 61 69 6e 73 74 20 61 20 63 6f 6c 75  s against a colu
1a90: 6d 6e 20 77 69 74 68 20 61 66 66 69 6e 69 74 79  mn with affinity
1aa0: 20 4e 4f 4e 45 0a 74 65 73 74 5f 62 6f 6f 6c 20   NONE.test_bool 
1ab0: 74 79 70 65 73 32 2d 34 2e 32 31 20 7b 6f 31 3d  types2-4.21 {o1=
1ac0: 35 30 30 7d 20 7b 35 30 30 20 3e 20 6f 31 7d 20  500} {500 > o1} 
1ad0: 30 0a 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65  0.test_bool type
1ae0: 73 32 2d 34 2e 32 32 20 7b 6f 31 3d 35 30 30 7d  s2-4.22 {o1=500}
1af0: 20 7b 27 35 30 30 27 20 3e 20 6f 31 7d 20 31 0a   {'500' > o1} 1.
1b00: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
1b10: 2d 34 2e 32 33 20 7b 6f 31 3d 35 30 30 7d 20 7b  -4.23 {o1=500} {
1b20: 35 30 30 2e 30 20 3e 20 6f 31 7d 20 30 0a 74 65  500.0 > o1} 0.te
1b30: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
1b40: 2e 32 34 20 7b 6f 31 3d 35 30 30 7d 20 7b 27 35  .24 {o1=500} {'5
1b50: 30 30 2e 30 27 20 3e 20 6f 31 7d 20 31 0a 74 65  00.0' > o1} 1.te
1b60: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34  st_bool types2-4
1b70: 2e 32 35 20 7b 6f 31 3d 27 35 30 30 27 7d 20 7b  .25 {o1='500'} {
1b80: 35 30 30 20 3e 20 6f 31 7d 20 30 0a 74 65 73 74  500 > o1} 0.test
1b90: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 32  _bool types2-4.2
1ba0: 36 20 7b 6f 31 3d 27 35 30 30 27 7d 20 7b 27 35  6 {o1='500'} {'5
1bb0: 30 30 27 20 3e 20 6f 31 7d 20 30 0a 74 65 73 74  00' > o1} 0.test
1bc0: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 32  _bool types2-4.2
1bd0: 37 20 7b 6f 31 3d 27 35 30 30 27 7d 20 7b 35 30  7 {o1='500'} {50
1be0: 30 2e 30 20 3e 20 6f 31 7d 20 30 0a 74 65 73 74  0.0 > o1} 0.test
1bf0: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 34 2e 32  _bool types2-4.2
1c00: 38 20 7b 6f 31 3d 27 35 30 30 27 7d 20 7b 27 35  8 {o1='500'} {'5
1c10: 30 30 2e 30 27 20 3e 20 6f 31 7d 20 31 0a 0a 69  00.0' > o1} 1..i
1c20: 66 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72  fcapable subquer
1c30: 79 20 7b 0a 20 20 23 20 74 79 70 65 73 32 2d 35  y {.  # types2-5
1c40: 2e 2a 20 2d 20 54 68 65 20 27 49 4e 20 28 78 2c  .* - The 'IN (x,
1c50: 20 79 2e 2e 2e 2e 29 27 20 6f 70 65 72 61 74 6f   y....)' operato
1c60: 72 20 77 69 74 68 20 6e 6f 20 69 6e 64 65 78 2e  r with no index.
1c70: 0a 20 20 23 20 0a 20 20 23 20 43 6f 6d 70 61 72  .  # .  # Compar
1c80: 65 20 6c 69 74 65 72 61 6c 73 20 61 67 61 69 6e  e literals again
1c90: 73 74 20 6c 69 74 65 72 61 6c 73 20 28 61 6c 77  st literals (alw
1ca0: 61 79 73 20 61 20 6e 75 6d 65 72 69 63 20 63 6f  ays a numeric co
1cb0: 6d 70 61 72 69 73 6f 6e 29 2e 0a 20 20 74 65 73  mparison)..  tes
1cc0: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e  t_bool types2-5.
1cd0: 31 20 7b 7d 20 7b 28 4e 55 4c 4c 20 49 4e 20 28  1 {} {(NULL IN (
1ce0: 27 31 30 2e 30 27 2c 20 32 30 29 29 20 49 53 4e  '10.0', 20)) ISN
1cf0: 55 4c 4c 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f  ULL} 1.  test_bo
1d00: 6f 6c 20 74 79 70 65 73 32 2d 35 2e 32 20 7b 7d  ol types2-5.2 {}
1d10: 20 7b 31 30 20 49 4e 20 28 27 31 30 2e 30 27 2c   {10 IN ('10.0',
1d20: 20 32 30 29 7d 20 31 0a 20 20 74 65 73 74 5f 62   20)} 1.  test_b
1d30: 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 33 20 7b  ool types2-5.3 {
1d40: 7d 20 7b 27 31 30 27 20 49 4e 20 28 27 31 30 2e  } {'10' IN ('10.
1d50: 30 27 2c 20 32 30 29 7d 20 31 0a 20 20 74 65 73  0', 20)} 1.  tes
1d60: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e  t_bool types2-5.
1d70: 34 20 7b 7d 20 7b 31 30 20 49 4e 20 28 31 30 2e  4 {} {10 IN (10.
1d80: 30 2c 20 32 30 29 7d 20 31 0a 20 20 74 65 73 74  0, 20)} 1.  test
1d90: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 35  _bool types2-5.5
1da0: 20 7b 7d 20 7b 27 31 30 2e 30 27 20 49 4e 20 28   {} {'10.0' IN (
1db0: 31 30 2c 20 32 30 29 7d 20 31 0a 20 20 0a 20 20  10, 20)} 1.  .  
1dc0: 23 20 43 6f 6d 70 61 72 65 20 6c 69 74 65 72 61  # Compare litera
1dd0: 6c 73 20 61 67 61 69 6e 73 74 20 61 20 63 6f 6c  ls against a col
1de0: 75 6d 6e 20 77 69 74 68 20 54 45 58 54 20 61 66  umn with TEXT af
1df0: 66 69 6e 69 74 79 0a 20 20 74 65 73 74 5f 62 6f  finity.  test_bo
1e00: 6f 6c 20 74 79 70 65 73 32 2d 35 2e 36 20 7b 74  ol types2-5.6 {t
1e10: 31 3d 27 31 30 2e 30 27 7d 20 7b 74 31 20 49 4e  1='10.0'} {t1 IN
1e20: 20 28 31 30 2e 30 2c 20 32 30 29 7d 20 31 0a 20   (10.0, 20)} 1. 
1e30: 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73   test_bool types
1e40: 32 2d 35 2e 37 20 7b 74 31 3d 27 31 30 2e 30 27  2-5.7 {t1='10.0'
1e50: 7d 20 7b 74 31 20 49 4e 20 28 31 30 2c 20 32 30  } {t1 IN (10, 20
1e60: 29 7d 20 30 0a 20 20 74 65 73 74 5f 62 6f 6f 6c  )} 0.  test_bool
1e70: 20 74 79 70 65 73 32 2d 35 2e 38 20 7b 74 31 3d   types2-5.8 {t1=
1e80: 27 31 30 27 7d 20 7b 74 31 20 49 4e 20 28 31 30  '10'} {t1 IN (10
1e90: 2e 30 2c 20 32 30 29 7d 20 30 0a 20 20 74 65 73  .0, 20)} 0.  tes
1ea0: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e  t_bool types2-5.
1eb0: 39 20 7b 74 31 3d 27 31 30 27 7d 20 7b 74 31 20  9 {t1='10'} {t1 
1ec0: 49 4e 20 28 32 30 2c 20 27 31 30 2e 30 27 29 7d  IN (20, '10.0')}
1ed0: 20 30 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74   0.  test_bool t
1ee0: 79 70 65 73 32 2d 35 2e 31 30 20 7b 74 31 3d 31  ypes2-5.10 {t1=1
1ef0: 30 7d 20 7b 74 31 20 49 4e 20 28 32 30 2c 20 27  0} {t1 IN (20, '
1f00: 31 30 27 29 7d 20 31 0a 20 20 0a 20 20 23 20 43  10')} 1.  .  # C
1f10: 6f 6d 70 61 72 65 20 6c 69 74 65 72 61 6c 73 20  ompare literals 
1f20: 61 67 61 69 6e 73 74 20 61 20 63 6f 6c 75 6d 6e  against a column
1f30: 20 77 69 74 68 20 4e 55 4d 45 52 49 43 20 61 66   with NUMERIC af
1f40: 66 69 6e 69 74 79 0a 20 20 74 65 73 74 5f 62 6f  finity.  test_bo
1f50: 6f 6c 20 74 79 70 65 73 32 2d 35 2e 31 31 20 7b  ol types2-5.11 {
1f60: 6e 31 3d 27 31 30 2e 30 27 7d 20 7b 6e 31 20 49  n1='10.0'} {n1 I
1f70: 4e 20 28 31 30 2e 30 2c 20 32 30 29 7d 20 31 0a  N (10.0, 20)} 1.
1f80: 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65    test_bool type
1f90: 73 32 2d 35 2e 31 32 20 7b 6e 31 3d 27 31 30 2e  s2-5.12 {n1='10.
1fa0: 30 27 7d 20 7b 6e 31 20 49 4e 20 28 31 30 2c 20  0'} {n1 IN (10, 
1fb0: 32 30 29 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f  20)} 1.  test_bo
1fc0: 6f 6c 20 74 79 70 65 73 32 2d 35 2e 31 33 20 7b  ol types2-5.13 {
1fd0: 6e 31 3d 27 31 30 27 7d 20 7b 6e 31 20 49 4e 20  n1='10'} {n1 IN 
1fe0: 28 31 30 2e 30 2c 20 32 30 29 7d 20 31 0a 20 20  (10.0, 20)} 1.  
1ff0: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
2000: 2d 35 2e 31 34 20 7b 6e 31 3d 27 31 30 27 7d 20  -5.14 {n1='10'} 
2010: 7b 6e 31 20 49 4e 20 28 32 30 2c 20 27 31 30 2e  {n1 IN (20, '10.
2020: 30 27 29 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f  0')} 1.  test_bo
2030: 6f 6c 20 74 79 70 65 73 32 2d 35 2e 31 35 20 7b  ol types2-5.15 {
2040: 6e 31 3d 31 30 7d 20 7b 6e 31 20 49 4e 20 28 32  n1=10} {n1 IN (2
2050: 30 2c 20 27 31 30 27 29 7d 20 31 0a 20 20 0a 20  0, '10')} 1.  . 
2060: 20 23 20 43 6f 6d 70 61 72 65 20 6c 69 74 65 72   # Compare liter
2070: 61 6c 73 20 61 67 61 69 6e 73 74 20 61 20 63 6f  als against a co
2080: 6c 75 6d 6e 20 77 69 74 68 20 61 66 66 69 6e 69  lumn with affini
2090: 74 79 20 4e 4f 4e 45 0a 20 20 74 65 73 74 5f 62  ty NONE.  test_b
20a0: 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 31 36 20  ool types2-5.16 
20b0: 7b 6f 31 3d 27 31 30 2e 30 27 7d 20 7b 6f 31 20  {o1='10.0'} {o1 
20c0: 49 4e 20 28 31 30 2e 30 2c 20 32 30 29 7d 20 30  IN (10.0, 20)} 0
20d0: 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70  .  test_bool typ
20e0: 65 73 32 2d 35 2e 31 37 20 7b 6f 31 3d 27 31 30  es2-5.17 {o1='10
20f0: 2e 30 27 7d 20 7b 6f 31 20 49 4e 20 28 31 30 2c  .0'} {o1 IN (10,
2100: 20 32 30 29 7d 20 30 0a 20 20 74 65 73 74 5f 62   20)} 0.  test_b
2110: 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 31 38 20  ool types2-5.18 
2120: 7b 6f 31 3d 27 31 30 27 7d 20 7b 6f 31 20 49 4e  {o1='10'} {o1 IN
2130: 20 28 31 30 2e 30 2c 20 32 30 29 7d 20 30 0a 20   (10.0, 20)} 0. 
2140: 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73   test_bool types
2150: 32 2d 35 2e 31 39 20 7b 6f 31 3d 27 31 30 27 7d  2-5.19 {o1='10'}
2160: 20 7b 6f 31 20 49 4e 20 28 32 30 2c 20 27 31 30   {o1 IN (20, '10
2170: 2e 30 27 29 7d 20 30 0a 20 20 74 65 73 74 5f 62  .0')} 0.  test_b
2180: 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 32 30 20  ool types2-5.20 
2190: 7b 6f 31 3d 31 30 7d 20 7b 6f 31 20 49 4e 20 28  {o1=10} {o1 IN (
21a0: 32 30 2c 20 27 31 30 27 29 7d 20 30 0a 20 20 74  20, '10')} 0.  t
21b0: 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d  est_bool types2-
21c0: 35 2e 32 31 20 7b 6f 31 3d 27 31 30 2e 30 27 7d  5.21 {o1='10.0'}
21d0: 20 7b 6f 31 20 49 4e 20 28 31 30 2c 20 32 30 2c   {o1 IN (10, 20,
21e0: 20 27 31 30 2e 30 27 29 7d 20 31 0a 20 20 74 65   '10.0')} 1.  te
21f0: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35  st_bool types2-5
2200: 2e 32 32 20 7b 6f 31 3d 27 31 30 27 7d 20 7b 6f  .22 {o1='10'} {o
2210: 31 20 49 4e 20 28 31 30 2e 30 2c 20 32 30 2c 20  1 IN (10.0, 20, 
2220: 27 31 30 27 29 7d 20 31 0a 20 20 74 65 73 74 5f  '10')} 1.  test_
2230: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 35 2e 32 33  bool types2-5.23
2240: 20 7b 6f 31 3d 31 30 7d 20 7b 6e 31 20 49 4e 20   {o1=10} {n1 IN 
2250: 28 32 30 2c 20 27 31 30 27 2c 20 31 30 29 7d 20  (20, '10', 10)} 
2260: 31 0a 7d 0a 0a 23 20 54 65 73 74 73 20 6e 61 6d  1.}..# Tests nam
2270: 65 64 20 74 79 70 65 73 32 2d 36 2e 2a 20 75 73  ed types2-6.* us
2280: 65 20 74 68 65 20 73 61 6d 65 20 69 6e 66 72 61  e the same infra
2290: 73 74 72 75 63 74 75 72 65 20 61 73 20 74 68 65  structure as the
22a0: 20 74 79 70 65 73 32 2d 32 2e 2a 0a 23 20 74 65   types2-2.*.# te
22b0: 73 74 73 2e 20 54 68 65 20 63 6f 6e 74 65 6e 74  sts. The content
22c0: 73 20 6f 66 20 74 68 65 20 76 61 6c 73 20 61 72  s of the vals ar
22d0: 72 61 79 20 69 73 20 72 65 70 65 61 74 65 64 20  ray is repeated 
22e0: 68 65 72 65 20 66 6f 72 20 65 61 73 79 20 0a 23  here for easy .#
22f0: 20 72 65 66 65 72 65 6e 63 65 2e 0a 23 20 0a 23   reference..# .#
2300: 20 73 65 74 20 76 61 6c 73 20 5b 6c 69 73 74 20   set vals [list 
2310: 31 30 20 31 30 2e 30 20 27 31 30 27 20 27 31 30  10 10.0 '10' '10
2320: 2e 30 27 20 32 30 20 32 30 2e 30 20 27 32 30 27  .0' 20 20.0 '20'
2330: 20 27 32 30 2e 30 27 20 33 30 20 33 30 2e 30 20   '20.0' 30 30.0 
2340: 27 33 30 27 20 27 33 30 2e 30 27 5d 0a 23 20 20  '30' '30.0'].#  
2350: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31 20                1 
2360: 20 32 20 20 20 20 33 20 20 20 20 34 20 20 20 20   2    3    4    
2370: 20 20 35 20 20 36 20 20 20 20 37 20 20 20 20 38    5  6    7    8
2380: 20 20 20 20 20 20 39 20 20 31 30 20 20 20 31 31        9  10   11
2390: 20 20 20 31 32 0a 0a 69 66 63 61 70 61 62 6c 65     12..ifcapable
23a0: 20 73 75 62 71 75 65 72 79 20 7b 0a 20 20 74 65   subquery {.  te
23b0: 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73  st_boolset types
23c0: 32 2d 36 2e 31 20 7b 6f 20 49 4e 20 28 27 31 30  2-6.1 {o IN ('10
23d0: 27 2c 20 33 30 29 7d 20 7b 33 20 39 20 31 30 7d  ', 30)} {3 9 10}
23e0: 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20  .  test_boolset 
23f0: 74 79 70 65 73 32 2d 36 2e 32 20 7b 6f 20 49 4e  types2-6.2 {o IN
2400: 20 28 32 30 2e 30 2c 20 33 30 2e 30 29 7d 20 7b   (20.0, 30.0)} {
2410: 35 20 36 20 39 20 31 30 7d 0a 20 20 74 65 73 74  5 6 9 10}.  test
2420: 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d  _boolset types2-
2430: 36 2e 33 20 7b 74 20 49 4e 20 28 27 31 30 27 2c  6.3 {t IN ('10',
2440: 20 33 30 29 7d 20 7b 31 20 33 20 39 20 31 31 7d   30)} {1 3 9 11}
2450: 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20  .  test_boolset 
2460: 74 79 70 65 73 32 2d 36 2e 34 20 7b 74 20 49 4e  types2-6.4 {t IN
2470: 20 28 32 30 2e 30 2c 20 33 30 2e 30 29 7d 20 7b   (20.0, 30.0)} {
2480: 36 20 38 20 31 30 20 31 32 7d 0a 20 20 74 65 73  6 8 10 12}.  tes
2490: 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32  t_boolset types2
24a0: 2d 36 2e 35 20 7b 6e 20 49 4e 20 28 27 31 30 27  -6.5 {n IN ('10'
24b0: 2c 20 33 30 29 7d 20 7b 31 20 32 20 33 20 34 20  , 30)} {1 2 3 4 
24c0: 39 20 31 30 20 31 31 20 31 32 7d 0a 20 20 74 65  9 10 11 12}.  te
24d0: 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73  st_boolset types
24e0: 32 2d 36 2e 36 20 7b 6e 20 49 4e 20 28 32 30 2e  2-6.6 {n IN (20.
24f0: 30 2c 20 33 30 2e 30 29 7d 20 7b 35 20 36 20 37  0, 30.0)} {5 6 7
2500: 20 38 20 39 20 31 30 20 31 31 20 31 32 7d 0a 20   8 9 10 11 12}. 
2510: 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79   test_boolset ty
2520: 70 65 73 32 2d 36 2e 37 20 7b 69 20 49 4e 20 28  pes2-6.7 {i IN (
2530: 27 31 30 27 2c 20 33 30 29 7d 20 7b 31 20 32 20  '10', 30)} {1 2 
2540: 33 20 34 20 39 20 31 30 20 31 31 20 31 32 7d 0a  3 4 9 10 11 12}.
2550: 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74    test_boolset t
2560: 79 70 65 73 32 2d 36 2e 38 20 7b 69 20 49 4e 20  ypes2-6.8 {i IN 
2570: 28 32 30 2e 30 2c 20 33 30 2e 30 29 7d 20 7b 35  (20.0, 30.0)} {5
2580: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
2590: 32 7d 0a 0a 20 20 23 20 41 6c 73 6f 20 74 65 73  2}..  # Also tes
25a0: 74 20 74 68 61 6e 20 49 4e 28 78 2c 20 79 2c 20  t than IN(x, y, 
25b0: 7a 29 20 77 6f 72 6b 73 20 6f 6e 20 61 20 72 6f  z) works on a ro
25c0: 77 69 64 3a 0a 20 20 74 65 73 74 5f 62 6f 6f 6c  wid:.  test_bool
25d0: 73 65 74 20 74 79 70 65 73 32 2d 36 2e 39 20 7b  set types2-6.9 {
25e0: 72 6f 77 69 64 20 49 4e 20 28 31 2c 20 36 2c 20  rowid IN (1, 6, 
25f0: 31 30 29 7d 20 7b 31 20 36 20 31 30 7d 0a 7d 0a  10)} {1 6 10}.}.
2600: 0a 23 20 54 65 73 74 73 20 74 79 70 65 73 32 2d  .# Tests types2-
2610: 37 2e 2a 20 63 6f 6e 63 65 6e 74 72 61 74 65 20  7.* concentrate 
2620: 6f 6e 20 65 78 70 72 65 73 73 69 6f 6e 73 20 6f  on expressions o
2630: 66 20 74 68 65 20 66 6f 72 6d 20 0a 23 20 22 78  f the form .# "x
2640: 20 49 4e 20 28 53 45 4c 45 43 54 2e 2e 2e 29 22   IN (SELECT...)"
2650: 20 77 69 74 68 20 6e 6f 20 69 6e 64 65 78 2e 0a   with no index..
2660: 65 78 65 63 73 71 6c 20 7b 0a 20 20 43 52 45 41  execsql {.  CREA
2670: 54 45 20 54 41 42 4c 45 20 74 33 28 69 20 49 4e  TE TABLE t3(i IN
2680: 54 45 47 45 52 2c 20 6e 20 4e 55 4d 45 52 49 43  TEGER, n NUMERIC
2690: 2c 20 74 20 54 45 58 54 2c 20 6f 20 42 4c 4f 42  , t TEXT, o BLOB
26a0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
26b0: 20 74 33 20 56 41 4c 55 45 53 28 31 2c 20 31 2c   t3 VALUES(1, 1,
26c0: 20 31 2c 20 31 29 3b 0a 20 20 49 4e 53 45 52 54   1, 1);.  INSERT
26d0: 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28   INTO t3 VALUES(
26e0: 32 2c 20 32 2c 20 32 2c 20 32 29 3b 0a 20 20 49  2, 2, 2, 2);.  I
26f0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
2700: 4c 55 45 53 28 33 2c 20 33 2c 20 33 2c 20 33 29  LUES(3, 3, 3, 3)
2710: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
2720: 74 33 20 56 41 4c 55 45 53 28 27 31 27 2c 20 27  t3 VALUES('1', '
2730: 31 27 2c 20 27 31 27 2c 20 27 31 27 29 3b 0a 20  1', '1', '1');. 
2740: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
2750: 56 41 4c 55 45 53 28 27 31 2e 30 27 2c 20 27 31  VALUES('1.0', '1
2760: 2e 30 27 2c 20 27 31 2e 30 27 2c 20 27 31 2e 30  .0', '1.0', '1.0
2770: 27 29 3b 0a 7d 0a 0a 69 66 63 61 70 61 62 6c 65  ');.}..ifcapable
2780: 20 73 75 62 71 75 65 72 79 20 7b 0a 20 20 74 65   subquery {.  te
2790: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37  st_bool types2-7
27a0: 2e 31 20 7b 69 31 3d 31 7d 20 7b 69 31 20 49 4e  .1 {i1=1} {i1 IN
27b0: 20 28 53 45 4c 45 43 54 20 69 20 46 52 4f 4d 20   (SELECT i FROM 
27c0: 74 33 29 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f  t3)} 1.  test_bo
27d0: 6f 6c 20 74 79 70 65 73 32 2d 37 2e 32 20 7b 69  ol types2-7.2 {i
27e0: 31 3d 27 32 2e 30 27 7d 20 7b 69 31 20 49 4e 20  1='2.0'} {i1 IN 
27f0: 28 53 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 74  (SELECT i FROM t
2800: 33 29 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f 6f  3)} 1.  test_boo
2810: 6c 20 74 79 70 65 73 32 2d 37 2e 33 20 7b 69 31  l types2-7.3 {i1
2820: 3d 27 32 2e 30 27 7d 20 7b 69 31 20 49 4e 20 28  ='2.0'} {i1 IN (
2830: 53 45 4c 45 43 54 20 6e 20 46 52 4f 4d 20 74 33  SELECT n FROM t3
2840: 29 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f 6f 6c  )} 1.  test_bool
2850: 20 74 79 70 65 73 32 2d 37 2e 34 20 7b 69 31 3d   types2-7.4 {i1=
2860: 27 32 2e 30 27 7d 20 7b 69 31 20 49 4e 20 28 53  '2.0'} {i1 IN (S
2870: 45 4c 45 43 54 20 74 20 46 52 4f 4d 20 74 33 29  ELECT t FROM t3)
2880: 7d 20 31 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 20  } 1.  test_bool 
2890: 74 79 70 65 73 32 2d 37 2e 35 20 7b 69 31 3d 27  types2-7.5 {i1='
28a0: 32 2e 30 27 7d 20 7b 69 31 20 49 4e 20 28 53 45  2.0'} {i1 IN (SE
28b0: 4c 45 43 54 20 6f 20 46 52 4f 4d 20 74 33 29 7d  LECT o FROM t3)}
28c0: 20 31 0a 20 20 0a 20 20 74 65 73 74 5f 62 6f 6f   1.  .  test_boo
28d0: 6c 20 74 79 70 65 73 32 2d 37 2e 36 20 7b 6e 31  l types2-7.6 {n1
28e0: 3d 31 7d 20 7b 6e 31 20 49 4e 20 28 53 45 4c 45  =1} {n1 IN (SELE
28f0: 43 54 20 6e 20 46 52 4f 4d 20 74 33 29 7d 20 31  CT n FROM t3)} 1
2900: 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70  .  test_bool typ
2910: 65 73 32 2d 37 2e 37 20 7b 6e 31 3d 27 32 2e 30  es2-7.7 {n1='2.0
2920: 27 7d 20 7b 6e 31 20 49 4e 20 28 53 45 4c 45 43  '} {n1 IN (SELEC
2930: 54 20 69 20 46 52 4f 4d 20 74 33 29 7d 20 31 0a  T i FROM t3)} 1.
2940: 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65    test_bool type
2950: 73 32 2d 37 2e 38 20 7b 6e 31 3d 27 32 2e 30 27  s2-7.8 {n1='2.0'
2960: 7d 20 7b 6e 31 20 49 4e 20 28 53 45 4c 45 43 54  } {n1 IN (SELECT
2970: 20 6e 20 46 52 4f 4d 20 74 33 29 7d 20 31 0a 20   n FROM t3)} 1. 
2980: 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73   test_bool types
2990: 32 2d 37 2e 39 20 7b 6e 31 3d 27 32 2e 30 27 7d  2-7.9 {n1='2.0'}
29a0: 20 7b 6e 31 20 49 4e 20 28 53 45 4c 45 43 54 20   {n1 IN (SELECT 
29b0: 74 20 46 52 4f 4d 20 74 33 29 7d 20 31 0a 20 20  t FROM t3)} 1.  
29c0: 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32  test_bool types2
29d0: 2d 37 2e 31 30 20 7b 6e 31 3d 27 32 2e 30 27 7d  -7.10 {n1='2.0'}
29e0: 20 7b 6e 31 20 49 4e 20 28 53 45 4c 45 43 54 20   {n1 IN (SELECT 
29f0: 6f 20 46 52 4f 4d 20 74 33 29 7d 20 31 0a 20 20  o FROM t3)} 1.  
2a00: 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 20 74 79 70  .  test_bool typ
2a10: 65 73 32 2d 37 2e 36 20 7b 74 31 3d 31 7d 20 7b  es2-7.6 {t1=1} {
2a20: 74 31 20 49 4e 20 28 53 45 4c 45 43 54 20 74 20  t1 IN (SELECT t 
2a30: 46 52 4f 4d 20 74 33 29 7d 20 31 0a 20 20 74 65  FROM t3)} 1.  te
2a40: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37  st_bool types2-7
2a50: 2e 37 20 7b 74 31 3d 27 32 2e 30 27 7d 20 7b 74  .7 {t1='2.0'} {t
2a60: 31 20 49 4e 20 28 53 45 4c 45 43 54 20 74 20 46  1 IN (SELECT t F
2a70: 52 4f 4d 20 74 33 29 7d 20 30 0a 20 20 74 65 73  ROM t3)} 0.  tes
2a80: 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e  t_bool types2-7.
2a90: 38 20 7b 74 31 3d 27 32 2e 30 27 7d 20 7b 74 31  8 {t1='2.0'} {t1
2aa0: 20 49 4e 20 28 53 45 4c 45 43 54 20 6e 20 46 52   IN (SELECT n FR
2ab0: 4f 4d 20 74 33 29 7d 20 31 0a 20 20 74 65 73 74  OM t3)} 1.  test
2ac0: 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e 39  _bool types2-7.9
2ad0: 20 7b 74 31 3d 27 32 2e 30 27 7d 20 7b 74 31 20   {t1='2.0'} {t1 
2ae0: 49 4e 20 28 53 45 4c 45 43 54 20 69 20 46 52 4f  IN (SELECT i FRO
2af0: 4d 20 74 33 29 7d 20 31 0a 20 20 74 65 73 74 5f  M t3)} 1.  test_
2b00: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e 31 30  bool types2-7.10
2b10: 20 7b 74 31 3d 27 32 2e 30 27 7d 20 7b 74 31 20   {t1='2.0'} {t1 
2b20: 49 4e 20 28 53 45 4c 45 43 54 20 6f 20 46 52 4f  IN (SELECT o FRO
2b30: 4d 20 74 33 29 7d 20 30 0a 20 20 74 65 73 74 5f  M t3)} 0.  test_
2b40: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e 31 31  bool types2-7.11
2b50: 20 7b 74 31 3d 27 31 2e 30 27 7d 20 7b 74 31 20   {t1='1.0'} {t1 
2b60: 49 4e 20 28 53 45 4c 45 43 54 20 74 20 46 52 4f  IN (SELECT t FRO
2b70: 4d 20 74 33 29 7d 20 31 0a 20 20 74 65 73 74 5f  M t3)} 1.  test_
2b80: 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e 31 32  bool types2-7.12
2b90: 20 7b 74 31 3d 27 31 2e 30 27 7d 20 7b 74 31 20   {t1='1.0'} {t1 
2ba0: 49 4e 20 28 53 45 4c 45 43 54 20 6f 20 46 52 4f  IN (SELECT o FRO
2bb0: 4d 20 74 33 29 7d 20 31 0a 20 20 0a 20 20 74 65  M t3)} 1.  .  te
2bc0: 73 74 5f 62 6f 6f 6c 20 74 79 70 65 73 32 2d 37  st_bool types2-7
2bd0: 2e 31 33 20 7b 6f 31 3d 32 7d 20 7b 6f 31 20 49  .13 {o1=2} {o1 I
2be0: 4e 20 28 53 45 4c 45 43 54 20 6f 20 46 52 4f 4d  N (SELECT o FROM
2bf0: 20 74 33 29 7d 20 31 0a 20 20 74 65 73 74 5f 62   t3)} 1.  test_b
2c00: 6f 6f 6c 20 74 79 70 65 73 32 2d 37 2e 31 34 20  ool types2-7.14 
2c10: 7b 6f 31 3d 27 32 27 7d 20 7b 6f 31 20 49 4e 20  {o1='2'} {o1 IN 
2c20: 28 53 45 4c 45 43 54 20 6f 20 46 52 4f 4d 20 74  (SELECT o FROM t
2c30: 33 29 7d 20 30 0a 20 20 74 65 73 74 5f 62 6f 6f  3)} 0.  test_boo
2c40: 6c 20 74 79 70 65 73 32 2d 37 2e 31 35 20 7b 6f  l types2-7.15 {o
2c50: 31 3d 27 32 27 7d 20 7b 6f 31 20 49 4e 20 28 53  1='2'} {o1 IN (S
2c60: 45 4c 45 43 54 20 6f 7c 7c 27 27 20 46 52 4f 4d  ELECT o||'' FROM
2c70: 20 74 33 29 7d 20 31 0a 7d 0a 0a 23 20 73 65 74   t3)} 1.}..# set
2c80: 20 76 61 6c 73 20 5b 6c 69 73 74 20 31 30 20 31   vals [list 10 1
2c90: 30 2e 30 20 27 31 30 27 20 27 31 30 2e 30 27 20  0.0 '10' '10.0' 
2ca0: 32 30 20 32 30 2e 30 20 27 32 30 27 20 27 32 30  20 20.0 '20' '20
2cb0: 2e 30 27 20 33 30 20 33 30 2e 30 20 27 33 30 27  .0' 30 30.0 '30'
2cc0: 20 27 33 30 2e 30 27 5d 0a 23 20 20 20 20 20 20   '30.0'].#      
2cd0: 20 20 20 20 20 20 20 20 20 20 31 20 20 32 20 20            1  2  
2ce0: 20 20 33 20 20 20 20 34 20 20 20 20 20 20 35 20    3    4      5 
2cf0: 20 36 20 20 20 20 37 20 20 20 20 38 20 20 20 20   6    7    8    
2d00: 20 20 39 20 20 31 30 20 20 20 31 31 20 20 20 31    9  10   11   1
2d10: 32 0a 65 78 65 63 73 71 6c 20 7b 0a 20 20 43 52  2.execsql {.  CR
2d20: 45 41 54 45 20 54 41 42 4c 45 20 74 34 28 69 20  EATE TABLE t4(i 
2d30: 49 4e 54 45 47 45 52 2c 20 6e 20 4e 55 4d 45 52  INTEGER, n NUMER
2d40: 49 43 2c 20 74 20 56 41 52 43 48 41 52 28 32 30  IC, t VARCHAR(20
2d50: 29 2c 20 6f 20 4c 41 52 47 45 20 42 4c 4f 42 29  ), o LARGE BLOB)
2d60: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
2d70: 74 34 20 56 41 4c 55 45 53 28 31 30 2c 20 32 30  t4 VALUES(10, 20
2d80: 2c 20 32 30 2c 20 33 30 29 3b 0a 7d 0a 69 66 63  , 20, 30);.}.ifc
2d90: 61 70 61 62 6c 65 20 73 75 62 71 75 65 72 79 20  apable subquery 
2da0: 7b 0a 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74  {.  test_boolset
2db0: 20 74 79 70 65 73 32 2d 38 2e 31 20 7b 69 20 49   types2-8.1 {i I
2dc0: 4e 20 28 53 45 4c 45 43 54 20 69 20 46 52 4f 4d  N (SELECT i FROM
2dd0: 20 74 34 29 7d 20 7b 31 20 32 20 33 20 34 7d 0a   t4)} {1 2 3 4}.
2de0: 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74    test_boolset t
2df0: 79 70 65 73 32 2d 38 2e 32 20 7b 6e 20 49 4e 20  ypes2-8.2 {n IN 
2e00: 28 53 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 74  (SELECT i FROM t
2e10: 34 29 7d 20 7b 31 20 32 20 33 20 34 7d 0a 20 20  4)} {1 2 3 4}.  
2e20: 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70  test_boolset typ
2e30: 65 73 32 2d 38 2e 33 20 7b 74 20 49 4e 20 28 53  es2-8.3 {t IN (S
2e40: 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 74 34 29  ELECT i FROM t4)
2e50: 7d 20 7b 31 20 32 20 33 20 34 7d 0a 20 20 74 65  } {1 2 3 4}.  te
2e60: 73 74 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73  st_boolset types
2e70: 32 2d 38 2e 34 20 7b 6f 20 49 4e 20 28 53 45 4c  2-8.4 {o IN (SEL
2e80: 45 43 54 20 69 20 46 52 4f 4d 20 74 34 29 7d 20  ECT i FROM t4)} 
2e90: 7b 31 20 32 20 33 20 34 7d 0a 20 20 74 65 73 74  {1 2 3 4}.  test
2ea0: 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d  _boolset types2-
2eb0: 38 2e 35 20 7b 69 20 49 4e 20 28 53 45 4c 45 43  8.5 {i IN (SELEC
2ec0: 54 20 74 20 46 52 4f 4d 20 74 34 29 7d 20 7b 35  T t FROM t4)} {5
2ed0: 20 36 20 37 20 38 7d 0a 20 20 74 65 73 74 5f 62   6 7 8}.  test_b
2ee0: 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 38 2e  oolset types2-8.
2ef0: 36 20 7b 6e 20 49 4e 20 28 53 45 4c 45 43 54 20  6 {n IN (SELECT 
2f00: 74 20 46 52 4f 4d 20 74 34 29 7d 20 7b 35 20 36  t FROM t4)} {5 6
2f10: 20 37 20 38 7d 0a 20 20 74 65 73 74 5f 62 6f 6f   7 8}.  test_boo
2f20: 6c 73 65 74 20 74 79 70 65 73 32 2d 38 2e 37 20  lset types2-8.7 
2f30: 7b 74 20 49 4e 20 28 53 45 4c 45 43 54 20 74 20  {t IN (SELECT t 
2f40: 46 52 4f 4d 20 74 34 29 7d 20 7b 35 20 37 7d 0a  FROM t4)} {5 7}.
2f50: 20 20 74 65 73 74 5f 62 6f 6f 6c 73 65 74 20 74    test_boolset t
2f60: 79 70 65 73 32 2d 38 2e 38 20 7b 6f 20 49 4e 20  ypes2-8.8 {o IN 
2f70: 28 53 45 4c 45 43 54 20 74 20 46 52 4f 4d 20 74  (SELECT t FROM t
2f80: 34 29 7d 20 7b 37 7d 0a 20 20 74 65 73 74 5f 62  4)} {7}.  test_b
2f90: 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 38 2e  oolset types2-8.
2fa0: 39 20 7b 69 20 49 4e 20 28 53 45 4c 45 43 54 20  9 {i IN (SELECT 
2fb0: 6f 20 46 52 4f 4d 20 74 34 29 7d 20 7b 39 20 31  o FROM t4)} {9 1
2fc0: 30 20 31 31 20 31 32 7d 0a 20 20 74 65 73 74 5f  0 11 12}.  test_
2fd0: 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d 38  boolset types2-8
2fe0: 2e 36 20 7b 6e 20 49 4e 20 28 53 45 4c 45 43 54  .6 {n IN (SELECT
2ff0: 20 6f 20 46 52 4f 4d 20 74 34 29 7d 20 7b 39 20   o FROM t4)} {9 
3000: 31 30 20 31 31 20 31 32 7d 0a 20 20 74 65 73 74  10 11 12}.  test
3010: 5f 62 6f 6f 6c 73 65 74 20 74 79 70 65 73 32 2d  _boolset types2-
3020: 38 2e 37 20 7b 74 20 49 4e 20 28 53 45 4c 45 43  8.7 {t IN (SELEC
3030: 54 20 6f 20 46 52 4f 4d 20 74 34 29 7d 20 7b 39  T o FROM t4)} {9
3040: 20 31 31 7d 0a 20 20 74 65 73 74 5f 62 6f 6f 6c   11}.  test_bool
3050: 73 65 74 20 74 79 70 65 73 32 2d 38 2e 38 20 7b  set types2-8.8 {
3060: 6f 20 49 4e 20 28 53 45 4c 45 43 54 20 6f 20 46  o IN (SELECT o F
3070: 52 4f 4d 20 74 34 29 7d 20 7b 39 20 31 30 7d 0a  ROM t4)} {9 10}.
3080: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.