Uploaded image for project: 'core.typed'
  1. CTYP-32

Cannot instantiate variables that have bounds

    Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects versions: None
    • Fix versions: Backlog
    • Components: Core type system
    • Labels:

      Description

      Trying to implement this example: http://www.scala-lang.org/node/136

      The result: core.typed doesn't know that other bounded type variables can be substituted.

      https://gist.github.com/frenchy64/6110077

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: