type GranularityKey = String}
type T <: Granularityobject Test {
override type T = Full.type}case class Tst[Gran <: Partial, T <: Test.Aux|___Advanced language feature: reflective call 关于某些反射<e
我知道在查找解决方案之后,这是一种过于复杂的方法,但我仍然想了解为什么模式匹配不像预期的那样工作: let rec aux complst lst =match lst with | a :: (b :: c) -> if a = b then aux complst (b::c) else aux(a::complst) (b::c) in aux [] li