Uploaded image for project: 'Scala Programming Language'
  1. Scala Programming Language
  2. SI-2712

implement higher-order unification for type constructor inference

    Details

      Description

      implement what's described in "Partial polymorphic type inference and higher-order unification"

      object Test {
        def meh[M[_], A](x: M[A]): M[A] = x
        meh{(x: Int) => x} // should solve ?M = [X] X => X and ?A = Int ... 
      }

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                moors Adriaan Moors
                Reporter:
                moors Adriaan Moors
                TracCC:
                Alan, arjan blokzijl, Christos KK Loverdos, Eric Torreborre, Evgeny, Ismael Juma, Ittay Dror, Johannes Rudolph, Jorge Ortiz, Josh Suereth, Kris Nuttycombe, Mark Harrah, Michael, Miles Sabin, Nick Partridge, Seth Tisue, Tony Morris, weihsiu
              • Votes:
                83 Vote for this issue
                Watchers:
                59 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: