pigeonhole/tests/compile/errors/encoded-character.sieve


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

/*
 * Encoded-character errors
 *
 * Total errors: 2 (+1 = 3)
 */

require "encoded-character";
require "fileinto";

# Invalid unicode character (1)
fileinto "INBOX.${unicode:200000}";

# Not an error
fileinto "INBOX.${unicode:200000";

# Invalid unicode character (2)
fileinto "INBOX.${Unicode:DF01}";

# Not an error
fileinto "INBOX.${Unicode:DF01";