diff --git a/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs b/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs index 15efeaea5..a9bd8fc1a 100644 --- a/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs +++ b/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs @@ -428,7 +428,6 @@ goDeriving Deriving {..} = do _derivingParameters = funArgs, _derivingPragmas } - -- deriveTrait der _derivingPragmas ret name funArgs (n, traitArgs) deriveTrait der deriveArgs deriveTrait ::