@@ -433,7 +433,7 @@ crushIfsHelp visitedBranches unvisitedBranches finally =
433-- DEFINITIONS
433-- DEFINITIONS
435defToStatements :: Opt.Def -> State Int [Statement ()]
435defToStatements :: Opt.Def -> State Int [Statement ()]
436−defToStatements def@(Opt.Definition facts pattern expr) =
436+defToStatements (Opt.Definition facts pattern expr) =
437 case Opt.tailRecursionDetails facts of
437 case Opt.tailRecursionDetails facts of
438 Just name ->
438 Just name ->
439 do func <- generateTailFunction name (Expr.collectLambdas expr)
439 do func <- generateTailFunction name (Expr.collectLambdas expr)