| 123456789101112131415161718192021222324252627282930313233343536373839 |
- EXECUTED_PROGRAM
- ret > ExitSuccess
- out > { compiling CompileCatchAll.f
- out > CompileCatchAll.f =
- out > λ a b →
- out > case b of
- out > Agda.Builtin.List.List.[] → 0
- out > Agda.Builtin.List.List._∷_ c _ →
- out > case a of
- out > Agda.Builtin.List.List.[] → c
- out > Agda.Builtin.List.List._∷_ d _ → d
- out > }
- out > { compiling CompileCatchAll.main
- out > CompileCatchAll.main =
- out > Common.IO.then
- out > () () _ _
- out > (Common.IO.printNat
- out > (CompileCatchAll.f
- out > Agda.Builtin.List.List.[] Agda.Builtin.List.List.[]))
- out > (Common.IO.then
- out > () () _ _
- out > (Common.IO.printNat
- out > (CompileCatchAll.f
- out > (Agda.Builtin.List.List._∷_ 1 Agda.Builtin.List.List.[])
- out > Agda.Builtin.List.List.[]))
- out > (Common.IO.then
- out > () () _ _
- out > (Common.IO.printNat
- out > (CompileCatchAll.f
- out > Agda.Builtin.List.List.[]
- out > (Agda.Builtin.List.List._∷_ 2 Agda.Builtin.List.List.[])))
- out > (Common.IO.printNat
- out > (CompileCatchAll.f
- out > (Agda.Builtin.List.List._∷_ 3 Agda.Builtin.List.List.[])
- out > (Agda.Builtin.List.List._∷_ 4 Agda.Builtin.List.List.[])))))
- out > }
- out > 0023
|
