value

char-ascii/c :flat-contract?

value

code-param/c :flat-contract?

value

code-param-list/c :contract?

value

code-param-separator :char-ascii/c

procedure

( code-param->string val)→string?

val:code-param/c

> (code-param->string 22)

"22"

> (code-param->string 7)

"7"

> (code-param->string (char->integer #\λ))

code-param->string: contract violation

expected: (<=/c 127)

given: 955

in: an and/c case of

the 1st argument of

(->

(and/c

natural-number/c

(>=/c 0)

(<=/c 127))

string?)

contract from: <pkgs>/ansi-terminal/main.rkt

blaming: top-level

(assuming the contract is correct)

at: <pkgs>/ansi-terminal/main.rkt:11:24

procedure

( code-param-list->string val)→string?

val:(or/ccode-param/c code-param-list/c )

> (code-param-list->string '(2234))

"22;34"

> (code-param-list->string '(41))

"41"

> (code-param-list->string 46)

"46"

> (code-param-list->string (char->integer #\λ))

code-param-list->string: contract violation

expected: (or/c (and/c natural-number/c (>=/c 0) (<=/c

127)) (listof (and/c natural-number/c (>=/c 0) (<=/c 127))))

given: 955

in: the 1st argument of

(->

(or/c

(and/c

natural-number/c

(>=/c 0)

(<=/c 127))

(listof

(and/c

natural-number/c

(>=/c 0)

(<=/c 127))))

string?)

contract from: <pkgs>/ansi-terminal/main.rkt

blaming: top-level

(assuming the contract is correct)

at: <pkgs>/ansi-terminal/main.rkt:12:24