anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-07-07 04:36:19 +03:00
Code Issues Projects Releases Wiki Activity

recursi InductiveParameter

Browse Source
This commit is contained in:
Jan Mas Rovira 2024-07-04 10:00:22 +02:00
parent 19ad4e9730
commit 2006557ac8
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Juvix/Compiler/Internal/Extra/Base.hs
View File

@ -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