Make it stop

This is just one line of debugging output (the text is wrapped) I'm having to scrutinize as part of debugging InforML.


ConPat lookup (norm): 〈l4 : Lab l5 : Lab l6 : Lab l7 : Lab | α : ⋆ @ (0) [[↑3]] ([] [Sort ()]) β : ⋆ @ (0) [[↑3]] ([] [Sort ()])〉 Spine(0) ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({zB})[↑17] ([] [Sort ()]) ([] [Sort ()])]) [[↑14]] ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({zB})[↑15 o ↑4 o ((0) [[↑6]]).((0) [[↑7]]).((0) [[↑8]]).↑15] ([] [Sort ()]) ([] [Sort ()])]) @ (0) [[↑3]] (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑1]] -(({0B})[↑28]|({1B})[↑28]|({4B})[↑29])→ (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑1]] ([] [Lab -(+)→ ⋆ @ ({3B})[↑29] ([Sort ()])]) @ Need syntax for pos/neg sets [[((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]):⋆ @ (0) [[↑3]] ([] [Sort ()])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑1]] ([⋆ @ (0) [[↑4]] ([] [Sort ()])]):⋆ @ (0) [[↑4]] ([] [Sort ()])).((0) [[↑2]]).((0) [[↑3]]).((0) [[↑4]]).((0) [[↑5]]).↑13]] ([Lab -(+)→ ⋆ @ ({zB})[↑29] ([] [Sort ()])]) @ (0) [[↑2]] -(({yB})[↑28]|Need syntax for pos/neg sets [[((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]):⋆ @ (0) [[↑3]] ([] [Sort ()])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑1]] ([⋆ @ (0) [[↑4]] ([] [Sort ()])]):⋆ @ (0) [[↑4]] ([] [Sort ()])).((0) [[↑2]]).((0) [[↑3]]).((0) [[↑4]]).((0) [[↑5]]).↑13]]|({7B})[↑29])→ (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑2]] -(({8B})[↑29]|({9B})[↑29]|({AC})[↑30])→ Spine(0) ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({BC})[↑17] ([] [Sort ()]) ([] [Sort ()])]) [[↑16]] ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({BC})[↑15 o ↑10 o ((0) [[↑2]]).((0) [[↑1]] [[↑1]] [[↑1]]:(0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑5]] ([⋆ @ (0) [[↑8]] ([] [Sort ()])])).((0) [[↑1]] [[↑1]] [[↑1]] [[↑1]]:Spine(0) ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({zB})[↑17] ([] [Sort ()]) ([] [Sort ()])]) [[↑12]] ([Pi l1 : Lab-(+)→ ⋆ @ (0) -(+)→ Lab -(+)→ ⋆ @ ({zB})[↑15 o ↑7 o ↑1 o ↑4 o ((0)).((0) ([⋆ @ (0) ([] [Sort ()])]) [[↑1]] ([⋆ @ (0) [[↑1]] ([] [Sort ()])]):⋆ @ (0) [[↑1]] ([] [Sort ()])).((0) [[↑2]]).↑4 o ((0)).((0) ([⋆ @ (0) ([] [Sort ()])]) [[↑1]] ([⋆ @ (0) [[↑1]] ([] [Sort ()])]):⋆ @ (0) [[↑1]] ([] [Sort ()])).((0) [[↑2]]).↑4] ([] [Sort ()]) ([] [Sort ()])]) @ (0) [[↑7]] (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑5]] -(({0B})[↑26]|({1B})[↑26]|({4B})[↑27])→ (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑5]] ([] [Lab -(+)→ ⋆ @ ({3B})[↑27] ([Sort ()])]) @ Need syntax for pos/neg sets [[((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑4]] ([⋆ @ (0) [[↑7]] ([] [Sort ()])]):⋆ @ (0) [[↑7]] ([] [Sort ()])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑5]] ([⋆ @ (0) [[↑8]] ([] [Sort ()])]):⋆ @ (0) [[↑8]] ([] [Sort ()])).((0) [[↑6]]).((0) [[↑7]]).((0) [[↑8]]).((0) [[↑8 o ↑1]]).↑11]] ([Lab -(+)→ ⋆ @ ({zB})[↑27] ([] [Sort ()])]) @ (0) [[↑6]] ([] [⋆ @ ({zB})[↑26] ([] [Sort ()])])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑5]] ([⋆ @ (0) [[↑8]] ([] [Sort ()])]):⋆ @ (0) [[↑8]] ([] [Sort ()])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑6]] ([⋆ @ (0) [[↑9]] ([] [Sort ()])]):⋆ @ (0) [[↑9]] ([] [Sort ()])).((0) [[↑7]]).((0) [[↑8]]).((0) [[↑9]]).((0) [[↑10]]).↑17] ([] [Sort ()]) ([] [Sort ()])]) @ (0) [[↑6]] (0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑2]] ([Lab -(+)→ ⋆ @ ({BC})[↑15 o ↑2 o ((0) [[↑8]]).↑15] ([] [Sort ()])]) @ (0) [[↑4]] ([Lab -(+)→ ⋆ @ ({/B})[↑30] ([Sort ()])]) @ ({DC})[↑29] ([] [] [Lab -(+)→ ⋆ @ ({6B})[↑29] ([Sort ()])]) @ Need syntax for pos/neg sets [[((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]):⋆ @ (0) [[↑3]] ([] [Sort ()])).((0) ([⋆ @ (0) [[↑3]] ([] [Sort ()])]) [[↑1]] ([⋆ @ (0) [[↑4]] ([] [Sort ()])]):⋆ @ (0) [[↑4]] ([] [Sort ()])).((0) [[↑2]]).((0) [[↑3]]).((0) [[↑4]]).((0) [[↑5]]).↑13]] ([] [⋆ @ Need syntax for pos/neg sets [[↑7]] ([Sort ()])])

Leave a Comment