Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

subtyping optional keywords in HMaps

Description

I would expect all of these functions to be well typed, but I get an error only in the type of z-getter:

Solution

Type variables in optional HMap entries are not being substituted.

Pull request: 100
Commit: a62877
Version: 0.3.23

Environment

None

Activity

Show:
Completed

Details

Assignee

Reporter

Components

Fix versions

Affects versions

Priority

Created April 13, 2016 at 9:01 PM
Updated December 3, 2017 at 11:07 PM
Resolved December 3, 2017 at 11:07 PM