diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-03-17 23:08:38 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-03-17 23:08:52 +0100 |
| commit | cc61cdc000481f9dc88253342c328bdb99d048a4 (patch) | |
| tree | d1959086d000b3e54a9e45a7f309206e2a24b958 /examples/test-kinds.hs | |
| parent | e7bed242ba52e6d3233928f2c6189e701cfa5e4c (diff) | |
Typecheck work; solver is incorrect
Diffstat (limited to 'examples/test-kinds.hs')
| -rw-r--r-- | examples/test-kinds.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/examples/test-kinds.hs b/examples/test-kinds.hs new file mode 100644 index 0000000..1e2c18c --- /dev/null +++ b/examples/test-kinds.hs @@ -0,0 +1,17 @@ +data Tree a + = Node (Tree a) a (Tree a) + | Leaf + +data A f = A1 (f ()) | A2 (f (Tree ())) + +data Either a b = Left a | Right b + +data ExceptT e m a = ExceptT (Either e (m a)) + +data TreeF a r + = NodeF r a r + | LeafF + +data Fix f = In (f (Fix f)) + +data Tree' a = Tree' (Fix (TreeF a)) |