Closed sorawee closed 4 years ago
In https://www.pyret.org/docs/latest/s_spies.html, the code example:
fun reverse(lst, sofar): spy "lengths": lst-length: lst.length(), sofar-length: sofar.length(), sum: lst.length() + sofar.length() end cases(List<A>) lst: | empty => sofar | link(first, rest) => reverse(rest, link(first, sofar)) end end check: reverse([list: "a", "b", "c"], empty) is [list: "c", "b", "a"] end
has an unbound id A in List<A>.
A
List<A>
In https://www.pyret.org/docs/latest/s_spies.html, the code example:
has an unbound id
A
inList<A>
.