;-*- Mode:     Lisp -*-
;;;; Author:   Paul Dietz
;;;; Created:  Thu Nov 11 20:17:51 2004
;;;; Contains: Tests of the ~^ format directive (inside other format constructs)

(in-package :cl-test)
(compile-and-load "printer-aux.lsp")

;;; Tests of ~^ inside ~{ ... ~}

(def-format-test format.^.{.1
  "~{X ~A~^ Y ~A~^ ~}" ('(1 2 3 4 5)) "X 1 Y 2 X 3 Y 4 X 5")

(def-format-test format.^.{.2
  "~{X ~A~^ Y ~A~^ ~}" ('(1 2 3 4)) "X 1 Y 2 X 3 Y 4")

(def-format-test format.^.{.3
  "~1{~A~^~A~}" ('(1)) "1")

(def-format-test format.^.{.4
  "~0{~A~^~A~}" ('(1)) "")

(def-format-test format.^.{.5
  "~1{~A~^~A~}" ('(1 2 3)) "12")

(def-format-test format.^.{.6
  "~{~A~A~0^~A~}" ('(1 2 3 4 5 6)) "12")

(def-format-test format.^.{.7
  "~{~A~A~v^~A~}" ('(1 2 3 4 5 6 0 7 8 9 10 11 12)) "12456")

(def-format-test format.^.{.8
  "~{~#,3^~A~}" ('(1 2 3 4 5 6 7 8 9 10)) "1234567")

(def-format-test format.^.{.9
  "~{~2,#^~A~}~A" ('(1 2 3 4 5 6 7 8 9 10) 0) "123456780")

(def-format-test format.^.{.10
  "~{~#,#^~A~}" ('(1 2 3 4 5 6 7 8 9 10)) "")

(def-format-test format.^.{.11
  "~{~#,#,#^~A~}" ('(1 2 3 4 5 6 7 8 9 10)) "")

(def-format-test format.^.{.12
  "~{~#,1,2^~A~}" ('(1 2 3 4 5 6 7 8 9 10)) "123456789")

(def-format-test format.^.{.13
  "~{~#,#,v^~A~}" ('(1 2 3 4 5 6 7 8 9 10)) "246")

(def-format-test format.^.{.14
  "~{~#,#,v^~A~}" ('(1 2 3 4 5 6 7 8 9 10 11)) "246")

(def-format-test format.^.{.15
  "~{~#,#,v^~A~}" ('(1 2 3 4 5 6 7 8 9 10 11 12)) "246")

(def-format-test format.^.{.16
  "~{~#,#,v^~A~}" ('(1 2 3 4 5 6 7 8 9 10 11 12 13)) "246")

(def-format-test format.^.{.17
  "~{~#,#,v^~A~}" ('(1 2 3 4 5 6 7 8 9 10 11 12 13 14)) "2468")

(def-format-test format.^.{.18
  "~{~v,v^~A~}" ((list (1+ most-positive-fixnum)
		       (1+ most-positive-fixnum)
		       1))
  "")

(def-format-test format.^.{.19
  "~{~0,v,v^~A~}" ((list (1+ most-positive-fixnum)
			 (1+ most-positive-fixnum)
			 1))
  "")

(def-format-test format.^.{.20
  "~{~0,v,v^~A~}" ((list (1+ most-positive-fixnum)
			 most-positive-fixnum
			 1))
  "1")

(def-format-test format.^.{.21
  "~{~1,v^~A~}" ('(nil 8 nil 7 0 6 1 5)) "876")

(def-format-test format.^.{.22
  "~{~0,v^~A~}" ('(3 8 1 7 3 6 nil 5)) "876")

(def-format-test format.^.{.23
  "~{~1,2,v^~A~}" ('(0 1 0 2 0 3 3 4)) "123")

(def-format-test format.^.{.24
  "~{~1,2,v^~A~}" ('(0 1 0 2 0 3 nil 4)) "1234")

(def-format-test format.^.{.25
  "~{~1,1,v^~A~}" ('(0 1 0 2 0 3 nil 4)) "123")

(def-format-test format.^.{.26
  "~{~'X^~A~}" ('(1 2 3)) "123")

(def-format-test format.^.{.27
  "~{~v,'X^~A~}" ('(0 1 #\x 2 nil 3 #\X 4 0 5)) "123")

(def-format-test format.^.{.28
  "~{~'X,v^~A~}" ('(0 1 #\x 2 nil 3 #\X 4 0 5)) "123")

(def-format-test format.^.{.29
  "~{~v,v^~A~}" ('(0 2 1 #\x #\X 2 5 #\X 3 #\y #\y 4 1 2 5)) "123")

(def-format-test format.^.{.30
  "~{~',,',^~A~}" ('(1 2 3)) "")

(def-format-test format.^.{.31
  "~{~1,v,v^~A~}" ('(#\a nil 0)) "0")

(def-format-test format.^.{.32
  "~{~v,1,v^~A~}" ('(#\a nil 0)) "0")

(def-format-test format.^.{.33
  "~{~v,v,v^~A~}" ('(#\a #\a nil 0)) "")

;;; ~^ with ~:{

(def-format-test format.^.\:{.1
  "~:{~A~^~A~A~}" ('((1)(2 3 4)(5 6 7 8))) "1234567")

(def-format-test format.^.\:{.2
  "~:{~A~0^~A~A~}" ('((1)(2 3 4)(5 6 7 8))) "125")

(def-format-test format.^.\:{.3
  "~:{~#^~A~}" ('((1)(2 3 4)()(5 6 7 8))()) "125" 1)

(def-format-test format.^.\:{.4
  "~:{~#^~A~#^~A~#^~A~#^~A~}" ('((1)(2 3 4)()(5 6 7 8))()) "12345678" 1)

(def-format-test format.^.\:{.5
  "~:{~v^~A~}" ('((1 2 3)(0)(2 4)(0 5)(1 6 7 8))) "246")

(def-format-test format.^.\:{.6
  "~:{~v^~A~}" ('((nil)(nil 1)(1 2))) "12")

(def-format-test format.^.\:{.7
  "~:{~v^~A~}" ('((#\x 1)(#\y 2)(0 3)(1 4))) "124")

(def-format-test format.^.\:{.8
  "~:{~v,3^~A~}" ('((1 1)(2 0)(3 4)(5 6))) "106")

(def-format-test format.^.\:{.9
  "~:{~3,v^~A~}" ('((1 1)(2 0)(3 4)(5 6))) "106")

(def-format-test format.^.\:{.10
  "~:{~v,3^~A~}" ('((#\x 1))) "1")

(def-format-test format.^.\:{.11
  "~:{~2,v^~A~}" ('((#\x 1))) "1")

(def-format-test format.^.\:{.12
  "~:{~v,v^~A~}" ('((1 2 0) (0 1 1) (1 0 2) (3 3 5) (4 5 6))) "0126")

(def-format-test format.^.\:{.13
  "~:{~v,v^~A~}" ('((1 2 0) (#\a #\A 1) (#\A #\A 2) (1 2 3))) "013")

(def-format-test format.^.\:{.14
  "~:{~'x,3^~A~}" ('((1))) "1")

(def-format-test format.^.\:{.15
  "~:{~3,'x^~A~}" ('((1))) "1")

(def-format-test format.^.\:{.16
  "~:{~'x,'x^~A~}" ('((1))) "")

(def-format-test format.^.\:{.17
  "~:{~#,1^~A~}" ('((1)(2 10)(3 a b)(4)(5 x)(6)(7 8))) "2357")

(def-format-test format.^.\:{.18
  "~:{~1,#^~A~}" ('((1)(2 10)(3 a b)(4)(5 x)(6)(7 8))) "2357")

(def-format-test format.^.\:{.19
  "~:{~#,#^~A~}" ('((1)()(2 10)(3 a b)(4)(5 x)(6)(7 8))) "")

(def-format-test format.^.\:{.20
  "~:{~0,v^~A~}" ('((0 1)(1 2)(nil 3)(2 4))) "24")

(def-format-test format.^.\:{.21
  "~:{~1,v^~A~}" ('((0 1)(1 2)(nil 3)(2 4))) "134")

(def-format-test format.^.\:{.22
  "~:{~1,1,1^~A~}" ('((1)(2 3)(4 5 6)(7 8 9 0))) "")

(def-format-test format.^.\:{.23
  "~:{~1,2,3^~A~}" ('((1)(2 3)(4 5 6)(7 8 9 0))) "")

(def-format-test format.^.\:{.24
  "~:{~1,2,1^~A~}" ('((1)(2 3)(4 5 6)(7 8 9 0))) "1247")

(def-format-test format.^.\:{.25
  "~:{~1,0,1^~A~}" ('((1)(2 3)(4 5 6)(7 8 9 0))) "1247")

(def-format-test format.^.\:{.26
  "~:{~3,2,1^~A~}" ('((1)(2 3)(4 5 6)(7 8 9 0))) "1247")

(def-format-test format.^.\:{.27
  "~:{~v,2,3^~A~}" ('((1 10)(2 20)(3 30)(4 40))) "3040")

(def-format-test format.^.\:{.28
  "~:{~1,v,3^~A~}" ('((0 7)(1 10)(2 20)(3 30)(4 40))) "740")

(def-format-test format.^.\:{.29
  "~:{~1,2,v^~A~}" ('((0 0)(1 10)(2 20)(3 30)(4 40)(0 50))) "01050")

(def-format-test format.^.\:{.30
  "~:{~1,2,v^~A~}" ('((nil 0))) "0")

(def-format-test format.^.\:{.31
  "~:{~#,3,3^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "45")

(def-format-test format.^.\:{.32
  "~:{~2,#,3^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "145")

(def-format-test format.^.\:{.33
  "~:{~0,3,#^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "12")

(def-format-test format.^.\:{.34
  "~:{~#,#,3^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "45")

(def-format-test format.^.\:{.35
  "~:{~3,#,#^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "12")

(def-format-test format.^.\:{.36
  "~:{~#,3,#^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "1245")

(def-format-test format.^.\:{.37
  "~:{~#,#,#^~A~}" ('((1) (2 1) (3 2 1) (4 3 2 1) (5 4 3 2 1))) "")

(def-format-test format.^.\:{.38
  "~:{~1,v,v^~A~}" ('((#\a nil 0))) "0")

(def-format-test format.^.\:{.39
  "~:{~v,1,v^~A~}" ('((#\a nil 0))) "0")

;;; Tests of ~^ inside ~@{ ... ~}

(def-format-test format.^.@{.1
  "~@{X ~A~^ Y ~A~^ ~}" (1 2 3 4 5) "X 1 Y 2 X 3 Y 4 X 5")

(def-format-test format.^.@{.2
  "~@{X ~A~^ Y ~A~^ ~}" (1 2 3 4) "X 1 Y 2 X 3 Y 4")

(def-format-test format.^.@{.3
  "~1@{~A~^~A~}" (1) "1")

(def-format-test format.^.@{.4
  "~0@{~A~^~A~}" (1) "" 1)

(def-format-test format.^.@{.5
  "~1@{~A~^~A~}" (1 2 3) "12" 1)

(def-format-test format.^.@{.6
  "~@{~A~A~0^~A~}" (1 2 3 4 5 6) "12" 4)

(def-format-test format.^.@{.7
  "~@{~A~A~v^~A~}" (1 2 3 4 5 6 0 7 8 9 10 11 12) "12456" 6)

(def-format-test format.^.@{.8
  "~@{~#,3^~A~}" (1 2 3 4 5 6 7 8 9 10) "1234567" 3)

(def-format-test format.^.@{.9
  "~@{~2,#^~A~}X~A" (1 2 3 4 5 6 7 8 9 10) "12345678X9" 1)

(def-format-test format.^.@{.10
  "~@{~#,#^~A~}" (1 2 3 4 5 6 7 8 9 10) "" 10)

(def-format-test format.^.@{.11
  "~@{~#,#,#^~A~}" (1 2 3 4 5 6 7 8 9 10) "" 10)

(def-format-test format.^.@{.12
  "~@{~#,1,2^~A~}" (1 2 3 4 5 6 7 8 9 10) "123456789" 1)

(def-format-test format.^.@{.13
  "~@{~#,#,v^~A~}" (1 2 3 4 5 6 7 8 9 10) "246" 3)

(def-format-test format.^.@{.14
  "~@{~#,#,v^~A~}" (1 2 3 4 5 6 7 8 9 10 11) "246" 4)

(def-format-test format.^.@{.15
  "~@{~#,#,v^~A~}" (1 2 3 4 5 6 7 8 9 10 11 12) "246" 5)

(def-format-test format.^.@{.16
  "~@{~#,#,v^~A~}" (1 2 3 4 5 6 7 8 9 10 11 12 13) "246" 6)

(def-format-test format.^.@{.17
  "~@{~#,#,v^~A~}" (1 2 3 4 5 6 7 8 9 10 11 12 13 14) "2468" 5)

(def-format-test format.^.@{.18
  "~@{~v,v^~A~}"
  ((1+ most-positive-fixnum)
   (1+ most-positive-fixnum)
   1)
  "" 1)

(def-format-test format.^.@{.19
  "~@{~0,v,v^~A~}"
  ((1+ most-positive-fixnum)
   (1+ most-positive-fixnum)
   1)
  "" 1)

(def-format-test format.^.@{.20
  "~@{~0,v,v^~A~}"
  ((1+ most-positive-fixnum)
   most-positive-fixnum
   1)
  "1")

(def-format-test format.^.@{.21
  "~@{~1,v^~A~}" (nil 8 nil 7 0 6 1 5) "876" 1)

(def-format-test format.^.@{.22
  "~@{~0,v^~A~}" (3 8 1 7 3 6 nil 5) "876" 1)

(def-format-test format.^.@{.23
  "~@{~1,2,v^~A~}" (0 1 0 2 0 3 3 4) "123" 1)

(def-format-test format.^.@{.24
  "~@{~1,2,v^~A~}" (0 1 0 2 0 3 nil 4) "1234")

(def-format-test format.^.@{.25
  "~@{~1,1,v^~A~}" (0 1 0 2 0 3 nil 4) "123" 1)

(def-format-test format.^.@{.26
  "~@{~'X^~A~}" (1 2 3) "123")

(def-format-test format.^.@{.27
  "~@{~v,'X^~A~}" (0 1 #\x 2 nil 3 #\X 4 0 5) "123" 3)

(def-format-test format.^.@{.28
  "~@{~'X,v^~A~}" (0 1 #\x 2 nil 3 #\X 4 0 5) "123" 3)

(def-format-test format.^.@{.29
  "~@{~v,v^~A~}" (0 2 1 #\x #\X 2 5 #\X 3 #\y #\y 4 1 2 5) "123" 4)

(def-format-test format.^.@{.30
  "~@{~',,',^~A~}" (1 2 3) "" 3)

(def-format-test format.^.@{.31
  "~@{~1,v,v^~A~}" (#\a nil 0) "0")

(def-format-test format.^.@{.32
  "~@{~v,1,v^~A~}" (#\a nil 0) "0")

(def-format-test format.^.@{.33
  "~@{~v,v,v^~A~}" (#\a #\a nil 0) "" 1)

;;; Inside ~:@{

(def-format-test format.^.\:@{.1
  "~:@{~A~^~A~A~}" ('(1) '(2 3 4) '(5 6 7 8)) "1234567")

(def-format-test format.^.\:@{.2
  "~@:{~A~0^~A~A~}" ('(1) '(2 3 4) '(5 6 7 8)) "125")

(def-format-test format.^.\:@{.3
  "~:@{~#^~A~}" ('(1) '(2 3 4) () '(5 6 7 8) ()) "125")

(def-format-test format.^.\:@{.4
  "~@:{~#^~A~#^~A~#^~A~#^~A~}" ('(1) '(2 3 4) () '(5 6 7 8) ()) "12345678")

(def-format-test format.^.\:@{.5
  "~:@{~v^~A~}" ('(1 2 3) '(0) '(2 4) '(0 5) '(1 6 7 8)) "246")

(def-format-test format.^.\:@{.6
  "~:@{~v^~A~}" ('(nil) '(nil 1) '(1 2)) "12")

(def-format-test format.^.\:@{.7
  "~:@{~v^~A~}" ('(#\x 1) '(#\y 2) '(0 3) '(1 4)) "124")

(def-format-test format.^.\:@{.8
  "~:@{~v,3^~A~}" ('(1 1) '(2 0) '(3 4) '(5 6)) "106")

(def-format-test format.^.\:@{.9
  "~@:{~3,v^~A~}" ('(1 1) '(2 0) '(3 4) '(5 6)) "106")

(def-format-test format.^.\:@{.10
  "~:@{~v,3^~A~}" ('(#\x 1)) "1")

(def-format-test format.^.\:@{.11
  "~:@{~2,v^~A~}" ('(#\x 1)) "1")

(def-format-test format.^.\:@{.12
  "~:@{~v,v^~A~}" ('(1 2 0) '(0 1 1) '(1 0 2) '(3 3 5) '(4 5 6)) "0126")

(def-format-test format.^.\:@{.13
  "~:@{~v,v^~A~}" ('(1 2 0) '(#\a #\A 1) '(#\A #\A 2) '(1 2 3)) "013")

(def-format-test format.^.\:@{.14
  "~:@{~'x,3^~A~}" ('(1)) "1")

(def-format-test format.^.\:@{.15
  "~:@{~3,'x^~A~}" ('(1)) "1")

(def-format-test format.^.\:@{.16
  "~:@{~'x,'x^~A~}" ('(1)) "")

(def-format-test format.^.\:@{.17
  "~:@{~#,1^~A~}" ('(1) '(2 10) '(3 a b) '(4) '(5 x) '(6) '(7 8)) "2357")

(def-format-test format.^.\:@{.18
  "~:@{~1,#^~A~}" ('(1) '(2 10) '(3 a b) '(4) '(5 x) '(6) '(7 8)) "2357")

(def-format-test format.^.\:@{.19
  "~:@{~#,#^~A~}" ('(1) '() '(2 10) '(3 a b) '(4) '(5 x) '(6) '(7 8)) "")

(def-format-test format.^.\:@{.20
  "~:@{~0,v^~A~}" ('(0 1) '(1 2) '(nil 3) '(2 4)) "24")

(def-format-test format.^.\:@{.21
  "~:@{~1,v^~A~}" ('(0 1) '(1 2) '(nil 3) '(2 4)) "134")

(def-format-test format.^.\:@{.22
  "~:@{~1,1,1^~A~}" ('(1) '(2 3) '(4 5 6) '(7 8 9 0)) "")

(def-format-test format.^.\:@{.23
  "~:@{~1,2,3^~A~}" ('(1) '(2 3) '(4 5 6) '(7 8 9 0)) "")

(def-format-test format.^.\:@{.24
  "~:@{~1,2,1^~A~}" ('(1) '(2 3) '(4 5 6) '(7 8 9 0)) "1247")

(def-format-test format.^.\:@{.25
  "~:@{~1,0,1^~A~}" ('(1) '(2 3) '(4 5 6) '(7 8 9 0)) "1247")

(def-format-test format.^.\:@{.26
  "~:@{~3,2,1^~A~}" ('(1) '(2 3) '(4 5 6) '(7 8 9 0)) "1247")

(def-format-test format.^.\:@{.27
  "~:@{~v,2,3^~A~}" ('(1 10) '(2 20) '(3 30) '(4 40)) "3040")

(def-format-test format.^.\:@{.28
  "~:@{~1,v,3^~A~}" ('(0 7) '(1 10) '(2 20) '(3 30) '(4 40)) "740")

(def-format-test format.^.\:@{.29
  "~:@{~1,2,v^~A~}" ('(0 0) '(1 10) '(2 20) '(3 30) '(4 40) '(0 50))
  "01050")

(def-format-test format.^.\:@{.30
  "~:@{~1,2,v^~A~}" ('(nil 0)) "0")

(def-format-test format.^.\:@{.31
  "~:@{~#,3,3^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "45")

(def-format-test format.^.\:@{.32
  "~:@{~2,#,3^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "145")

(def-format-test format.^.\:@{.33
  "~:@{~0,3,#^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "12")

(def-format-test format.^.\:@{.34
  "~:@{~#,#,3^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "45")

(def-format-test format.^.\:@{.35
  "~:@{~3,#,#^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "12")

(def-format-test format.^.\:@{.36
  "~:@{~#,3,#^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "1245")

(def-format-test format.^.\:@{.37
  "~:@{~#,#,#^~A~}" ('(1) '(2 1) '(3 2 1) '(4 3 2 1) '(5 4 3 2 1)) "")

(def-format-test format.^.\:@{.38
  "~:@{~1,v,v^~A~}" ('(#\a nil 0)) "0")

(def-format-test format.^.\:@{.39
  "~:@{~v,1,v^~A~}" ('(#\a nil 0)) "0")

;;; ~:^ in ~:{

(def-format-test format.\:^.\:{.1
  "~:{~:^~A~}"  (nil) "")

(def-format-test format.\:^.\:{.2
  "(~:{~A~:^,~})"  ('((1)(2)(3))) "(1,2,3)")

(def-format-test format.\:^.\:{.3
  "~:{~:^~A~}"  ('((1)(2)(3)(4))) "123")

;;; arguments

(def-format-test format.\:^.\:{.4
  "~:{~0:^~A~}" ('((1)(2))) "")

(def-format-test format.\:^.\:{.5
  "~:{~1:^~A~}" ('((1)(2))) "12")

(def-format-test format.\:^.\:{.6
  "~:{~'X:^~A~}" ('((1)(2))) "12")

(def-format-test format.\:^.\:{.7
  "~:{~v:^~A~}" ('((1 8)(2 3 4)(3 1)(0)(6 7)(8 10))) "831")

(def-format-test format.\:^.\:{.8
  "~:{~V:^~A~}" ('((#\X 1)(0 2))) "1")

(def-format-test format.\:^.\:{.9
  "~:{~#:^~A~}" ('((1)(2)(3 4)(5 6 7)()(8 9 10))) "1235")

(def-format-test format.\:^.\:{.10
  "~:{~1,1:^~A~}" ('(()(1)(2 3))) "")

(def-format-test format.\:^.\:{.11
  "~:{~0,1:^~A~}" ('((1)(2 3))) "12")

(def-format-test format.\:^.\:{.12
  "~:{~v,1:^~A~}" ('((2 3)(4 5 6)(0 2)(1 7)(9 10))) "352")

(def-format-test format.\:^.\:{.13
  "~:{~1,V:^~A~}" ('((2 3)(4 5 6)(0 2)(1 7)(9 10))) "352")

(def-format-test format.\:^.\:{.14
  "~:{~V,v:^~A~}" ('((0 1 2) (1 0 3) (4 4) () (5 6 7))) "23")

(def-format-test format.\:^.\:{.15
  "~:{~#,1:^~A~}" ('((2 3 4)(4 5)(0)(1 7)(9 10)))
  "24")

(def-format-test format.\:^.\:{.16
  "~:{~1,#:^~A~}" ('((2 3 4)(4 5)(0)(1 7)(9 10)))
  "24")

(def-format-test format.\:^.\:{.17
  "~:{~#,#:^~A~}" ('(nil))
  "")

(def-format-test format.\:^.\:{.18
  "~:{~#,#:^~A~}" ('((1)))
  "")

(def-format-test format.\:^.\:{.19
  "~:{~#,v:^~A~}" ('((1 2)(3 4)(2 5 6)(1)(2)))
  "245")

(def-format-test format.\:^.\:{.20
  "~:{~V,#:^~A~}" ('((0 2)(1 3 4)(1 3)()(0 7)))
  "23")

(def-format-test format.\:^.\:{.21
  "~:{~'X,'Y:^~A~}" ('((1)(2)))
  "12")

(def-format-test format.\:^.\:{.22
  "~:{~'X,'X:^~A~}" ('((1)(2)))
  "")

(def-format-test  format.\:^.\:{.23
  "~:{~1,2,3:^~A~}" ('((1)(2)))
  "")

(def-format-test  format.\:^.\:{.24
  "~:{~1,2,1:^~A~}" ('((1)(2)))
  "12")

(def-format-test  format.\:^.\:{.25
  "~:{~2,1,3:^~A~}" ('((1)(2)))
  "12")

(def-format-test  format.\:^.\:{.26
  "~:{~1,1,v:^~A~}" ('((0 4)(nil 1)(0 5)))
  "4")

(def-format-test  format.\:^.\:{.27
  "~:{~v,2,2:^~A~}" ('((3 4)(1 1)(4 5)))
  "4")

(def-format-test  format.\:^.\:{.28
  "~:{~1,v,2:^~A~}" ('((0 2)(3 4)(1 1)(4 5)))
  "24")

(def-format-test  format.\:^.\:{.29
  "~:{~V,v,3:^~A~}" ('((1 4 0)(2 1 7)(4 4 8 0)(1 2 6)(9 8 0)))
  "078")

(def-format-test  format.\:^.\:{.30
  "~:{~v,2,v:^~A~}" ('((1 1 0)(3 2 5)(2 1 6)(1 2 0)(10 11 13)))
  "056")

(def-format-test  format.\:^.\:{.31
  "~:{~2,V,v:^~A~}" ('((1 1 0)(3 2 5)(2 1 6)(10 11 13)(0 1 0)))
  "056")

(def-format-test  format.\:^.\:{.32
  "~:{~v,v,V:^~A~}" ('((1 2 1 0)(2 1 1 4)(2 3 1 6)(1 2 3)(0 1 0 8)))
  "046")

(def-format-test  format.\:^.\:{.33
  "~:{~#,2,2:^~A~}" ('((1 2 3)(2 X X)(0 A B C D)(4 5)(5 7 8 9)))
  "120")

(def-format-test  format.\:^.\:{.34
  "~:{~2,#,3:^~A~}" ('((1)(2 3 4 5)(3 4)(4 5 6 7 8)()))
  "12")

(def-format-test  format.\:^.\:{.35
  "~:{~1,3,#:^~A~}" ('((1)(2 3)(3 4)(4 5 6)(5)))
  "123")

(def-format-test  format.\:^.\:{.36
  "~:{~#,#,2:^~A~}" ('((1 2 3)(2 X X)(0 A B C D)(4 5)(5 7 8 9)))
  "120")

(def-format-test  format.\:^.\:{.37
  "~:{~3,#,#:^~A~}" ('((1)(2 3)(3 4)(4 5 6)(5)))
  "123")

(def-format-test  format.\:^.\:{.38
  "~:{~#,2,#:^~A~}" ('((1 2 3)(2)(0 A B C D)(4 5)(5 7 8 9)))
  "120")

(def-format-test  format.\:^.\:{.39
  "~:{~#,#,#:^~A~}" ('((1 2 3)(2)(0 A B C D)(4 5)(5 7 8 9)))
  "")

;;; ~:^ in ~:@{

(def-format-test format.\:^.\:@{.1
  "~:@{~:^~A~}" nil "")

(def-format-test format.\:^.\:@{.2
  "(~:@{~A~:^,~})" ('(1) '(2) '(3))
  "(1,2,3)")

(def-format-test format.\:^.\:@{.3
  "~:@{~:^~A~}" ('(1) '(2) '(3) '(4))
  "123")

(def-format-test format.\:^.\:@{.4
  "~:@{~0:^~A~}" ('(1) '(2))
  "" 1)

(def-format-test format.\:^.\:@{.5
  "~:@{~1:^~A~}" ('(1) '(2))
  "12")

(def-format-test format.\:^.\:@{.6
  "~:@{~'X:^~A~}" ('(1) '(2))
  "12")

(def-format-test format.\:^.\:@{.7
  "~:@{~v:^~A~}" ('(1 8) '(2 3 4) '(3 1) '(0) '(6 7) '(8 10))
  "831" 2)

(def-format-test format.\:^.\:@{.8
  "~:@{~V:^~A~}" ('(#\X 1) '(0 2))
  "1")

(def-format-test format.\:^.\:@{.9
  "~:@{~#:^~A~}" ('(1) '(2) '(3 4) '(5 6 7) () '(8 9 10))
  "1235" 1)

(def-format-test format.\:^.\:@{.10
  "~:@{~1,1:^~A~}" (() '(1) '(2 3))
  "" 2)

(def-format-test format.\:^.\:@{.11
  "~:@{~0,1:^~A~}" ('(1) '(2 3))
  "12")

(def-format-test format.\:^.\:@{.12
  "~:@{~v,1:^~A~}" ('(2 3) '(4 5 6) '(0 2) '(1 7) '(9 10))
  "352" 1)

(def-format-test format.\:^.\:@{.13
  "~:@{~1,V:^~A~}" ('(2 3) '(4 5 6) '(0 2) '(1 7) '(9 10))
  "352" 1)

(def-format-test format.\:^.\:@{.14
  "~:@{~V,v:^~A~}" ('(0 1 2) '(1 0 3) '(4 4) () '(5 6 7))
  "23" 2)

(def-format-test format.\:^.\:@{.15
  "~:@{~#,1:^~A~}" ('(2 3 4) '(4 5) '(0) '(1 7) '(9 10))
  "24" 2)

(def-format-test format.\:^.\:@{.16
  "~:@{~1,#:^~A~}" ('(2 3 4) '(4 5) '(0) '(1 7) '(9 10))
  "24" 2)

(def-format-test format.\:^.\:@{.17
  "~:@{~#,#:^~A~}" (nil)
  "")

(def-format-test format.\:^.\:@{.18
  "~:@{~#,#:^~A~}" ('(1))
  "")

(def-format-test format.\:^.\:@{.19
  "~:@{~#,v:^~A~}" ('(1 2) '(3 4) '(2 5 6) '(1) '(2))
  "245" 1)

(def-format-test format.\:^.\:@{.20
  "~:@{~V,#:^~A~}" ('(0 2) '(1 3 4) '(1 3) () '(0 7))
  "23" 2)

(def-format-test format.\:^.\:@{.21
  "~:@{~'X,'Y:^~A~}" ('(1) '(2))
  "12")

(def-format-test format.\:^.\:@{.22
  "~:@{~'X,'X:^~A~}" ('(1) '(2))
  "" 1)

(def-format-test  format.\:^.\:@{.23
  "~:@{~1,2,3:^~A~}" ('(1) '(2))
  "" 1)

(def-format-test  format.\:^.\:@{.24
  "~:@{~1,2,1:^~A~}" ('(1) '(2))
  "12")

(def-format-test  format.\:^.\:@{.25
  "~:@{~2,1,3:^~A~}" ('(1) '(2))
  "12")

(def-format-test  format.\:^.\:@{.26
  "~:@{~1,1,v:^~A~}" ('(0 4) '(nil 1) '(0 5))
  "4" 1)

(def-format-test  format.\:^.\:@{.27
  "~:@{~v,2,2:^~A~}" ('(3 4) '(1 1) '(4 5))
  "4" 1)

(def-format-test  format.\:^.\:@{.28
  "~:@{~1,v,2:^~A~}" ('(0 2) '(3 4) '(1 1) '(4 5))
  "24" 1)

(def-format-test  format.\:^.\:@{.29
  "~:@{~V,v,3:^~A~}" ('(1 4 0) '(2 1 7) '(4 4 8 0) '(1 2 6) '(9 8 0))
  "078" 1)

(def-format-test  format.\:^.\:@{.30
  "~:@{~v,2,v:^~A~}" ('(1 1 0) '(3 2 5) '(2 1 6) '(1 2 0) '(10 11 13))
  "056" 1)

(def-format-test  format.\:^.\:@{.31
  "~:@{~2,V,v:^~A~}" ('(1 1 0) '(3 2 5) '(2 1 6) '(10 11 13) '(0 1 0))
  "056" 1)

(def-format-test  format.\:^.\:@{.32
  "~:@{~v,v,V:^~A~}" ('(1 2 1 0) '(2 1 1 4) '(2 3 1 6) '(1 2 3) '(0 1 0 8))
  "046" 1)

(def-format-test  format.\:^.\:@{.33
  "~:@{~#,2,2:^~A~}" ('(1 2 3) '(2 X X) '(0 A B C D) '(4 5) '(5 7 8 9))
  "120" 1)

(def-format-test  format.\:^.\:@{.34
  "~:@{~2,#,3:^~A~}" ('(1) '(2 3 4 5) '(3 4) '(4 5 6 7 8) ())
  "12" 2)

(def-format-test  format.\:^.\:@{.35
  "~:@{~1,3,#:^~A~}" ('(1) '(2 3) '(3 4) '(4 5 6) '(5))
  "123" 1)

(def-format-test  format.\:^.\:@{.36
  "~:@{~#,#,2:^~A~}" ('(1 2 3) '(2 X X) '(0 A B C D) '(4 5) '(5 7 8 9))
  "120" 1)

(def-format-test  format.\:^.\:@{.37
  "~:@{~3,#,#:^~A~}" ('(1) '(2 3) '(3 4) '(4 5 6) '(5))
  "123" 1)

(def-format-test  format.\:^.\:@{.38
  "~:@{~#,2,#:^~A~}" ('(1 2 3) '(2) '(0 A B C D) '(4 5) '(5 7 8 9))
  "120" 1)

(def-format-test  format.\:^.\:@{.39
  "~:@{~#,#,#:^~A~}" ('(1 2 3) '(2) '(0 A B C D) '(4 5) '(5 7 8 9))
  "" 4)

;;; ~^ inside ~?, ~@?

(def-format-test format.^.?.1
  "~AY~?X~A" (1 "~A~0^~A" '(2 4) 3)
  "1Y2X3")

(def-format-test format.^.?.2
  "~AY~?X~A" (1 "~A~^~A" '(2) 3)
  "1Y2X3")

(def-format-test format.^.?.3
  "~AY~?X~A" (1 "~A~^~A~^~A" '(2 4) 3)
  "1Y24X3")

(def-format-test format.^.?.4
  "~A~?X~A" (1 "~{~^~A~}~AY~A" '((2 3) 4 5) 6)
  "1234Y5X6")

(def-format-test format.^.@?.1
  "~AY~@?X~A" (1 "~A~0^~A" 2 3 4)
  "1Y2X3" 1)

(def-format-test format.^.@?.2
  "~A~@?X~A" (1 "~{~^~A~}~AY~A" '(2 3) 4 5 6)
  "1234Y5X6")

;;; ~^ in ~[

(def-format-test format.^.\[.1
  "~{~[X~;Y~;Z~;~0^~]~}" ('(0 1 2 3 4))
  "XYZ")

(def-format-test format.^.\[.2
  "~{~[X~;Y~;Z~:;~0^~]~}" ('(1 0 2 8 9 10 0))
  "YXZ")

(def-format-test format.^.\[.3
  "~{~[X~;Y~0^NO~;Z~;~^~]~}" ('(0 1 2 3 4))
  "XY")

;;; ~^ in ~(

(def-format-test format.^.\(.1
  "~{~(~C~C~0^~C~)W~}" ('(#\X #\Y #\Z #\A))
  "xy")

(def-format-test format.^.\:\(.1
  "~{~:(~C~C~0^~C~)U~}" ('(#\X #\Y #\Z #\A))
  "Xy")

(def-format-test format.^.@\(.1
  "~{~@(~CA ~Cb ~0^~C~)V~}" ('(#\x #\y #\Z #\A))
  "Xa yb ")

(def-format-test format.^.@\:\(.1
  "~{~@:(~CA ~Cb ~0^~C~)W~}" ('(#\x #\Y #\Z #\A))
  "XA YB ")