Cannot instantiate variables that have bounds

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

Environment

None

Activity

Show:
Ambrose Bonnaire-Sergeant
updated the labelsJuly 20, 2015 at 4:29 PM
None
newbie
Ambrose Bonnaire-Sergeant
updated the ComponentJuly 20, 2015 at 4:29 PM
None
Core type system
Ambrose Bonnaire-Sergeant
updated the Fix VersionJuly 20, 2015 at 4:29 PM
None
Backlog
import
created the IssueJuly 30, 2013 at 4:53 AM

Details

Assignee

Reporter

Labels

Fix versions

Priority

Created July 30, 2013 at 4:53 AM
Updated December 4, 2017 at 12:04 AM

Flag notifications