模块TermHO,其中 数据列表(A:Set):设置位置 []:列表A _::_:A->列表A->列表A data Rose(A:Set):设置位置 玫瑰:列表(玫瑰A)->玫瑰A --如果我们将构造函数命名为“rose”,错误就会消失 地图:所有{AB}->(A->B)->列表A->B 映射f[]=[] 映射f(a::as)=f a::映射f as 玫瑰图:所有{AB}->(A->B)->玫瑰A->B roseMap f(Rose l)=地图(roseMap f)l
笔记
这个bug与 20070530-2 在这方面,问题是允许声明以不好的方式相互遮蔽。 无声退出是一个__IMPOSSIBLE_,由于某种原因它没有打印出来。 固定的。