diff options
| author | Georg Brandl <georg@python.org> | 2017-01-17 08:25:28 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2017-01-17 08:25:28 +0100 |
| commit | 94d23ec1b83cd66509e8d16c1ae69f31d2b6013d (patch) | |
| tree | 50b926397ed4b49b771d51aa52c4663fe270873d /tests/examplefiles/example.hs | |
| parent | d410f2237de3b47650f69d4f4f2dae310aa6097e (diff) | |
| parent | 36b8fb2096c234912ed0242a1c76a102d8f0fdc0 (diff) | |
| download | pygments-git-94d23ec1b83cd66509e8d16c1ae69f31d2b6013d.tar.gz | |
Merged in jayvdb/pygments-main (pull request #665)
Provide explanation when a test is skipped
Diffstat (limited to 'tests/examplefiles/example.hs')
| -rw-r--r-- | tests/examplefiles/example.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/examplefiles/example.hs b/tests/examplefiles/example.hs index f5e2b555..764cab77 100644 --- a/tests/examplefiles/example.hs +++ b/tests/examplefiles/example.hs @@ -29,3 +29,13 @@ data ĈrazyThings = -- some char literals: charl = ['"', 'a', '\ESC', '\'', ' '] + +-- closed type families +type family Fam (a :: Type) = r :: Type where + Fam Int = True + Fam a = False + +-- type literals +type IntChar = '[Int, Char] +type Falsy = 'False +type Falsy = '(10, 20, 30) |