Update project

[laughedelic]

No description provided.

[laughedelic]

This doesn't compile with updated dependencies. Something caused by changes in AnyDataSet -> AnyRecord.of[AnyData] -> AnyProduct...

• ohnosequences/cosas@b07f941#diff-deda10b7cd9517218d7411670a72e36b
• ohnosequences/datasets@770944e

[laughedelic]

I don't understand why it doesn't compile with AnyDataSet, which is AnyRecordType.Of[AnyData], which is supposed to be the same as the last line (which makes it compile):

case object AnyRecordType {
  type Of[+B <: AnyType] = AnyRecordType { type Keys <: AnyProductType.Of[B] }
}
case object AnyProductType {
  type Of[+B <: AnyType] = AnyProductType { type Types <: AnyKList.Of[B] }
}
case object AnyKList {
  type Of[+B] = AnyKList { type Bound <: B }
}

@eparejatobes any clue?

[eparejatobes]

There are a lot of issues with inference and aliasing. A sample:

• Type inference does not dealias type constructors enough to infer type arguments scala/bug#8709
• Type aliases with return type inference works bad scala/bug#8740
• Flakey implicit resolution with type alias Id[A] = A scala/bug#10238
• implicit resolution error for Aux pattern with parametrized type scala/bug#10528
• Can't prove equality between syntactically equal type aliases to an existential type scala/bug#10556
• ...

[laughedelic]

OK, So I'm going to leave here this unfolded refined type and hope that it doesn't break anything dependent on it. I think these Tasks are not used anywhere anyway