diff options
Diffstat (limited to 'tests/examplefiles/example.hs')
| -rw-r--r-- | tests/examplefiles/example.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/examplefiles/example.hs b/tests/examplefiles/example.hs index 764cab77..8c43b553 100644 --- a/tests/examplefiles/example.hs +++ b/tests/examplefiles/example.hs @@ -39,3 +39,6 @@ type family Fam (a :: Type) = r :: Type where type IntChar = '[Int, Char] type Falsy = 'False type Falsy = '(10, 20, 30) +type EmptyList = '[] +type TypeCons = 1 ': '[] +type Times = 1 '* 2 |