From 3220adaee3784fae756a6ed844fc0d9f1a63240a Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Wed, 29 Jan 2025 20:47:03 -0800 Subject: [PATCH] [ fix ] fix invalid forward declaration --- src/Test/Derive.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Test/Derive.idr b/src/Test/Derive.idr index f742cf0..f5957b9 100644 --- a/src/Test/Derive.idr +++ b/src/Test/Derive.idr @@ -108,7 +108,7 @@ data Full a = Leaf a | Node (Full (a, a)) -- Mutual Recursion -------------------------------------------------------------------------------- -data Tree : Type -> Type where +data Tree : Type -> Type record Forest a where constructor MkForest