blob: 49c0799de524a4df3e0f266e46026e8003945d59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- Recovery of types, polymorphic bindings inside a bkpt
:l QSort
:break 5
qsort [8::Integer, 4]
:p right
seq right ()
:p right
:p left
seq left ()
:p left
length left
:p left
:continue
|