| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- EXECUTED_PROGRAM
- ret > ExitSuccess
- out > -- used args: _ _ _ _ e f g
- out > UnusedArguments.maybe[stripped] =
- out > λ a b c →
- out > case c of
- out > Common.Maybe.Maybe.nothing → a
- out > Common.Maybe.Maybe.just d → b d
- out > UnusedArguments.maybe =
- out > λ _ _ _ _ a b c →
- out > case c of
- out > Common.Maybe.Maybe.nothing → a
- out > Common.Maybe.Maybe.just d → b d
- out > -- used args: _ _ _ _ e f
- out > UnusedArguments.mapMaybe[stripped] =
- out > λ a b →
- out > UnusedArguments.maybe
- out > _ _ _ _ Common.Maybe.Maybe.nothing
- out > (λ c → Common.Maybe.Maybe.just (a c)) b
- out > UnusedArguments.mapMaybe =
- out > λ _ _ _ _ a b →
- out > UnusedArguments.maybe
- out > _ _ _ _ Common.Maybe.Maybe.nothing
- out > (λ c → Common.Maybe.Maybe.just (a c)) b
- out > UnusedArguments.maybeToNat =
- out > λ a → UnusedArguments.maybe _ _ _ _ 0 (λ b → b) a
- out > -- used args: _ _ c d e
- out > UnusedArguments.foldr[stripped] =
- out > λ a b c →
- out > case c of
- out > Agda.Builtin.List.List.[] → b
- out > Agda.Builtin.List.List._∷_ d e →
- out > a d (UnusedArguments.foldr _ _ a b e)
- out > UnusedArguments.foldr =
- out > λ _ _ a b c →
- out > case c of
- out > Agda.Builtin.List.List.[] → b
- out > Agda.Builtin.List.List._∷_ d e →
- out > a d (UnusedArguments.foldr _ _ a b e)
- out > UnusedArguments.main =
- out > Common.IO.then
- out > () () _ _
- out > (Common.IO.printNat
- out > (UnusedArguments.maybeToNat (Common.Maybe.Maybe.just 42)))
- out > (Common.IO.then
- out > () () _ _
- out > (Common.IO.printNat
- out > (UnusedArguments.maybeToNat
- out > (UnusedArguments.mapMaybe
- out > _ _ _ _ (_+_ 10) (Common.Maybe.Maybe.just 42))))
- out > (Common.IO.printNat
- out > (UnusedArguments.foldr
- out > _ _ _+_ 0
- out > (Agda.Builtin.List.List._∷_
- out > 1
- out > (Agda.Builtin.List.List._∷_
- out > 2
- out > (Agda.Builtin.List.List._∷_
- out > 3 (Agda.Builtin.List.List._∷_ 4 Agda.Builtin.List.List.[])))))))
- out > 425210
|
