summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/unicode
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2016-06-18 22:44:19 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2016-06-20 16:22:07 +0200
commit46ff80f26d1892e1b50e3f10c5d3fded33da6e81 (patch)
treec53fd835b689b6b64a729a42e4cc6482d8fb5215 /testsuite/tests/parser/unicode
parent7e7094f166b6e475a49e20b98cbca851334aedaf (diff)
downloadhaskell-46ff80f26d1892e1b50e3f10c5d3fded33da6e81.tar.gz
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/parser/unicode')
-rw-r--r--testsuite/tests/parser/unicode/T1103.hs6
-rw-r--r--testsuite/tests/parser/unicode/utf8_024.hs276
2 files changed, 141 insertions, 141 deletions
diff --git a/testsuite/tests/parser/unicode/T1103.hs b/testsuite/tests/parser/unicode/T1103.hs
index 6d10064056..c3062e528b 100644
--- a/testsuite/tests/parser/unicode/T1103.hs
+++ b/testsuite/tests/parser/unicode/T1103.hs
@@ -1,6 +1,6 @@
{-# LANGUAGE UnicodeSyntax #-}
{-
- Three kinds of Unicode tests for our purposes.
+ Three kinds of Unicode tests for our purposes.
-}
module UniTest where
@@ -9,5 +9,5 @@ module UniTest where
てすと3 ∷ IO ()
てすと3 = do
- putStrLn $ show 人間虫 where
- 人間虫 = "humasect"
+ putStrLn $ show 人間虫 where
+ 人間虫 = "humasect"
diff --git a/testsuite/tests/parser/unicode/utf8_024.hs b/testsuite/tests/parser/unicode/utf8_024.hs
index 1e491f75ec..d77a79f8fd 100644
--- a/testsuite/tests/parser/unicode/utf8_024.hs
+++ b/testsuite/tests/parser/unicode/utf8_024.hs
@@ -14,172 +14,172 @@ Here's a selection of characters I pulled from UnicodeData.txt that we
can use to test with:
-- upper/lower case letters
-À LATIN CAPITAL LETTER A WITH GRAVE;Lu;0;L;0041 0300;;;;N;LATIN CAPITAL LETTER A GRAVE;;;00E0;
-à LATIN SMALL LETTER A WITH GRAVE;Ll;0;L;0061 0300;;;;N;LATIN SMALL LETTER A GRAVE;;00C0;;00C0
+À LATIN CAPITAL LETTER A WITH GRAVE;Lu;0;L;0041 0300;;;;N;LATIN CAPITAL LETTER A GRAVE;;;00E0;
+à LATIN SMALL LETTER A WITH GRAVE;Ll;0;L;0061 0300;;;;N;LATIN SMALL LETTER A GRAVE;;00C0;;00C0
-Α GREEK CAPITAL LETTER ALPHA;Lu;0;L;;;;;N;;;;03B1;
-α GREEK SMALL LETTER ALPHA;Ll;0;L;;;;;N;;;0391;;0391
-α GREEK SMALL LETTER ALPHA;Ll;0;L;;;;;N;;;0391;;0391
-β GREEK SMALL LETTER BETA;Ll;0;L;;;;;N;;;0392;;0392
-γ GREEK SMALL LETTER GAMMA;Ll;0;L;;;;;N;;;0393;;0393
-δ GREEK SMALL LETTER DELTA;Ll;0;L;;;;;N;;;0394;;0394
+Α GREEK CAPITAL LETTER ALPHA;Lu;0;L;;;;;N;;;;03B1;
+α GREEK SMALL LETTER ALPHA;Ll;0;L;;;;;N;;;0391;;0391
+α GREEK SMALL LETTER ALPHA;Ll;0;L;;;;;N;;;0391;;0391
+β GREEK SMALL LETTER BETA;Ll;0;L;;;;;N;;;0392;;0392
+γ GREEK SMALL LETTER GAMMA;Ll;0;L;;;;;N;;;0393;;0393
+δ GREEK SMALL LETTER DELTA;Ll;0;L;;;;;N;;;0394;;0394
-Ⴀ GEORGIAN CAPITAL LETTER AN;Lu;0;L;;;;;N;;Khutsuri;;;
-ა GEORGIAN LETTER AN;Lo;0;L;;;;;N;GEORGIAN SMALL LETTER AN;;;;
+Ⴀ GEORGIAN CAPITAL LETTER AN;Lu;0;L;;;;;N;;Khutsuri;;;
+ა GEORGIAN LETTER AN;Lo;0;L;;;;;N;GEORGIAN SMALL LETTER AN;;;;
-Ϣ COPTIC CAPITAL LETTER SHEI;Lu;0;L;;;;;N;GREEK CAPITAL LETTER SHEI;;;03E3;
-ϣ COPTIC SMALL LETTER SHEI;Ll;0;L;;;;;N;GREEK SMALL LETTER SHEI;;03E2;;03E2
+Ϣ COPTIC CAPITAL LETTER SHEI;Lu;0;L;;;;;N;GREEK CAPITAL LETTER SHEI;;;03E3;
+ϣ COPTIC SMALL LETTER SHEI;Ll;0;L;;;;;N;GREEK SMALL LETTER SHEI;;03E2;;03E2
-А CYRILLIC CAPITAL LETTER A;Lu;0;L;;;;;N;;;;0430;
-а CYRILLIC SMALL LETTER A;Ll;0;L;;;;;N;;;0410;;0410
+А CYRILLIC CAPITAL LETTER A;Lu;0;L;;;;;N;;;;0430;
+а CYRILLIC SMALL LETTER A;Ll;0;L;;;;;N;;;0410;;0410
-Ա ARMENIAN CAPITAL LETTER AYB;Lu;0;L;;;;;N;;;;0561;
-ա ARMENIAN SMALL LETTER AYB;Ll;0;L;;;;;N;;;0531;;0531
+Ա ARMENIAN CAPITAL LETTER AYB;Lu;0;L;;;;;N;;;;0561;
+ա ARMENIAN SMALL LETTER AYB;Ll;0;L;;;;;N;;;0531;;0531
-𝐴 MATHEMATICAL ITALIC CAPITAL A;Lu;0;L;<font> 0041;;;;N;;;;;
-𝑎 MATHEMATICAL ITALIC SMALL A;Ll;0;L;<font> 0061;;;;N;;;;;
+𝐴 MATHEMATICAL ITALIC CAPITAL A;Lu;0;L;<font> 0041;;;;N;;;;;
+𝑎 MATHEMATICAL ITALIC SMALL A;Ll;0;L;<font> 0061;;;;N;;;;;
-𝔸 MATHEMATICAL DOUBLE-STRUCK CAPITAL A;Lu;0;L;<font> 0041;;;;N;;;;;
-𝕒 MATHEMATICAL DOUBLE-STRUCK SMALL A;Ll;0;L;<font> 0061;;;;N;;;;;
+𝔸 MATHEMATICAL DOUBLE-STRUCK CAPITAL A;Lu;0;L;<font> 0041;;;;N;;;;;
+𝕒 MATHEMATICAL DOUBLE-STRUCK SMALL A;Ll;0;L;<font> 0061;;;;N;;;;;
-- title case letters
-Dž LATIN CAPITAL LETTER D WITH SMALL LETTER Z WITH CARON;Lt;0;L;<compat> 0044 017E;;;;N;LATIN LETTER CAPITAL D SMALL Z HACEK;;01C4;01C6;01C5
-Lj LATIN CAPITAL LETTER L WITH SMALL LETTER J;Lt;0;L;<compat> 004C 006A;;;;N;LATIN LETTER CAPITAL L SMALL J;;01C7;01C9;01C8
+Dž LATIN CAPITAL LETTER D WITH SMALL LETTER Z WITH CARON;Lt;0;L;<compat> 0044 017E;;;;N;LATIN LETTER CAPITAL D SMALL Z HACEK;;01C4;01C6;01C5
+Lj LATIN CAPITAL LETTER L WITH SMALL LETTER J;Lt;0;L;<compat> 004C 006A;;;;N;LATIN LETTER CAPITAL L SMALL J;;01C7;01C9;01C8
-- small caps
-ᴀ LATIN LETTER SMALL CAPITAL A;Ll;0;L;;;;;N;;;;;
-ᴦ GREEK LETTER SMALL CAPITAL GAMMA;Ll;0;L;;;;;N;;;;;
+ᴀ LATIN LETTER SMALL CAPITAL A;Ll;0;L;;;;;N;;;;;
+ᴦ GREEK LETTER SMALL CAPITAL GAMMA;Ll;0;L;;;;;N;;;;;
-- caseless letters
-ଅ ;ORIYA LETTER A;Lo;0;L;;;;;N;;;;;
-அ TAMIL LETTER A;Lo;0;L;;;;;N;;;;;
-అ TELUGU LETTER A;Lo;0;L;;;;;N;;;;;
-ಅ KANNADA LETTER A;Lo;0;L;;;;;N;;;;;
-അ MALAYALAM LETTER A;Lo;0;L;;;;;N;;;;;
-අ SINHALA LETTER AYANNA;Lo;0;L;;;;;N;;;;;
-ก THAI CHARACTER KO KAI;Lo;0;L;;;;;N;THAI LETTER KO KAI;;;;
-ກ LAO LETTER KO;Lo;0;L;;;;;N;;;;;
-ཀ TIBETAN LETTER KA;Lo;0;L;;;;;N;;;;;
-က MYANMAR LETTER KA;Lo;0;L;;;;;N;;;;;
-ᄀ HANGUL CHOSEONG KIYEOK;Lo;0;L;;;;;N;;g *;;;
-ሀ ETHIOPIC SYLLABLE HA;Lo;0;L;;;;;N;;;;;
-Ꭰ CHEROKEE LETTER A;Lo;0;L;;;;;N;;;;;
-ᐁ CANADIAN SYLLABICS E;Lo;0;L;;;;;N;;;;;
-ᚁ OGHAM LETTER BEITH;Lo;0;L;;;;;N;;;;;
-ᚠ RUNIC LETTER FEHU FEOH FE F;Lo;0;L;;;;;N;;;;;
-ᜀ TAGALOG LETTER A;Lo;0;L;;;;;N;;;;;
-ᜠ HANUNOO LETTER A;Lo;0;L;;;;;N;;;;;
-ᝀ BUHID LETTER A;Lo;0;L;;;;;N;;;;;
-ᝠ TAGBANWA LETTER A;Lo;0;L;;;;;N;;;;;
-ក KHMER LETTER KA;Lo;0;L;;;;;N;;;;;
-ᠠ MONGOLIAN LETTER A;Lo;0;L;;;;;N;;;;;
-ᤁ LIMBU LETTER KA;Lo;0;L;;;;;N;;;;;
-ᥐ TAI LE LETTER KA;Lo;0;L;;;;;N;;;;;
-ぁ HIRAGANA LETTER SMALL A;Lo;0;L;;;;;N;;;;;
-ア KATAKANA LETTER A;Lo;0;L;;;;;N;;;;;
-ㄅ BOPOMOFO LETTER B;Lo;0;L;;;;;N;;;;;
-ㄱ HANGUL LETTER KIYEOK;Lo;0;L;<compat> 1100;;;;N;HANGUL LETTER GIYEOG;;;;
-ㆠ BOPOMOFO LETTER BU;Lo;0;L;;;;;N;;;;;
-ꀀ YI SYLLABLE IT;Lo;0;L;;;;;N;;;;;
+ଅ ;ORIYA LETTER A;Lo;0;L;;;;;N;;;;;
+அ TAMIL LETTER A;Lo;0;L;;;;;N;;;;;
+అ TELUGU LETTER A;Lo;0;L;;;;;N;;;;;
+ಅ KANNADA LETTER A;Lo;0;L;;;;;N;;;;;
+അ MALAYALAM LETTER A;Lo;0;L;;;;;N;;;;;
+අ SINHALA LETTER AYANNA;Lo;0;L;;;;;N;;;;;
+ก THAI CHARACTER KO KAI;Lo;0;L;;;;;N;THAI LETTER KO KAI;;;;
+ກ LAO LETTER KO;Lo;0;L;;;;;N;;;;;
+ཀ TIBETAN LETTER KA;Lo;0;L;;;;;N;;;;;
+က MYANMAR LETTER KA;Lo;0;L;;;;;N;;;;;
+ᄀ HANGUL CHOSEONG KIYEOK;Lo;0;L;;;;;N;;g *;;;
+ሀ ETHIOPIC SYLLABLE HA;Lo;0;L;;;;;N;;;;;
+Ꭰ CHEROKEE LETTER A;Lo;0;L;;;;;N;;;;;
+ᐁ CANADIAN SYLLABICS E;Lo;0;L;;;;;N;;;;;
+ᚁ OGHAM LETTER BEITH;Lo;0;L;;;;;N;;;;;
+ᚠ RUNIC LETTER FEHU FEOH FE F;Lo;0;L;;;;;N;;;;;
+ᜀ TAGALOG LETTER A;Lo;0;L;;;;;N;;;;;
+ᜠ HANUNOO LETTER A;Lo;0;L;;;;;N;;;;;
+ᝀ BUHID LETTER A;Lo;0;L;;;;;N;;;;;
+ᝠ TAGBANWA LETTER A;Lo;0;L;;;;;N;;;;;
+ក KHMER LETTER KA;Lo;0;L;;;;;N;;;;;
+ᠠ MONGOLIAN LETTER A;Lo;0;L;;;;;N;;;;;
+ᤁ LIMBU LETTER KA;Lo;0;L;;;;;N;;;;;
+ᥐ TAI LE LETTER KA;Lo;0;L;;;;;N;;;;;
+ぁ HIRAGANA LETTER SMALL A;Lo;0;L;;;;;N;;;;;
+ア KATAKANA LETTER A;Lo;0;L;;;;;N;;;;;
+ㄅ BOPOMOFO LETTER B;Lo;0;L;;;;;N;;;;;
+ㄱ HANGUL LETTER KIYEOK;Lo;0;L;<compat> 1100;;;;N;HANGUL LETTER GIYEOG;;;;
+ㆠ BOPOMOFO LETTER BU;Lo;0;L;;;;;N;;;;;
+ꀀ YI SYLLABLE IT;Lo;0;L;;;;;N;;;;;
-- spaces
-  NO-BREAK SPACE;Zs;0;CS;<noBreak> 0020;;;;N;NON-BREAKING SPACE;;;;
-  EN QUAD;Zs;0;WS;2002;;;;N;;;;;
-  EN SPACE;Zs;0;WS;<compat> 0020;;;;N;;;;;
-  THIN SPACE;Zs;0;WS;<compat> 0020;;;;N;;;;;
-​ ZERO WIDTH SPACE;Zs;0;BN;;;;;N;;;;;
+  NO-BREAK SPACE;Zs;0;CS;<noBreak> 0020;;;;N;NON-BREAKING SPACE;;;;
+  EN QUAD;Zs;0;WS;2002;;;;N;;;;;
+  EN SPACE;Zs;0;WS;<compat> 0020;;;;N;;;;;
+  THIN SPACE;Zs;0;WS;<compat> 0020;;;;N;;;;;
+​ ZERO WIDTH SPACE;Zs;0;BN;;;;;N;;;;;
-- some symbols we might find useful in Haskell
-← LEFTWARDS ARROW;Sm;0;ON;;;;;N;LEFT ARROW;;;;
-→ RIGHTWARDS ARROW;Sm;0;ON;;;;;N;RIGHT ARROW;;;;
-‖ DOUBLE VERTICAL LINE;Po;0;ON;;;;;N;DOUBLE VERTICAL BAR;;;;
-∀ FOR ALL;Sm;0;ON;;;;;N;;;;;
-∁ COMPLEMENT;Sm;0;ON;;;;;Y;;;;;
-∃ THERE EXISTS;Sm;0;ON;;;;;Y;;;;;
-∄ THERE DOES NOT EXIST;Sm;0;ON;2203 0338;;;;Y;;;;;
-∅ EMPTY SET;Sm;0;ON;;;;;N;;;;;
-∆ INCREMENT;Sm;0;ON;;;;;N;;;;;
-∇ NABLA;Sm;0;ON;;;;;N;;;;;
-∈ ELEMENT OF;Sm;0;ON;;;;;Y;;;;;
-∉ NOT AN ELEMENT OF;Sm;0;ON;2208 0338;;;;Y;;;;;
-∏ N-ARY PRODUCT;Sm;0;ON;;;;;N;;;;;
-∑ N-ARY SUMMATION;Sm;0;ON;;;;;Y;;;;;
-− MINUS SIGN;Sm;0;ET;;;;;N;;;;;
-∓ MINUS-OR-PLUS SIGN;Sm;0;ET;;;;;N;;;;;
-∕ DIVISION SLASH;Sm;0;ON;;;;;Y;;;;;
-∘ RING OPERATOR;Sm;0;ON;;;;;N;;;;;
-∙ BULLET OPERATOR;Sm;0;ON;;;;;N;;;;;
-√ SQUARE ROOT;Sm;0;ON;;;;;Y;;;;;
-∧ LOGICAL AND;Sm;0;ON;;;;;N;;;;;
-∨ LOGICAL OR;Sm;0;ON;;;;;N;;;;;
-∩ INTERSECTION;Sm;0;ON;;;;;N;;;;;
-∪ UNION;Sm;0;ON;;;;;N;;;;;
-≃ ASYMPTOTICALLY EQUAL TO;Sm;0;ON;;;;;Y;;;;;
-≈ ALMOST EQUAL TO;Sm;0;ON;;;;;Y;;;;;
-≠ NOT EQUAL TO;Sm;0;ON;003D 0338;;;;Y;;;;;
-≙ ESTIMATES;Sm;0;ON;;;;;N;;;;;
-≤ LESS-THAN OR EQUAL TO;Sm;0;ON;;;;;Y;LESS THAN OR EQUAL TO;;;;
-≥ GREATER-THAN OR EQUAL TO;Sm;0;ON;;;;;Y;GREATER THAN OR EQUAL TO;;;;
-≪ MUCH LESS-THAN;Sm;0;ON;;;;;Y;MUCH LESS THAN;;;;
-≫ MUCH GREATER-THAN;Sm;0;ON;;;;;Y;MUCH GREATER THAN;;;;
-⊂ SUBSET OF;Sm;0;ON;;;;;Y;;;;;
-⊃ SUPERSET OF;Sm;0;ON;;;;;Y;;;;;
-⊄ NOT A SUBSET OF;Sm;0;ON;2282 0338;;;;Y;;;;;
-⊅ NOT A SUPERSET OF;Sm;0;ON;2283 0338;;;;Y;;;;;
-⊆ SUBSET OF OR EQUAL TO;Sm;0;ON;;;;;Y;;;;;
-⊇ SUPERSET OF OR EQUAL TO;Sm;0;ON;;;;;Y;;;;;
-⊕ CIRCLED PLUS;Sm;0;ON;;;;;N;;;;;
-⊖ CIRCLED MINUS;Sm;0;ON;;;;;N;;;;;
-⊗ CIRCLED TIMES;Sm;0;ON;;;;;N;;;;;
-⊘ CIRCLED DIVISION SLASH;Sm;0;ON;;;;;Y;;;;;
-⊙ CIRCLED DOT OPERATOR;Sm;0;ON;;;;;N;;;;;
-⊢ RIGHT TACK;Sm;0;ON;;;;;Y;;;;;
-⊣ LEFT TACK;Sm;0;ON;;;;;Y;;;;;
-⊤ DOWN TACK;Sm;0;ON;;;;;N;;;;;
-⊥ UP TACK;Sm;0;ON;;;;;N;;;;;
-⊦ ASSERTION;Sm;0;ON;;;;;Y;;;;;
-⊧ MODELS;Sm;0;ON;;;;;Y;;;;;
-⊨ TRUE;Sm;0;ON;;;;;Y;;;;;
-⋂ N-ARY INTERSECTION;Sm;0;ON;;;;;N;;;;;
-⋃ N-ARY UNION;Sm;0;ON;;;;;N;;;;;
-⋅ DOT OPERATOR;Sm;0;ON;;;;;N;;;;;
-⋯ MIDLINE HORIZONTAL ELLIPSIS;Sm;0;ON;;;;;N;;;;;
-〈 LEFT-POINTING ANGLE BRACKET;Ps;0;ON;3008;;;;Y;BRA;;;;
-〉 RIGHT-POINTING ANGLE BRACKET;Pe;0;ON;3009;;;;Y;KET;;;;
-☹ WHITE FROWNING FACE;So;0;ON;;;;;N;;;;;
-☺ WHITE SMILING FACE;So;0;ON;;;;;N;;;;;
-⧺ DOUBLE PLUS;Sm;0;ON;;;;;N;;;;;
+← LEFTWARDS ARROW;Sm;0;ON;;;;;N;LEFT ARROW;;;;
+→ RIGHTWARDS ARROW;Sm;0;ON;;;;;N;RIGHT ARROW;;;;
+‖ DOUBLE VERTICAL LINE;Po;0;ON;;;;;N;DOUBLE VERTICAL BAR;;;;
+∀ FOR ALL;Sm;0;ON;;;;;N;;;;;
+∁ COMPLEMENT;Sm;0;ON;;;;;Y;;;;;
+∃ THERE EXISTS;Sm;0;ON;;;;;Y;;;;;
+∄ THERE DOES NOT EXIST;Sm;0;ON;2203 0338;;;;Y;;;;;
+∅ EMPTY SET;Sm;0;ON;;;;;N;;;;;
+∆ INCREMENT;Sm;0;ON;;;;;N;;;;;
+∇ NABLA;Sm;0;ON;;;;;N;;;;;
+∈ ELEMENT OF;Sm;0;ON;;;;;Y;;;;;
+∉ NOT AN ELEMENT OF;Sm;0;ON;2208 0338;;;;Y;;;;;
+∏ N-ARY PRODUCT;Sm;0;ON;;;;;N;;;;;
+∑ N-ARY SUMMATION;Sm;0;ON;;;;;Y;;;;;
+− MINUS SIGN;Sm;0;ET;;;;;N;;;;;
+∓ MINUS-OR-PLUS SIGN;Sm;0;ET;;;;;N;;;;;
+∕ DIVISION SLASH;Sm;0;ON;;;;;Y;;;;;
+∘ RING OPERATOR;Sm;0;ON;;;;;N;;;;;
+∙ BULLET OPERATOR;Sm;0;ON;;;;;N;;;;;
+√ SQUARE ROOT;Sm;0;ON;;;;;Y;;;;;
+∧ LOGICAL AND;Sm;0;ON;;;;;N;;;;;
+∨ LOGICAL OR;Sm;0;ON;;;;;N;;;;;
+∩ INTERSECTION;Sm;0;ON;;;;;N;;;;;
+∪ UNION;Sm;0;ON;;;;;N;;;;;
+≃ ASYMPTOTICALLY EQUAL TO;Sm;0;ON;;;;;Y;;;;;
+≈ ALMOST EQUAL TO;Sm;0;ON;;;;;Y;;;;;
+≠ NOT EQUAL TO;Sm;0;ON;003D 0338;;;;Y;;;;;
+≙ ESTIMATES;Sm;0;ON;;;;;N;;;;;
+≤ LESS-THAN OR EQUAL TO;Sm;0;ON;;;;;Y;LESS THAN OR EQUAL TO;;;;
+≥ GREATER-THAN OR EQUAL TO;Sm;0;ON;;;;;Y;GREATER THAN OR EQUAL TO;;;;
+≪ MUCH LESS-THAN;Sm;0;ON;;;;;Y;MUCH LESS THAN;;;;
+≫ MUCH GREATER-THAN;Sm;0;ON;;;;;Y;MUCH GREATER THAN;;;;
+⊂ SUBSET OF;Sm;0;ON;;;;;Y;;;;;
+⊃ SUPERSET OF;Sm;0;ON;;;;;Y;;;;;
+⊄ NOT A SUBSET OF;Sm;0;ON;2282 0338;;;;Y;;;;;
+⊅ NOT A SUPERSET OF;Sm;0;ON;2283 0338;;;;Y;;;;;
+⊆ SUBSET OF OR EQUAL TO;Sm;0;ON;;;;;Y;;;;;
+⊇ SUPERSET OF OR EQUAL TO;Sm;0;ON;;;;;Y;;;;;
+⊕ CIRCLED PLUS;Sm;0;ON;;;;;N;;;;;
+⊖ CIRCLED MINUS;Sm;0;ON;;;;;N;;;;;
+⊗ CIRCLED TIMES;Sm;0;ON;;;;;N;;;;;
+⊘ CIRCLED DIVISION SLASH;Sm;0;ON;;;;;Y;;;;;
+⊙ CIRCLED DOT OPERATOR;Sm;0;ON;;;;;N;;;;;
+⊢ RIGHT TACK;Sm;0;ON;;;;;Y;;;;;
+⊣ LEFT TACK;Sm;0;ON;;;;;Y;;;;;
+⊤ DOWN TACK;Sm;0;ON;;;;;N;;;;;
+⊥ UP TACK;Sm;0;ON;;;;;N;;;;;
+⊦ ASSERTION;Sm;0;ON;;;;;Y;;;;;
+⊧ MODELS;Sm;0;ON;;;;;Y;;;;;
+⊨ TRUE;Sm;0;ON;;;;;Y;;;;;
+⋂ N-ARY INTERSECTION;Sm;0;ON;;;;;N;;;;;
+⋃ N-ARY UNION;Sm;0;ON;;;;;N;;;;;
+⋅ DOT OPERATOR;Sm;0;ON;;;;;N;;;;;
+⋯ MIDLINE HORIZONTAL ELLIPSIS;Sm;0;ON;;;;;N;;;;;
+〈 LEFT-POINTING ANGLE BRACKET;Ps;0;ON;3008;;;;Y;BRA;;;;
+〉 RIGHT-POINTING ANGLE BRACKET;Pe;0;ON;3009;;;;Y;KET;;;;
+☹ WHITE FROWNING FACE;So;0;ON;;;;;N;;;;;
+☺ WHITE SMILING FACE;So;0;ON;;;;;N;;;;;
+⧺ DOUBLE PLUS;Sm;0;ON;;;;;N;;;;;
-- other random symbols
-☣ BIOHAZARD SIGN;So;0;ON;;;;;N;;;;;
-𝄬 MUSICAL SYMBOL FLAT UP;So;0;L;;;;;N;;;;;
-𝌋 TETRAGRAM FOR CONTRARIETY;So;0;ON;;;;;N;;;;;
+☣ BIOHAZARD SIGN;So;0;ON;;;;;N;;;;;
+𝄬 MUSICAL SYMBOL FLAT UP;So;0;L;;;;;N;;;;;
+𝌋 TETRAGRAM FOR CONTRARIETY;So;0;ON;;;;;N;;;;;
-- braille
-⡍ ;BRAILLE PATTERN DOTS-1347;So;0;ON;;;;;N;;;;;
-⣿ ;BRAILLE PATTERN DOTS-12345678;So;0;ON;;;;;N;;;;;
+⡍ ;BRAILLE PATTERN DOTS-1347;So;0;ON;;;;;N;;;;;
+⣿ ;BRAILLE PATTERN DOTS-12345678;So;0;ON;;;;;N;;;;;
-- numbers
-Ⅰ ;ROMAN NUMERAL ONE;Nl;0;L;<compat> 0049;;;1;N;;;;2170;
-Ⅼ ;ROMAN NUMERAL FIFTY;Nl;0;L;<compat> 004C;;;50;N;;;;217C;
-① ;CIRCLED DIGIT ONE;No;0;EN;<circle> 0031;;1;1;N;;;;;
-⑴ ;PARENTHESIZED DIGIT ONE;No;0;EN;<compat> 0028 0031 0029;;1;1;N;;;;;
-⒈ ;DIGIT ONE FULL STOP;No;0;EN;<compat> 0031 002E;;1;1;N;DIGIT ONE PERIOD;;;;
+Ⅰ ;ROMAN NUMERAL ONE;Nl;0;L;<compat> 0049;;;1;N;;;;2170;
+Ⅼ ;ROMAN NUMERAL FIFTY;Nl;0;L;<compat> 004C;;;50;N;;;;217C;
+① ;CIRCLED DIGIT ONE;No;0;EN;<circle> 0031;;1;1;N;;;;;
+⑴ ;PARENTHESIZED DIGIT ONE;No;0;EN;<compat> 0028 0031 0029;;1;1;N;;;;;
+⒈ ;DIGIT ONE FULL STOP;No;0;EN;<compat> 0031 002E;;1;1;N;DIGIT ONE PERIOD;;;;
-}
module Main where
-- Test upper-case recognition:
-data T
- = À -- latin
- | Α -- greek
- | Ⴀ -- georgian
- | Ϣ -- coptic
- | А -- cyrillic
- | Ա -- armenian
- | 𝐴 -- maths italic
- | 𝔸 -- maths double-struck
- | Dž -- title case latin
+data T
+ = À -- latin
+ | Α -- greek
+ | Ⴀ -- georgian
+ | Ϣ -- coptic
+ | А -- cyrillic
+ | Ա -- armenian
+ | 𝐴 -- maths italic
+ | 𝔸 -- maths double-struck
+ | Dž -- title case latin
-- Test lower-case recognition:
à α ϣ а ա 𝑎 𝕒 ᴀ ᴦ = undefined