From cc61cdc000481f9dc88253342c328bdb99d048a4 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sun, 17 Mar 2024 23:08:38 +0100 Subject: Typecheck work; solver is incorrect --- examples/test-kinds.hs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 examples/test-kinds.hs (limited to 'examples') 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)) -- cgit v1.2.3-70-g09d2