mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-21 02:31:50 +03:00
122 lines
20 KiB
Plaintext
122 lines
20 KiB
Plaintext
000018(:protocol-version 2 0)
|
|
00003e(:write-string "1/1: Building LetBinders (LetBinders.idr)" 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 1 1) (:end 1 6)) ((:decor :keyword)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 1 8) (:end 1 17)) ((:decor :module)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 3 1) (:end 3 5)) ((:decor :keyword)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 3 7) (:end 3 7)) ((:decor :keyword)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 1) (:end 4 6)) ((:decor :keyword)))))) 1)
|
|
000073(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 8) (:end 4 12)) ((:decor :type)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 14) (:end 4 14)) ((:decor :keyword)))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 15) (:end 4 15)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 17) (:end 4 17)) ((:decor :keyword)))))) 1)
|
|
000074(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 19) (:end 4 22)) ((:decor :type)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 23) (:end 4 23)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 4 25) (:end 4 29)) ((:decor :keyword)))))) 1)
|
|
000074(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 5 15) (:end 5 19)) ((:decor :data)))))) 1)
|
|
000076(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 6 3) (:end 6 6)) ((:decor :function)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 6 8) (:end 6 8)) ((:decor :keyword)))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 6 10) (:end 6 10)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000076(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 3) (:end 7 6)) ((:decor :function)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 8) (:end 7 8)) ((:decor :keyword)))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 10) (:end 7 13)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 10) (:end 7 13)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 10) (:end 7 13)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 7 15) (:end 7 15)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000076(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 1) (:end 9 4)) ((:decor :function)))))) 1)
|
|
000075(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 6) (:end 9 6)) ((:decor :keyword)))))) 1)
|
|
0000d8(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 8) (:end 9 12)) ((:name "List1") (:namespace "LetBinders") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 14) (:end 9 14)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 16) (:end 9 17)) ((:decor :keyword)))))) 1)
|
|
0000d9(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 19) (:end 9 23)) ((:name "List1") (:namespace "LetBinders") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 9 25) (:end 9 25)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 10 1) (:end 10 4)) ((:name "swap") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 10 6) (:end 10 8)) ((:name "aas") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 10 10) (:end 10 10)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 3) (:end 11 5)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 7) (:end 11 7)) ((:decor :keyword)))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 8) (:end 11 8)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d9(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 10) (:end 11 12)) ((:name ":::") (:namespace "LetBinders") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cf(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 14) (:end 11 15)) ((:name "as") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 16) (:end 11 16)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 18) (:end 11 19)) ((:decor :keyword)))))) 1)
|
|
0000d0(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 21) (:end 11 23)) ((:name "aas") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 11 25) (:end 11 26)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 3) (:end 12 5)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 7) (:end 12 7)) ((:decor :keyword)))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 8) (:end 12 8)) ((:name "b") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 10) (:end 12 11)) ((:name "::") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cf(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 13) (:end 12 14)) ((:name "bs") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 15) (:end 12 15)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 17) (:end 12 17)) ((:decor :keyword)))))) 1)
|
|
0000cf(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 12 19) (:end 12 20)) ((:name "as") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 9) (:end 13 9)) ((:decor :keyword)))))) 1)
|
|
0000dd(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 11) (:end 13 12)) ((:name "Nil") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 14) (:end 13 15)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 17) (:end 13 17)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d9(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 19) (:end 13 21)) ((:name ":::") (:namespace "LetBinders") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dd(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 13 23) (:end 13 24)) ((:name "Nil") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d0(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 14 7) (:end 14 10)) ((:name "rest") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 14 12) (:end 14 12)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 14 14) (:end 14 14)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 14 16) (:end 14 17)) ((:name "::") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000cf(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 14 19) (:end 14 20)) ((:name "bs") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 15 3) (:end 15 4)) ((:decor :keyword)))))) 1)
|
|
0000cc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 15 6) (:end 15 6)) ((:name "b") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d8(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 15 8) (:end 15 10)) ((:name ":::") (:namespace "LetBinders") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d1(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 15 12) (:end 15 15)) ((:name "rest") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000078(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 1) (:end 17 8)) ((:decor :function)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 10) (:end 17 10)) ((:decor :keyword)))))) 1)
|
|
0000de(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 12) (:end 17 15)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 17) (:end 17 17)) ((:decor :keyword)))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 18) (:end 17 20)) ((:name "Nat") (:namespace "Prelude.Types") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d7(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 21) (:end 17 21)) ((:name "Pair") (:namespace "Builtin") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 23) (:end 17 23)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 24) (:end 17 24)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 26) (:end 17 27)) ((:decor :keyword)))))) 1)
|
|
0000de(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 29) (:end 17 32)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 34) (:end 17 34)) ((:decor :keyword)))))) 1)
|
|
0000de(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 35) (:end 17 38)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 40) (:end 17 40)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 17 41) (:end 17 41)) ((:decor :keyword)))))) 1)
|
|
0000e0(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 18 1) (:end 18 8)) ((:name "identity") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 18 10) (:end 18 10)) ((:decor :keyword)))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 19 3) (:end 19 5)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 5) (:end 21 13)) ((:decor :function)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 15) (:end 21 15)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 17) (:end 21 17)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 18) (:end 21 18)) ((:name "n") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 20) (:end 21 20)) ((:decor :keyword)))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 22) (:end 21 24)) ((:name "Nat") (:namespace "Prelude.Types") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 25) (:end 21 25)) ((:decor :keyword)))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 27) (:end 21 28)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 30) (:end 21 30)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 32) (:end 21 33)) ((:decor :keyword)))))) 1)
|
|
0000de(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 35) (:end 21 38)) ((:name "List") (:namespace "Prelude.Basics") (:decor :type) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 21 40) (:end 21 40)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000e2(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 22 5) (:end 22 13)) ((:name "replicate") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000da(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 22 15) (:end 22 15)) ((:name "Z") (:namespace "Prelude.Types") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 22 17) (:end 22 17)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 22 19) (:end 22 19)) ((:decor :keyword)))))) 1)
|
|
0000dd(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 22 21) (:end 22 22)) ((:name "Nil") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000e2(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 5) (:end 23 13)) ((:name "replicate") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 15) (:end 23 15)) ((:decor :keyword)))))) 1)
|
|
0000da(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 16) (:end 23 16)) ((:name "S") (:namespace "Prelude.Types") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 18) (:end 23 18)) ((:name "n") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 19) (:end 23 19)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 21) (:end 23 21)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 23) (:end 23 23)) ((:decor :keyword)))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 25) (:end 23 25)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000dc(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 27) (:end 23 28)) ((:name "::") (:namespace "Prelude.Basics") (:decor :data) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000e3(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 30) (:end 23 38)) ((:name "replicate") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 40) (:end 23 40)) ((:name "n") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000ce(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 23 42) (:end 23 42)) ((:name "a") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d3(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 25 5) (:end 25 11)) ((:name "closure") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000079(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 25 13) (:end 25 14)) ((:decor :keyword)))))) 1)
|
|
0000e5(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 25 16) (:end 25 22)) ((:name "uncurry") (:namespace "Prelude.Basics") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000e3(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 25 24) (:end 25 32)) ((:name "replicate") (:namespace "LetBinders") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000077(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 27 3) (:end 27 4)) ((:decor :keyword)))))) 1)
|
|
0000e3(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 27 6) (:end 27 8)) ((:name "map") (:namespace "Prelude.Interfaces") (:decor :function) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
0000d4(:output (:ok (:highlight-source ((((:filename "LetBinders.idr") (:start 27 10) (:end 27 16)) ((:name "closure") (:namespace "") (:decor :bound) (:implicit :False) (:key "") (:doc-overview "") (:type "")))))) 1)
|
|
000015(:return (:ok ()) 1)
|
|
Alas the file is done, aborting
|