recursi InductiveParameter

anoma · Jul 4, 2024 · 2006557 · 2006557
1 parent 19ad4e9
commit 2006557
Showing 1 changed file with 7 additions and 9 deletions.
diff --git a/src/Juvix/Compiler/Internal/Extra/Base.hs b/src/Juvix/Compiler/Internal/Extra/Base.hs
@@ -272,15 +272,13 @@ instance HasExpressions AxiomDef where
         }
 
 instance HasExpressions InductiveParameter where
-  directExpressions _ = pure
-
--- do
--- ty' <- directExpressions f _inductiveParamType
--- pure
---   InductiveParameter
---     { _inductiveParamType = ty',
---       _inductiveParamName
---     }
+  directExpressions f InductiveParameter {..} = do
+    ty' <- directExpressions f _inductiveParamType
+    pure
+      InductiveParameter
+        { _inductiveParamType = ty',
+          _inductiveParamName
+        }
 
 instance HasExpressions InductiveDef where
   directExpressions f InductiveDef {..} = do