From 2006557ac87148ba8e02f032151190dd55e44364 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Thu, 4 Jul 2024 10:00:22 +0200 Subject: [PATCH] recursi InductiveParameter --- src/Juvix/Compiler/Internal/Extra/Base.hs | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/src/Juvix/Compiler/Internal/Extra/Base.hs b/src/Juvix/Compiler/Internal/Extra/Base.hs index eb9cc3fd0..7631d7573 100644 --- 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