标签： for-loop if-statement index-error
给出一个整数序列作为数组，确定是否可以通过从数组中删除不超过一个元素来获得严格递增的序列。这是我要解决的问题。
如果我使用此代码，它将给我一个索引错误。但是，如果我将所有内容保持不变，并将条件del sequence [i]更改为其他内容，则不会出现错误。但是，我想删除列表中所有小于其前数字的数字，然后查看新列表的长度与旧列表的长度是否相差大于1。我不知道哪里出了错。 / p>
data MyType = Null | forall v. Container TypeA v